Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 1 | # |
| 2 | # Secret Labs' Regular Expression Engine |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 3 | # |
| 4 | # various symbols used by the regular expression engine. |
| 5 | # run this script to update the _sre include files! |
| 6 | # |
Fredrik Lundh | 770617b | 2001-01-14 15:06:11 +0000 | [diff] [blame] | 7 | # Copyright (c) 1998-2001 by Secret Labs AB. All rights reserved. |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 8 | # |
Fredrik Lundh | 29c4ba9 | 2000-08-01 18:20:07 +0000 | [diff] [blame] | 9 | # See the sre.py file for information on usage and redistribution. |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 10 | # |
| 11 | |
Fred Drake | b8f2274 | 2001-09-04 19:10:20 +0000 | [diff] [blame] | 12 | """Internal support module for sre""" |
| 13 | |
Fredrik Lundh | b35ffc0 | 2001-01-15 12:46:09 +0000 | [diff] [blame] | 14 | # update when constants are added or removed |
| 15 | |
Serhiy Storchaka | 3557b05 | 2017-10-24 23:31:42 +0300 | [diff] [blame] | 16 | MAGIC = 20171005 |
Fredrik Lundh | b35ffc0 | 2001-01-15 12:46:09 +0000 | [diff] [blame] | 17 | |
Serhiy Storchaka | 9baa5b2 | 2014-09-29 22:49:23 +0300 | [diff] [blame] | 18 | from _sre import MAXREPEAT, MAXGROUPS |
Serhiy Storchaka | 9acb9bc | 2013-02-18 11:14:21 +0200 | [diff] [blame] | 19 | |
Fredrik Lundh | b35ffc0 | 2001-01-15 12:46:09 +0000 | [diff] [blame] | 20 | # SRE standard exception (access as sre.error) |
Fredrik Lundh | 436c3d58 | 2000-06-29 08:58:44 +0000 | [diff] [blame] | 21 | # should this really be here? |
| 22 | |
| 23 | class error(Exception): |
Serhiy Storchaka | 12d6b5d | 2017-05-27 16:12:48 +0300 | [diff] [blame] | 24 | """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 Storchaka | 0b5e61d | 2017-10-04 20:09:49 +0300 | [diff] [blame] | 35 | __module__ = 're' |
| 36 | |
Serhiy Storchaka | ad446d5 | 2014-11-10 13:49:00 +0200 | [diff] [blame] | 37 | 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 Storchaka | c7f7d38 | 2014-11-09 20:48:36 +0200 | [diff] [blame] | 55 | |
| 56 | class _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 | |
| 67 | MAXREPEAT = _NamedIntConstant(MAXREPEAT, 'MAXREPEAT') |
| 68 | |
| 69 | def _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 Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 75 | # operators |
Serhiy Storchaka | c7f7d38 | 2014-11-09 20:48:36 +0200 | [diff] [blame] | 76 | # failure=0 success=1 (just because it looks better that way :-) |
| 77 | OPCODES = _makecodes(""" |
| 78 | FAILURE SUCCESS |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 79 | |
Serhiy Storchaka | c7f7d38 | 2014-11-09 20:48:36 +0200 | [diff] [blame] | 80 | ANY ANY_ALL |
| 81 | ASSERT ASSERT_NOT |
| 82 | AT |
| 83 | BRANCH |
| 84 | CALL |
| 85 | CATEGORY |
| 86 | CHARSET BIGCHARSET |
Serhiy Storchaka | 3557b05 | 2017-10-24 23:31:42 +0300 | [diff] [blame] | 87 | GROUPREF GROUPREF_EXISTS |
| 88 | IN |
Serhiy Storchaka | c7f7d38 | 2014-11-09 20:48:36 +0200 | [diff] [blame] | 89 | INFO |
| 90 | JUMP |
Serhiy Storchaka | 3557b05 | 2017-10-24 23:31:42 +0300 | [diff] [blame] | 91 | LITERAL |
Serhiy Storchaka | c7f7d38 | 2014-11-09 20:48:36 +0200 | [diff] [blame] | 92 | MARK |
| 93 | MAX_UNTIL |
| 94 | MIN_UNTIL |
Serhiy Storchaka | 3557b05 | 2017-10-24 23:31:42 +0300 | [diff] [blame] | 95 | NOT_LITERAL |
Serhiy Storchaka | c7f7d38 | 2014-11-09 20:48:36 +0200 | [diff] [blame] | 96 | NEGATE |
| 97 | RANGE |
| 98 | REPEAT |
| 99 | REPEAT_ONE |
| 100 | SUBPATTERN |
| 101 | MIN_REPEAT_ONE |
Serhiy Storchaka | 3557b05 | 2017-10-24 23:31:42 +0300 | [diff] [blame] | 102 | |
| 103 | GROUPREF_IGNORE |
| 104 | IN_IGNORE |
| 105 | LITERAL_IGNORE |
| 106 | NOT_LITERAL_IGNORE |
| 107 | |
| 108 | GROUPREF_LOC_IGNORE |
| 109 | IN_LOC_IGNORE |
Serhiy Storchaka | 898ff03 | 2017-05-05 08:53:40 +0300 | [diff] [blame] | 110 | LITERAL_LOC_IGNORE |
| 111 | NOT_LITERAL_LOC_IGNORE |
Serhiy Storchaka | 3557b05 | 2017-10-24 23:31:42 +0300 | [diff] [blame] | 112 | |
| 113 | GROUPREF_UNI_IGNORE |
| 114 | IN_UNI_IGNORE |
| 115 | LITERAL_UNI_IGNORE |
| 116 | NOT_LITERAL_UNI_IGNORE |
| 117 | RANGE_UNI_IGNORE |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 118 | |
Serhiy Storchaka | c7f7d38 | 2014-11-09 20:48:36 +0200 | [diff] [blame] | 119 | MIN_REPEAT MAX_REPEAT |
| 120 | """) |
| 121 | del OPCODES[-2:] # remove MIN_REPEAT and MAX_REPEAT |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 122 | |
| 123 | # positions |
Serhiy Storchaka | c7f7d38 | 2014-11-09 20:48:36 +0200 | [diff] [blame] | 124 | ATCODES = _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 Storchaka | 3557b05 | 2017-10-24 23:31:42 +0300 | [diff] [blame] | 128 | |
Serhiy Storchaka | c7f7d38 | 2014-11-09 20:48:36 +0200 | [diff] [blame] | 129 | AT_LOC_BOUNDARY AT_LOC_NON_BOUNDARY |
Serhiy Storchaka | 3557b05 | 2017-10-24 23:31:42 +0300 | [diff] [blame] | 130 | |
Serhiy Storchaka | c7f7d38 | 2014-11-09 20:48:36 +0200 | [diff] [blame] | 131 | AT_UNI_BOUNDARY AT_UNI_NON_BOUNDARY |
| 132 | """) |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 133 | |
| 134 | # categories |
Serhiy Storchaka | c7f7d38 | 2014-11-09 20:48:36 +0200 | [diff] [blame] | 135 | CHCODES = _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 Storchaka | 3557b05 | 2017-10-24 23:31:42 +0300 | [diff] [blame] | 140 | |
Serhiy Storchaka | c7f7d38 | 2014-11-09 20:48:36 +0200 | [diff] [blame] | 141 | CATEGORY_LOC_WORD CATEGORY_LOC_NOT_WORD |
Serhiy Storchaka | 3557b05 | 2017-10-24 23:31:42 +0300 | [diff] [blame] | 142 | |
Serhiy Storchaka | c7f7d38 | 2014-11-09 20:48:36 +0200 | [diff] [blame] | 143 | 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 Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 148 | |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 149 | |
| 150 | # replacement operations for "ignore case" mode |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 151 | OP_IGNORE = { |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 152 | LITERAL: LITERAL_IGNORE, |
Serhiy Storchaka | 4b8f894 | 2014-10-31 12:36:56 +0200 | [diff] [blame] | 153 | NOT_LITERAL: NOT_LITERAL_IGNORE, |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 154 | } |
| 155 | |
Serhiy Storchaka | 3557b05 | 2017-10-24 23:31:42 +0300 | [diff] [blame] | 156 | OP_LOCALE_IGNORE = { |
Serhiy Storchaka | 898ff03 | 2017-05-05 08:53:40 +0300 | [diff] [blame] | 157 | LITERAL: LITERAL_LOC_IGNORE, |
| 158 | NOT_LITERAL: NOT_LITERAL_LOC_IGNORE, |
| 159 | } |
| 160 | |
Serhiy Storchaka | 3557b05 | 2017-10-24 23:31:42 +0300 | [diff] [blame] | 161 | OP_UNICODE_IGNORE = { |
| 162 | LITERAL: LITERAL_UNI_IGNORE, |
| 163 | NOT_LITERAL: NOT_LITERAL_UNI_IGNORE, |
| 164 | } |
| 165 | |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 166 | AT_MULTILINE = { |
| 167 | AT_BEGINNING: AT_BEGINNING_LINE, |
| 168 | AT_END: AT_END_LINE |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 169 | } |
| 170 | |
Fredrik Lundh | b25e1ad | 2001-03-22 15:50:10 +0000 | [diff] [blame] | 171 | AT_LOCALE = { |
| 172 | AT_BOUNDARY: AT_LOC_BOUNDARY, |
| 173 | AT_NON_BOUNDARY: AT_LOC_NON_BOUNDARY |
| 174 | } |
| 175 | |
| 176 | AT_UNICODE = { |
| 177 | AT_BOUNDARY: AT_UNI_BOUNDARY, |
| 178 | AT_NON_BOUNDARY: AT_UNI_NON_BOUNDARY |
| 179 | } |
| 180 | |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 181 | CH_LOCALE = { |
Fredrik Lundh | 436c3d58 | 2000-06-29 08:58:44 +0000 | [diff] [blame] | 182 | CATEGORY_DIGIT: CATEGORY_DIGIT, |
| 183 | CATEGORY_NOT_DIGIT: CATEGORY_NOT_DIGIT, |
| 184 | CATEGORY_SPACE: CATEGORY_SPACE, |
| 185 | CATEGORY_NOT_SPACE: CATEGORY_NOT_SPACE, |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 186 | CATEGORY_WORD: CATEGORY_LOC_WORD, |
| 187 | CATEGORY_NOT_WORD: CATEGORY_LOC_NOT_WORD, |
Fredrik Lundh | 436c3d58 | 2000-06-29 08:58:44 +0000 | [diff] [blame] | 188 | CATEGORY_LINEBREAK: CATEGORY_LINEBREAK, |
| 189 | CATEGORY_NOT_LINEBREAK: CATEGORY_NOT_LINEBREAK |
| 190 | } |
| 191 | |
| 192 | CH_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 Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 201 | } |
| 202 | |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 203 | # flags |
Fredrik Lundh | 3562f11 | 2000-07-02 12:00:07 +0000 | [diff] [blame] | 204 | SRE_FLAG_TEMPLATE = 1 # template mode (disable backtracking) |
| 205 | SRE_FLAG_IGNORECASE = 2 # case insensitive |
Fredrik Lundh | 8a3ebf8 | 2000-07-23 21:46:17 +0000 | [diff] [blame] | 206 | SRE_FLAG_LOCALE = 4 # honour system locale |
Fredrik Lundh | 3562f11 | 2000-07-02 12:00:07 +0000 | [diff] [blame] | 207 | SRE_FLAG_MULTILINE = 8 # treat target as multiline string |
| 208 | SRE_FLAG_DOTALL = 16 # treat target as a single string |
Antoine Pitrou | fd03645 | 2008-08-19 17:56:33 +0000 | [diff] [blame] | 209 | SRE_FLAG_UNICODE = 32 # use unicode "locale" |
Fredrik Lundh | 3562f11 | 2000-07-02 12:00:07 +0000 | [diff] [blame] | 210 | SRE_FLAG_VERBOSE = 64 # ignore whitespace and comments |
Fredrik Lundh | 770617b | 2001-01-14 15:06:11 +0000 | [diff] [blame] | 211 | SRE_FLAG_DEBUG = 128 # debugging |
Antoine Pitrou | fd03645 | 2008-08-19 17:56:33 +0000 | [diff] [blame] | 212 | SRE_FLAG_ASCII = 256 # use ascii "locale" |
Fredrik Lundh | 3562f11 | 2000-07-02 12:00:07 +0000 | [diff] [blame] | 213 | |
| 214 | # flags for INFO primitive |
| 215 | SRE_INFO_PREFIX = 1 # has prefix |
| 216 | SRE_INFO_LITERAL = 2 # entire pattern is literal (given by prefix) |
| 217 | SRE_INFO_CHARSET = 4 # pattern starts with character from given set |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 218 | |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 219 | if __name__ == "__main__": |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 220 | def dump(f, d, prefix): |
Serhiy Storchaka | c7f7d38 | 2014-11-09 20:48:36 +0200 | [diff] [blame] | 221 | items = sorted(d) |
| 222 | for item in items: |
| 223 | f.write("#define %s_%s %d\n" % (prefix, item, item)) |
Serhiy Storchaka | 46ba6c8 | 2015-04-04 11:01:02 +0300 | [diff] [blame] | 224 | with open("sre_constants.h", "w") as f: |
| 225 | f.write("""\ |
Fredrik Lundh | 43b3b49 | 2000-06-30 10:41:31 +0000 | [diff] [blame] | 226 | /* |
| 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 Lundh | 770617b | 2001-01-14 15:06:11 +0000 | [diff] [blame] | 234 | * Copyright (c) 1997-2001 by Secret Labs AB. All rights reserved. |
Fredrik Lundh | 43b3b49 | 2000-06-30 10:41:31 +0000 | [diff] [blame] | 235 | * |
| 236 | * See the _sre.c file for information on usage and redistribution. |
| 237 | */ |
| 238 | |
| 239 | """) |
| 240 | |
Serhiy Storchaka | 46ba6c8 | 2015-04-04 11:01:02 +0300 | [diff] [blame] | 241 | f.write("#define SRE_MAGIC %d\n" % MAGIC) |
Fredrik Lundh | b35ffc0 | 2001-01-15 12:46:09 +0000 | [diff] [blame] | 242 | |
Serhiy Storchaka | 46ba6c8 | 2015-04-04 11:01:02 +0300 | [diff] [blame] | 243 | dump(f, OPCODES, "SRE_OP") |
| 244 | dump(f, ATCODES, "SRE") |
| 245 | dump(f, CHCODES, "SRE") |
Fredrik Lundh | 3562f11 | 2000-07-02 12:00:07 +0000 | [diff] [blame] | 246 | |
Serhiy Storchaka | 46ba6c8 | 2015-04-04 11:01:02 +0300 | [diff] [blame] | 247 | 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 Lundh | 3562f11 | 2000-07-02 12:00:07 +0000 | [diff] [blame] | 256 | |
Serhiy Storchaka | 46ba6c8 | 2015-04-04 11:01:02 +0300 | [diff] [blame] | 257 | 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 Lundh | 3562f11 | 2000-07-02 12:00:07 +0000 | [diff] [blame] | 260 | |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 261 | print("done") |