blob: bdea5e42b48f1e8765666725d0c2297fa7ce2dca [file] [log] [blame]
Guido van Rossum7627c0d2000-03-31 14:58:54 +00001#
2# Secret Labs' Regular Expression Engine
Guido van Rossum7627c0d2000-03-31 14:58:54 +00003#
4# various symbols used by the regular expression engine.
5# run this script to update the _sre include files!
6#
Fredrik Lundh770617b2001-01-14 15:06:11 +00007# Copyright (c) 1998-2001 by Secret Labs AB. All rights reserved.
Guido van Rossum7627c0d2000-03-31 14:58:54 +00008#
Fredrik Lundh29c4ba92000-08-01 18:20:07 +00009# See the sre.py file for information on usage and redistribution.
Guido van Rossum7627c0d2000-03-31 14:58:54 +000010#
11
Fred Drakeb8f22742001-09-04 19:10:20 +000012"""Internal support module for sre"""
13
Fredrik Lundhb35ffc02001-01-15 12:46:09 +000014# update when constants are added or removed
15
Serhiy Storchaka4b8f8942014-10-31 12:36:56 +020016MAGIC = 20140917
Fredrik Lundhb35ffc02001-01-15 12:46:09 +000017
Serhiy Storchaka9baa5b22014-09-29 22:49:23 +030018from _sre import MAXREPEAT, MAXGROUPS
Serhiy Storchaka9acb9bc2013-02-18 11:14:21 +020019
Fredrik Lundhb35ffc02001-01-15 12:46:09 +000020# SRE standard exception (access as sre.error)
Fredrik Lundh436c3d582000-06-29 08:58:44 +000021# should this really be here?
22
23class error(Exception):
Serhiy Storchakaad446d52014-11-10 13:49:00 +020024 def __init__(self, msg, pattern=None, pos=None):
25 self.msg = msg
26 self.pattern = pattern
27 self.pos = pos
28 if pattern is not None and pos is not None:
29 msg = '%s at position %d' % (msg, pos)
30 if isinstance(pattern, str):
31 newline = '\n'
32 else:
33 newline = b'\n'
34 self.lineno = pattern.count(newline, 0, pos) + 1
35 self.colno = pos - pattern.rfind(newline, 0, pos)
36 if newline in pattern:
37 msg = '%s (line %d, column %d)' % (msg, self.lineno, self.colno)
38 else:
39 self.lineno = self.colno = None
40 super().__init__(msg)
41
42def linecol(doc, pos):
43 if isinstance(pattern, str):
44 newline = '\n'
45 else:
46 newline = b'\n'
47 lineno = pattern.count(newline, 0, pos) + 1
48 if lineno == 1:
49 colno = pos + 1
50 else:
51 colno = pos - doc.rindex(newline, 0, pos)
52 return lineno, colno
Fredrik Lundh436c3d582000-06-29 08:58:44 +000053
Serhiy Storchakac7f7d382014-11-09 20:48:36 +020054
55class _NamedIntConstant(int):
56 def __new__(cls, value, name):
57 self = super(_NamedIntConstant, cls).__new__(cls, value)
58 self.name = name
59 return self
60
61 def __str__(self):
62 return self.name
63
64 __repr__ = __str__
65
66MAXREPEAT = _NamedIntConstant(MAXREPEAT, 'MAXREPEAT')
67
68def _makecodes(names):
69 names = names.strip().split()
70 items = [_NamedIntConstant(i, name) for i, name in enumerate(names)]
71 globals().update({item.name: item for item in items})
72 return items
73
Guido van Rossum7627c0d2000-03-31 14:58:54 +000074# operators
Serhiy Storchakac7f7d382014-11-09 20:48:36 +020075# failure=0 success=1 (just because it looks better that way :-)
76OPCODES = _makecodes("""
77 FAILURE SUCCESS
Guido van Rossum7627c0d2000-03-31 14:58:54 +000078
Serhiy Storchakac7f7d382014-11-09 20:48:36 +020079 ANY ANY_ALL
80 ASSERT ASSERT_NOT
81 AT
82 BRANCH
83 CALL
84 CATEGORY
85 CHARSET BIGCHARSET
86 GROUPREF GROUPREF_EXISTS GROUPREF_IGNORE
87 IN IN_IGNORE
88 INFO
89 JUMP
90 LITERAL LITERAL_IGNORE
91 MARK
92 MAX_UNTIL
93 MIN_UNTIL
94 NOT_LITERAL NOT_LITERAL_IGNORE
95 NEGATE
96 RANGE
97 REPEAT
98 REPEAT_ONE
99 SUBPATTERN
100 MIN_REPEAT_ONE
101 RANGE_IGNORE
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000102
Serhiy Storchakac7f7d382014-11-09 20:48:36 +0200103 MIN_REPEAT MAX_REPEAT
104""")
105del OPCODES[-2:] # remove MIN_REPEAT and MAX_REPEAT
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000106
107# positions
Serhiy Storchakac7f7d382014-11-09 20:48:36 +0200108ATCODES = _makecodes("""
109 AT_BEGINNING AT_BEGINNING_LINE AT_BEGINNING_STRING
110 AT_BOUNDARY AT_NON_BOUNDARY
111 AT_END AT_END_LINE AT_END_STRING
112 AT_LOC_BOUNDARY AT_LOC_NON_BOUNDARY
113 AT_UNI_BOUNDARY AT_UNI_NON_BOUNDARY
114""")
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000115
116# categories
Serhiy Storchakac7f7d382014-11-09 20:48:36 +0200117CHCODES = _makecodes("""
118 CATEGORY_DIGIT CATEGORY_NOT_DIGIT
119 CATEGORY_SPACE CATEGORY_NOT_SPACE
120 CATEGORY_WORD CATEGORY_NOT_WORD
121 CATEGORY_LINEBREAK CATEGORY_NOT_LINEBREAK
122 CATEGORY_LOC_WORD CATEGORY_LOC_NOT_WORD
123 CATEGORY_UNI_DIGIT CATEGORY_UNI_NOT_DIGIT
124 CATEGORY_UNI_SPACE CATEGORY_UNI_NOT_SPACE
125 CATEGORY_UNI_WORD CATEGORY_UNI_NOT_WORD
126 CATEGORY_UNI_LINEBREAK CATEGORY_UNI_NOT_LINEBREAK
127""")
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000128
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000129
130# replacement operations for "ignore case" mode
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000131OP_IGNORE = {
Fredrik Lundh72b82ba2000-07-03 21:31:48 +0000132 GROUPREF: GROUPREF_IGNORE,
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000133 IN: IN_IGNORE,
134 LITERAL: LITERAL_IGNORE,
Serhiy Storchaka4b8f8942014-10-31 12:36:56 +0200135 NOT_LITERAL: NOT_LITERAL_IGNORE,
136 RANGE: RANGE_IGNORE,
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000137}
138
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000139AT_MULTILINE = {
140 AT_BEGINNING: AT_BEGINNING_LINE,
141 AT_END: AT_END_LINE
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000142}
143
Fredrik Lundhb25e1ad2001-03-22 15:50:10 +0000144AT_LOCALE = {
145 AT_BOUNDARY: AT_LOC_BOUNDARY,
146 AT_NON_BOUNDARY: AT_LOC_NON_BOUNDARY
147}
148
149AT_UNICODE = {
150 AT_BOUNDARY: AT_UNI_BOUNDARY,
151 AT_NON_BOUNDARY: AT_UNI_NON_BOUNDARY
152}
153
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000154CH_LOCALE = {
Fredrik Lundh436c3d582000-06-29 08:58:44 +0000155 CATEGORY_DIGIT: CATEGORY_DIGIT,
156 CATEGORY_NOT_DIGIT: CATEGORY_NOT_DIGIT,
157 CATEGORY_SPACE: CATEGORY_SPACE,
158 CATEGORY_NOT_SPACE: CATEGORY_NOT_SPACE,
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000159 CATEGORY_WORD: CATEGORY_LOC_WORD,
160 CATEGORY_NOT_WORD: CATEGORY_LOC_NOT_WORD,
Fredrik Lundh436c3d582000-06-29 08:58:44 +0000161 CATEGORY_LINEBREAK: CATEGORY_LINEBREAK,
162 CATEGORY_NOT_LINEBREAK: CATEGORY_NOT_LINEBREAK
163}
164
165CH_UNICODE = {
166 CATEGORY_DIGIT: CATEGORY_UNI_DIGIT,
167 CATEGORY_NOT_DIGIT: CATEGORY_UNI_NOT_DIGIT,
168 CATEGORY_SPACE: CATEGORY_UNI_SPACE,
169 CATEGORY_NOT_SPACE: CATEGORY_UNI_NOT_SPACE,
170 CATEGORY_WORD: CATEGORY_UNI_WORD,
171 CATEGORY_NOT_WORD: CATEGORY_UNI_NOT_WORD,
172 CATEGORY_LINEBREAK: CATEGORY_UNI_LINEBREAK,
173 CATEGORY_NOT_LINEBREAK: CATEGORY_UNI_NOT_LINEBREAK
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000174}
175
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000176# flags
Fredrik Lundh3562f112000-07-02 12:00:07 +0000177SRE_FLAG_TEMPLATE = 1 # template mode (disable backtracking)
178SRE_FLAG_IGNORECASE = 2 # case insensitive
Fredrik Lundh8a3ebf82000-07-23 21:46:17 +0000179SRE_FLAG_LOCALE = 4 # honour system locale
Fredrik Lundh3562f112000-07-02 12:00:07 +0000180SRE_FLAG_MULTILINE = 8 # treat target as multiline string
181SRE_FLAG_DOTALL = 16 # treat target as a single string
Antoine Pitroufd036452008-08-19 17:56:33 +0000182SRE_FLAG_UNICODE = 32 # use unicode "locale"
Fredrik Lundh3562f112000-07-02 12:00:07 +0000183SRE_FLAG_VERBOSE = 64 # ignore whitespace and comments
Fredrik Lundh770617b2001-01-14 15:06:11 +0000184SRE_FLAG_DEBUG = 128 # debugging
Antoine Pitroufd036452008-08-19 17:56:33 +0000185SRE_FLAG_ASCII = 256 # use ascii "locale"
Fredrik Lundh3562f112000-07-02 12:00:07 +0000186
187# flags for INFO primitive
188SRE_INFO_PREFIX = 1 # has prefix
189SRE_INFO_LITERAL = 2 # entire pattern is literal (given by prefix)
190SRE_INFO_CHARSET = 4 # pattern starts with character from given set
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000191
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000192if __name__ == "__main__":
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000193 def dump(f, d, prefix):
Serhiy Storchakac7f7d382014-11-09 20:48:36 +0200194 items = sorted(d)
195 for item in items:
196 f.write("#define %s_%s %d\n" % (prefix, item, item))
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000197 f = open("sre_constants.h", "w")
Fredrik Lundh43b3b492000-06-30 10:41:31 +0000198 f.write("""\
199/*
200 * Secret Labs' Regular Expression Engine
201 *
202 * regular expression matching engine
203 *
204 * NOTE: This file is generated by sre_constants.py. If you need
205 * to change anything in here, edit sre_constants.py and run it.
206 *
Fredrik Lundh770617b2001-01-14 15:06:11 +0000207 * Copyright (c) 1997-2001 by Secret Labs AB. All rights reserved.
Fredrik Lundh43b3b492000-06-30 10:41:31 +0000208 *
209 * See the _sre.c file for information on usage and redistribution.
210 */
211
212""")
213
Fredrik Lundhb35ffc02001-01-15 12:46:09 +0000214 f.write("#define SRE_MAGIC %d\n" % MAGIC)
215
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000216 dump(f, OPCODES, "SRE_OP")
217 dump(f, ATCODES, "SRE")
218 dump(f, CHCODES, "SRE")
Fredrik Lundh3562f112000-07-02 12:00:07 +0000219
Fredrik Lundh436c3d582000-06-29 08:58:44 +0000220 f.write("#define SRE_FLAG_TEMPLATE %d\n" % SRE_FLAG_TEMPLATE)
221 f.write("#define SRE_FLAG_IGNORECASE %d\n" % SRE_FLAG_IGNORECASE)
222 f.write("#define SRE_FLAG_LOCALE %d\n" % SRE_FLAG_LOCALE)
223 f.write("#define SRE_FLAG_MULTILINE %d\n" % SRE_FLAG_MULTILINE)
224 f.write("#define SRE_FLAG_DOTALL %d\n" % SRE_FLAG_DOTALL)
225 f.write("#define SRE_FLAG_UNICODE %d\n" % SRE_FLAG_UNICODE)
226 f.write("#define SRE_FLAG_VERBOSE %d\n" % SRE_FLAG_VERBOSE)
Serhiy Storchaka5c24d0e2013-11-23 22:42:43 +0200227 f.write("#define SRE_FLAG_DEBUG %d\n" % SRE_FLAG_DEBUG)
228 f.write("#define SRE_FLAG_ASCII %d\n" % SRE_FLAG_ASCII)
Fredrik Lundh3562f112000-07-02 12:00:07 +0000229
230 f.write("#define SRE_INFO_PREFIX %d\n" % SRE_INFO_PREFIX)
231 f.write("#define SRE_INFO_LITERAL %d\n" % SRE_INFO_LITERAL)
232 f.write("#define SRE_INFO_CHARSET %d\n" % SRE_INFO_CHARSET)
233
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000234 f.close()
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000235 print("done")