-
Notifications
You must be signed in to change notification settings - Fork 1
/
ReGexLexer.interp
53 lines (48 loc) · 4.45 KB
/
ReGexLexer.interp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
token literal names:
null
'('
')'
null
null
'*'
'+'
'?'
'|'
'.'
null
null
null
token symbolic names:
null
null
null
SET
RANGE
STAR
PLUS
MAYBE
ALTERNATION
ANY
NUMBER
CHAR
WS
rule names:
T__0
T__1
SET
RANGE
STAR
PLUS
MAYBE
ALTERNATION
ANY
NUMBER
CHAR
WS
channel names:
DEFAULT_TOKEN_CHANNEL
HIDDEN
mode names:
DEFAULT_MODE
atn:
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 2, 14, 131, 8, 1, 4, 2, 9, 2, 4, 3, 9, 3, 4, 4, 9, 4, 4, 5, 9, 5, 4, 6, 9, 6, 4, 7, 9, 7, 4, 8, 9, 8, 4, 9, 9, 9, 4, 10, 9, 10, 4, 11, 9, 11, 4, 12, 9, 12, 4, 13, 9, 13, 3, 2, 3, 2, 3, 3, 3, 3, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 6, 4, 44, 10, 4, 13, 4, 14, 4, 45, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 6, 4, 55, 10, 4, 13, 4, 14, 4, 56, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 6, 4, 67, 10, 4, 13, 4, 14, 4, 68, 3, 4, 3, 4, 5, 4, 73, 10, 4, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 5, 5, 99, 10, 5, 3, 6, 3, 6, 3, 7, 3, 7, 3, 8, 3, 8, 3, 9, 3, 9, 3, 10, 3, 10, 3, 11, 6, 11, 112, 10, 11, 13, 11, 14, 11, 113, 3, 12, 3, 12, 6, 12, 118, 10, 12, 13, 12, 14, 12, 119, 3, 12, 5, 12, 123, 10, 12, 3, 13, 6, 13, 126, 10, 13, 13, 13, 14, 13, 127, 3, 13, 3, 13, 2, 2, 14, 3, 3, 5, 4, 7, 5, 9, 6, 11, 7, 13, 8, 15, 9, 17, 10, 19, 11, 21, 12, 23, 13, 25, 14, 3, 2, 5, 3, 2, 50, 59, 5, 2, 50, 59, 67, 92, 99, 124, 5, 2, 11, 12, 15, 15, 34, 34, 2, 146, 2, 3, 3, 2, 2, 2, 2, 5, 3, 2, 2, 2, 2, 7, 3, 2, 2, 2, 2, 9, 3, 2, 2, 2, 2, 11, 3, 2, 2, 2, 2, 13, 3, 2, 2, 2, 2, 15, 3, 2, 2, 2, 2, 17, 3, 2, 2, 2, 2, 19, 3, 2, 2, 2, 2, 21, 3, 2, 2, 2, 2, 23, 3, 2, 2, 2, 2, 25, 3, 2, 2, 2, 3, 27, 3, 2, 2, 2, 5, 29, 3, 2, 2, 2, 7, 72, 3, 2, 2, 2, 9, 98, 3, 2, 2, 2, 11, 100, 3, 2, 2, 2, 13, 102, 3, 2, 2, 2, 15, 104, 3, 2, 2, 2, 17, 106, 3, 2, 2, 2, 19, 108, 3, 2, 2, 2, 21, 111, 3, 2, 2, 2, 23, 122, 3, 2, 2, 2, 25, 125, 3, 2, 2, 2, 27, 28, 7, 42, 2, 2, 28, 4, 3, 2, 2, 2, 29, 30, 7, 43, 2, 2, 30, 6, 3, 2, 2, 2, 31, 32, 7, 93, 2, 2, 32, 33, 5, 23, 12, 2, 33, 34, 7, 95, 2, 2, 34, 73, 3, 2, 2, 2, 35, 36, 7, 93, 2, 2, 36, 37, 5, 23, 12, 2, 37, 38, 7, 47, 2, 2, 38, 39, 5, 23, 12, 2, 39, 40, 7, 95, 2, 2, 40, 73, 3, 2, 2, 2, 41, 43, 7, 93, 2, 2, 42, 44, 5, 23, 12, 2, 43, 42, 3, 2, 2, 2, 44, 45, 3, 2, 2, 2, 45, 43, 3, 2, 2, 2, 45, 46, 3, 2, 2, 2, 46, 47, 3, 2, 2, 2, 47, 48, 7, 95, 2, 2, 48, 73, 3, 2, 2, 2, 49, 54, 7, 93, 2, 2, 50, 51, 5, 23, 12, 2, 51, 52, 7, 47, 2, 2, 52, 53, 5, 23, 12, 2, 53, 55, 3, 2, 2, 2, 54, 50, 3, 2, 2, 2, 55, 56, 3, 2, 2, 2, 56, 54, 3, 2, 2, 2, 56, 57, 3, 2, 2, 2, 57, 58, 3, 2, 2, 2, 58, 59, 7, 95, 2, 2, 59, 73, 3, 2, 2, 2, 60, 66, 7, 93, 2, 2, 61, 67, 5, 23, 12, 2, 62, 63, 5, 23, 12, 2, 63, 64, 7, 47, 2, 2, 64, 65, 5, 23, 12, 2, 65, 67, 3, 2, 2, 2, 66, 61, 3, 2, 2, 2, 66, 62, 3, 2, 2, 2, 67, 68, 3, 2, 2, 2, 68, 66, 3, 2, 2, 2, 68, 69, 3, 2, 2, 2, 69, 70, 3, 2, 2, 2, 70, 71, 7, 95, 2, 2, 71, 73, 3, 2, 2, 2, 72, 31, 3, 2, 2, 2, 72, 35, 3, 2, 2, 2, 72, 41, 3, 2, 2, 2, 72, 49, 3, 2, 2, 2, 72, 60, 3, 2, 2, 2, 73, 8, 3, 2, 2, 2, 74, 75, 5, 23, 12, 2, 75, 76, 7, 125, 2, 2, 76, 77, 5, 21, 11, 2, 77, 78, 7, 127, 2, 2, 78, 99, 3, 2, 2, 2, 79, 80, 5, 23, 12, 2, 80, 81, 7, 125, 2, 2, 81, 82, 7, 46, 2, 2, 82, 83, 5, 21, 11, 2, 83, 84, 7, 127, 2, 2, 84, 99, 3, 2, 2, 2, 85, 86, 5, 23, 12, 2, 86, 87, 7, 125, 2, 2, 87, 88, 5, 21, 11, 2, 88, 89, 7, 46, 2, 2, 89, 90, 7, 127, 2, 2, 90, 99, 3, 2, 2, 2, 91, 92, 5, 23, 12, 2, 92, 93, 7, 125, 2, 2, 93, 94, 5, 21, 11, 2, 94, 95, 7, 46, 2, 2, 95, 96, 5, 21, 11, 2, 96, 97, 7, 127, 2, 2, 97, 99, 3, 2, 2, 2, 98, 74, 3, 2, 2, 2, 98, 79, 3, 2, 2, 2, 98, 85, 3, 2, 2, 2, 98, 91, 3, 2, 2, 2, 99, 10, 3, 2, 2, 2, 100, 101, 7, 44, 2, 2, 101, 12, 3, 2, 2, 2, 102, 103, 7, 45, 2, 2, 103, 14, 3, 2, 2, 2, 104, 105, 7, 65, 2, 2, 105, 16, 3, 2, 2, 2, 106, 107, 7, 126, 2, 2, 107, 18, 3, 2, 2, 2, 108, 109, 7, 48, 2, 2, 109, 20, 3, 2, 2, 2, 110, 112, 9, 2, 2, 2, 111, 110, 3, 2, 2, 2, 112, 113, 3, 2, 2, 2, 113, 111, 3, 2, 2, 2, 113, 114, 3, 2, 2, 2, 114, 22, 3, 2, 2, 2, 115, 123, 9, 3, 2, 2, 116, 118, 9, 2, 2, 2, 117, 116, 3, 2, 2, 2, 118, 119, 3, 2, 2, 2, 119, 117, 3, 2, 2, 2, 119, 120, 3, 2, 2, 2, 120, 123, 3, 2, 2, 2, 121, 123, 7, 50, 2, 2, 122, 115, 3, 2, 2, 2, 122, 117, 3, 2, 2, 2, 122, 121, 3, 2, 2, 2, 123, 24, 3, 2, 2, 2, 124, 126, 9, 4, 2, 2, 125, 124, 3, 2, 2, 2, 126, 127, 3, 2, 2, 2, 127, 125, 3, 2, 2, 2, 127, 128, 3, 2, 2, 2, 128, 129, 3, 2, 2, 2, 129, 130, 8, 13, 2, 2, 130, 26, 3, 2, 2, 2, 13, 2, 45, 56, 66, 68, 72, 98, 113, 119, 122, 127, 3, 8, 2, 2]