blob: 13deb00bc81c25c1d7af8fbf41850dcb7c74fb20 [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 Storchaka3557b052017-10-24 23:31:42 +030016MAGIC = 20171005
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 Storchaka12d6b5d2017-05-27 16:12:48 +030024 """Exception raised for invalid regular expressions.
25
26 Attributes:
27
28 msg: The unformatted error message
29 pattern: The regular expression pattern
30 pos: The index in the pattern where compilation failed (may be None)
31 lineno: The line corresponding to pos (may be None)
32 colno: The column corresponding to pos (may be None)
33 """
34
Serhiy Storchaka0b5e61d2017-10-04 20:09:49 +030035 __module__ = 're'
36
Serhiy Storchakaad446d52014-11-10 13:49:00 +020037 def __init__(self, msg, pattern=None, pos=None):
38 self.msg = msg
39 self.pattern = pattern
40 self.pos = pos
41 if pattern is not None and pos is not None:
42 msg = '%s at position %d' % (msg, pos)
43 if isinstance(pattern, str):
44 newline = '\n'
45 else:
46 newline = b'\n'
47 self.lineno = pattern.count(newline, 0, pos) + 1
48 self.colno = pos - pattern.rfind(newline, 0, pos)
49 if newline in pattern:
50 msg = '%s (line %d, column %d)' % (msg, self.lineno, self.colno)
51 else:
52 self.lineno = self.colno = None
53 super().__init__(msg)
54
Serhiy Storchakac7f7d382014-11-09 20:48:36 +020055
56class _NamedIntConstant(int):
57 def __new__(cls, value, name):
58 self = super(_NamedIntConstant, cls).__new__(cls, value)
59 self.name = name
60 return self
61
62 def __str__(self):
63 return self.name
64
65 __repr__ = __str__
66
67MAXREPEAT = _NamedIntConstant(MAXREPEAT, 'MAXREPEAT')
68
69def _makecodes(names):
70 names = names.strip().split()
71 items = [_NamedIntConstant(i, name) for i, name in enumerate(names)]
72 globals().update({item.name: item for item in items})
73 return items
74
Guido van Rossum7627c0d2000-03-31 14:58:54 +000075# operators
Serhiy Storchakac7f7d382014-11-09 20:48:36 +020076# failure=0 success=1 (just because it looks better that way :-)
77OPCODES = _makecodes("""
78 FAILURE SUCCESS
Guido van Rossum7627c0d2000-03-31 14:58:54 +000079
Serhiy Storchakac7f7d382014-11-09 20:48:36 +020080 ANY ANY_ALL
81 ASSERT ASSERT_NOT
82 AT
83 BRANCH
84 CALL
85 CATEGORY
86 CHARSET BIGCHARSET
Serhiy Storchaka3557b052017-10-24 23:31:42 +030087 GROUPREF GROUPREF_EXISTS
88 IN
Serhiy Storchakac7f7d382014-11-09 20:48:36 +020089 INFO
90 JUMP
Serhiy Storchaka3557b052017-10-24 23:31:42 +030091 LITERAL
Serhiy Storchakac7f7d382014-11-09 20:48:36 +020092 MARK
93 MAX_UNTIL
94 MIN_UNTIL
Serhiy Storchaka3557b052017-10-24 23:31:42 +030095 NOT_LITERAL
Serhiy Storchakac7f7d382014-11-09 20:48:36 +020096 NEGATE
97 RANGE
98 REPEAT
99 REPEAT_ONE
100 SUBPATTERN
101 MIN_REPEAT_ONE
Serhiy Storchaka3557b052017-10-24 23:31:42 +0300102
103 GROUPREF_IGNORE
104 IN_IGNORE
105 LITERAL_IGNORE
106 NOT_LITERAL_IGNORE
107
108 GROUPREF_LOC_IGNORE
109 IN_LOC_IGNORE
Serhiy Storchaka898ff032017-05-05 08:53:40 +0300110 LITERAL_LOC_IGNORE
111 NOT_LITERAL_LOC_IGNORE
Serhiy Storchaka3557b052017-10-24 23:31:42 +0300112
113 GROUPREF_UNI_IGNORE
114 IN_UNI_IGNORE
115 LITERAL_UNI_IGNORE
116 NOT_LITERAL_UNI_IGNORE
117 RANGE_UNI_IGNORE
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000118
Serhiy Storchakac7f7d382014-11-09 20:48:36 +0200119 MIN_REPEAT MAX_REPEAT
120""")
121del OPCODES[-2:] # remove MIN_REPEAT and MAX_REPEAT
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000122
123# positions
Serhiy Storchakac7f7d382014-11-09 20:48:36 +0200124ATCODES = _makecodes("""
125 AT_BEGINNING AT_BEGINNING_LINE AT_BEGINNING_STRING
126 AT_BOUNDARY AT_NON_BOUNDARY
127 AT_END AT_END_LINE AT_END_STRING
Serhiy Storchaka3557b052017-10-24 23:31:42 +0300128
Serhiy Storchakac7f7d382014-11-09 20:48:36 +0200129 AT_LOC_BOUNDARY AT_LOC_NON_BOUNDARY
Serhiy Storchaka3557b052017-10-24 23:31:42 +0300130
Serhiy Storchakac7f7d382014-11-09 20:48:36 +0200131 AT_UNI_BOUNDARY AT_UNI_NON_BOUNDARY
132""")
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000133
134# categories
Serhiy Storchakac7f7d382014-11-09 20:48:36 +0200135CHCODES = _makecodes("""
136 CATEGORY_DIGIT CATEGORY_NOT_DIGIT
137 CATEGORY_SPACE CATEGORY_NOT_SPACE
138 CATEGORY_WORD CATEGORY_NOT_WORD
139 CATEGORY_LINEBREAK CATEGORY_NOT_LINEBREAK
Serhiy Storchaka3557b052017-10-24 23:31:42 +0300140
Serhiy Storchakac7f7d382014-11-09 20:48:36 +0200141 CATEGORY_LOC_WORD CATEGORY_LOC_NOT_WORD
Serhiy Storchaka3557b052017-10-24 23:31:42 +0300142
Serhiy Storchakac7f7d382014-11-09 20:48:36 +0200143 CATEGORY_UNI_DIGIT CATEGORY_UNI_NOT_DIGIT
144 CATEGORY_UNI_SPACE CATEGORY_UNI_NOT_SPACE
145 CATEGORY_UNI_WORD CATEGORY_UNI_NOT_WORD
146 CATEGORY_UNI_LINEBREAK CATEGORY_UNI_NOT_LINEBREAK
147""")
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000148
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000149
150# replacement operations for "ignore case" mode
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000151OP_IGNORE = {
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000152 LITERAL: LITERAL_IGNORE,
Serhiy Storchaka4b8f8942014-10-31 12:36:56 +0200153 NOT_LITERAL: NOT_LITERAL_IGNORE,
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000154}
155
Serhiy Storchaka3557b052017-10-24 23:31:42 +0300156OP_LOCALE_IGNORE = {
Serhiy Storchaka898ff032017-05-05 08:53:40 +0300157 LITERAL: LITERAL_LOC_IGNORE,
158 NOT_LITERAL: NOT_LITERAL_LOC_IGNORE,
159}
160
Serhiy Storchaka3557b052017-10-24 23:31:42 +0300161OP_UNICODE_IGNORE = {
162 LITERAL: LITERAL_UNI_IGNORE,
163 NOT_LITERAL: NOT_LITERAL_UNI_IGNORE,
164}
165
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000166AT_MULTILINE = {
167 AT_BEGINNING: AT_BEGINNING_LINE,
168 AT_END: AT_END_LINE
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000169}
170
Fredrik Lundhb25e1ad2001-03-22 15:50:10 +0000171AT_LOCALE = {
172 AT_BOUNDARY: AT_LOC_BOUNDARY,
173 AT_NON_BOUNDARY: AT_LOC_NON_BOUNDARY
174}
175
176AT_UNICODE = {
177 AT_BOUNDARY: AT_UNI_BOUNDARY,
178 AT_NON_BOUNDARY: AT_UNI_NON_BOUNDARY
179}
180
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000181CH_LOCALE = {
Fredrik Lundh436c3d582000-06-29 08:58:44 +0000182 CATEGORY_DIGIT: CATEGORY_DIGIT,
183 CATEGORY_NOT_DIGIT: CATEGORY_NOT_DIGIT,
184 CATEGORY_SPACE: CATEGORY_SPACE,
185 CATEGORY_NOT_SPACE: CATEGORY_NOT_SPACE,
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000186 CATEGORY_WORD: CATEGORY_LOC_WORD,
187 CATEGORY_NOT_WORD: CATEGORY_LOC_NOT_WORD,
Fredrik Lundh436c3d582000-06-29 08:58:44 +0000188 CATEGORY_LINEBREAK: CATEGORY_LINEBREAK,
189 CATEGORY_NOT_LINEBREAK: CATEGORY_NOT_LINEBREAK
190}
191
192CH_UNICODE = {
193 CATEGORY_DIGIT: CATEGORY_UNI_DIGIT,
194 CATEGORY_NOT_DIGIT: CATEGORY_UNI_NOT_DIGIT,
195 CATEGORY_SPACE: CATEGORY_UNI_SPACE,
196 CATEGORY_NOT_SPACE: CATEGORY_UNI_NOT_SPACE,
197 CATEGORY_WORD: CATEGORY_UNI_WORD,
198 CATEGORY_NOT_WORD: CATEGORY_UNI_NOT_WORD,
199 CATEGORY_LINEBREAK: CATEGORY_UNI_LINEBREAK,
200 CATEGORY_NOT_LINEBREAK: CATEGORY_UNI_NOT_LINEBREAK
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000201}
202
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000203# flags
Fredrik Lundh3562f112000-07-02 12:00:07 +0000204SRE_FLAG_TEMPLATE = 1 # template mode (disable backtracking)
205SRE_FLAG_IGNORECASE = 2 # case insensitive
Fredrik Lundh8a3ebf82000-07-23 21:46:17 +0000206SRE_FLAG_LOCALE = 4 # honour system locale
Fredrik Lundh3562f112000-07-02 12:00:07 +0000207SRE_FLAG_MULTILINE = 8 # treat target as multiline string
208SRE_FLAG_DOTALL = 16 # treat target as a single string
Antoine Pitroufd036452008-08-19 17:56:33 +0000209SRE_FLAG_UNICODE = 32 # use unicode "locale"
Fredrik Lundh3562f112000-07-02 12:00:07 +0000210SRE_FLAG_VERBOSE = 64 # ignore whitespace and comments
Fredrik Lundh770617b2001-01-14 15:06:11 +0000211SRE_FLAG_DEBUG = 128 # debugging
Antoine Pitroufd036452008-08-19 17:56:33 +0000212SRE_FLAG_ASCII = 256 # use ascii "locale"
Fredrik Lundh3562f112000-07-02 12:00:07 +0000213
214# flags for INFO primitive
215SRE_INFO_PREFIX = 1 # has prefix
216SRE_INFO_LITERAL = 2 # entire pattern is literal (given by prefix)
217SRE_INFO_CHARSET = 4 # pattern starts with character from given set
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000218
Guido van Rossum7627c0d2000-03-31 14:58:54 +0000219if __name__ == "__main__":
Jeremy Hyltonb1aa1952000-06-01 17:39:12 +0000220 def dump(f, d, prefix):
Serhiy Storchakac7f7d382014-11-09 20:48:36 +0200221 items = sorted(d)
222 for item in items:
223 f.write("#define %s_%s %d\n" % (prefix, item, item))
Serhiy Storchaka46ba6c82015-04-04 11:01:02 +0300224 with open("sre_constants.h", "w") as f:
225 f.write("""\
Fredrik Lundh43b3b492000-06-30 10:41:31 +0000226/*
227 * Secret Labs' Regular Expression Engine
228 *
229 * regular expression matching engine
230 *
231 * NOTE: This file is generated by sre_constants.py. If you need
232 * to change anything in here, edit sre_constants.py and run it.
233 *
Fredrik Lundh770617b2001-01-14 15:06:11 +0000234 * Copyright (c) 1997-2001 by Secret Labs AB. All rights reserved.
Fredrik Lundh43b3b492000-06-30 10:41:31 +0000235 *
236 * See the _sre.c file for information on usage and redistribution.
237 */
238
239""")
240
Serhiy Storchaka46ba6c82015-04-04 11:01:02 +0300241 f.write("#define SRE_MAGIC %d\n" % MAGIC)
Fredrik Lundhb35ffc02001-01-15 12:46:09 +0000242
Serhiy Storchaka46ba6c82015-04-04 11:01:02 +0300243 dump(f, OPCODES, "SRE_OP")
244 dump(f, ATCODES, "SRE")
245 dump(f, CHCODES, "SRE")
Fredrik Lundh3562f112000-07-02 12:00:07 +0000246
Serhiy Storchaka46ba6c82015-04-04 11:01:02 +0300247 f.write("#define SRE_FLAG_TEMPLATE %d\n" % SRE_FLAG_TEMPLATE)
248 f.write("#define SRE_FLAG_IGNORECASE %d\n" % SRE_FLAG_IGNORECASE)
249 f.write("#define SRE_FLAG_LOCALE %d\n" % SRE_FLAG_LOCALE)
250 f.write("#define SRE_FLAG_MULTILINE %d\n" % SRE_FLAG_MULTILINE)
251 f.write("#define SRE_FLAG_DOTALL %d\n" % SRE_FLAG_DOTALL)
252 f.write("#define SRE_FLAG_UNICODE %d\n" % SRE_FLAG_UNICODE)
253 f.write("#define SRE_FLAG_VERBOSE %d\n" % SRE_FLAG_VERBOSE)
254 f.write("#define SRE_FLAG_DEBUG %d\n" % SRE_FLAG_DEBUG)
255 f.write("#define SRE_FLAG_ASCII %d\n" % SRE_FLAG_ASCII)
Fredrik Lundh3562f112000-07-02 12:00:07 +0000256
Serhiy Storchaka46ba6c82015-04-04 11:01:02 +0300257 f.write("#define SRE_INFO_PREFIX %d\n" % SRE_INFO_PREFIX)
258 f.write("#define SRE_INFO_LITERAL %d\n" % SRE_INFO_LITERAL)
259 f.write("#define SRE_INFO_CHARSET %d\n" % SRE_INFO_CHARSET)
Fredrik Lundh3562f112000-07-02 12:00:07 +0000260
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000261 print("done")