-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathGloryLexer.interp
104 lines (99 loc) · 4.53 KB
/
GloryLexer.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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
token literal names:
null
'='
'∫'
','
'-'
'&&'
'||'
'=='
'!='
'>'
'>='
'<'
'<='
'$'
'+'
'*'
'/'
'['
']'
'('
')'
' '
'Γ'
'Σ'
'Π'
'Ψ'
null
null
null
null
token symbolic names:
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
null
NORMAL
SUMMATION
PRODUCT
OTHER
OPERATION
LETTER
DIGIT
WS
rule names:
T__0
T__1
T__2
T__3
T__4
T__5
T__6
T__7
T__8
T__9
T__10
T__11
T__12
T__13
T__14
T__15
T__16
T__17
T__18
T__19
T__20
NORMAL
SUMMATION
PRODUCT
OTHER
OPERATION
LETTER
DIGIT
WS
channel names:
DEFAULT_TOKEN_CHANNEL
HIDDEN
mode names:
DEFAULT_MODE
atn:
[4, 0, 29, 132, 6, -1, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, 7, 4, 2, 5, 7, 5, 2, 6, 7, 6, 2, 7, 7, 7, 2, 8, 7, 8, 2, 9, 7, 9, 2, 10, 7, 10, 2, 11, 7, 11, 2, 12, 7, 12, 2, 13, 7, 13, 2, 14, 7, 14, 2, 15, 7, 15, 2, 16, 7, 16, 2, 17, 7, 17, 2, 18, 7, 18, 2, 19, 7, 19, 2, 20, 7, 20, 2, 21, 7, 21, 2, 22, 7, 22, 2, 23, 7, 23, 2, 24, 7, 24, 2, 25, 7, 25, 2, 26, 7, 26, 2, 27, 7, 27, 2, 28, 7, 28, 1, 0, 1, 0, 1, 1, 1, 1, 1, 2, 1, 2, 1, 3, 1, 3, 1, 4, 1, 4, 1, 4, 1, 5, 1, 5, 1, 5, 1, 6, 1, 6, 1, 6, 1, 7, 1, 7, 1, 7, 1, 8, 1, 8, 1, 9, 1, 9, 1, 9, 1, 10, 1, 10, 1, 11, 1, 11, 1, 11, 1, 12, 1, 12, 1, 13, 1, 13, 1, 14, 1, 14, 1, 15, 1, 15, 1, 16, 1, 16, 1, 17, 1, 17, 1, 18, 1, 18, 1, 19, 1, 19, 1, 20, 1, 20, 1, 21, 1, 21, 1, 22, 1, 22, 1, 23, 1, 23, 1, 24, 1, 24, 1, 25, 1, 25, 1, 26, 3, 26, 119, 8, 26, 1, 27, 4, 27, 122, 8, 27, 11, 27, 12, 27, 123, 1, 28, 4, 28, 127, 8, 28, 11, 28, 12, 28, 128, 1, 28, 1, 28, 0, 0, 29, 1, 1, 3, 2, 5, 3, 7, 4, 9, 5, 11, 6, 13, 7, 15, 8, 17, 9, 19, 10, 21, 11, 23, 12, 25, 13, 27, 14, 29, 15, 31, 16, 33, 17, 35, 18, 37, 19, 39, 20, 41, 21, 43, 22, 45, 23, 47, 24, 49, 25, 51, 26, 53, 27, 55, 28, 57, 29, 1, 0, 4, 3, 0, 42, 43, 45, 45, 47, 47, 3, 0, 65, 90, 95, 95, 97, 122, 1, 0, 48, 57, 3, 0, 9, 10, 13, 13, 32, 32, 133, 0, 1, 1, 0, 0, 0, 0, 3, 1, 0, 0, 0, 0, 5, 1, 0, 0, 0, 0, 7, 1, 0, 0, 0, 0, 9, 1, 0, 0, 0, 0, 11, 1, 0, 0, 0, 0, 13, 1, 0, 0, 0, 0, 15, 1, 0, 0, 0, 0, 17, 1, 0, 0, 0, 0, 19, 1, 0, 0, 0, 0, 21, 1, 0, 0, 0, 0, 23, 1, 0, 0, 0, 0, 25, 1, 0, 0, 0, 0, 27, 1, 0, 0, 0, 0, 29, 1, 0, 0, 0, 0, 31, 1, 0, 0, 0, 0, 33, 1, 0, 0, 0, 0, 35, 1, 0, 0, 0, 0, 37, 1, 0, 0, 0, 0, 39, 1, 0, 0, 0, 0, 41, 1, 0, 0, 0, 0, 43, 1, 0, 0, 0, 0, 45, 1, 0, 0, 0, 0, 47, 1, 0, 0, 0, 0, 49, 1, 0, 0, 0, 0, 51, 1, 0, 0, 0, 0, 53, 1, 0, 0, 0, 0, 55, 1, 0, 0, 0, 0, 57, 1, 0, 0, 0, 1, 59, 1, 0, 0, 0, 3, 61, 1, 0, 0, 0, 5, 63, 1, 0, 0, 0, 7, 65, 1, 0, 0, 0, 9, 67, 1, 0, 0, 0, 11, 70, 1, 0, 0, 0, 13, 73, 1, 0, 0, 0, 15, 76, 1, 0, 0, 0, 17, 79, 1, 0, 0, 0, 19, 81, 1, 0, 0, 0, 21, 84, 1, 0, 0, 0, 23, 86, 1, 0, 0, 0, 25, 89, 1, 0, 0, 0, 27, 91, 1, 0, 0, 0, 29, 93, 1, 0, 0, 0, 31, 95, 1, 0, 0, 0, 33, 97, 1, 0, 0, 0, 35, 99, 1, 0, 0, 0, 37, 101, 1, 0, 0, 0, 39, 103, 1, 0, 0, 0, 41, 105, 1, 0, 0, 0, 43, 107, 1, 0, 0, 0, 45, 109, 1, 0, 0, 0, 47, 111, 1, 0, 0, 0, 49, 113, 1, 0, 0, 0, 51, 115, 1, 0, 0, 0, 53, 118, 1, 0, 0, 0, 55, 121, 1, 0, 0, 0, 57, 126, 1, 0, 0, 0, 59, 60, 5, 61, 0, 0, 60, 2, 1, 0, 0, 0, 61, 62, 5, 8747, 0, 0, 62, 4, 1, 0, 0, 0, 63, 64, 5, 44, 0, 0, 64, 6, 1, 0, 0, 0, 65, 66, 5, 45, 0, 0, 66, 8, 1, 0, 0, 0, 67, 68, 5, 38, 0, 0, 68, 69, 5, 38, 0, 0, 69, 10, 1, 0, 0, 0, 70, 71, 5, 124, 0, 0, 71, 72, 5, 124, 0, 0, 72, 12, 1, 0, 0, 0, 73, 74, 5, 61, 0, 0, 74, 75, 5, 61, 0, 0, 75, 14, 1, 0, 0, 0, 76, 77, 5, 33, 0, 0, 77, 78, 5, 61, 0, 0, 78, 16, 1, 0, 0, 0, 79, 80, 5, 62, 0, 0, 80, 18, 1, 0, 0, 0, 81, 82, 5, 62, 0, 0, 82, 83, 5, 61, 0, 0, 83, 20, 1, 0, 0, 0, 84, 85, 5, 60, 0, 0, 85, 22, 1, 0, 0, 0, 86, 87, 5, 60, 0, 0, 87, 88, 5, 61, 0, 0, 88, 24, 1, 0, 0, 0, 89, 90, 5, 36, 0, 0, 90, 26, 1, 0, 0, 0, 91, 92, 5, 43, 0, 0, 92, 28, 1, 0, 0, 0, 93, 94, 5, 42, 0, 0, 94, 30, 1, 0, 0, 0, 95, 96, 5, 47, 0, 0, 96, 32, 1, 0, 0, 0, 97, 98, 5, 91, 0, 0, 98, 34, 1, 0, 0, 0, 99, 100, 5, 93, 0, 0, 100, 36, 1, 0, 0, 0, 101, 102, 5, 40, 0, 0, 102, 38, 1, 0, 0, 0, 103, 104, 5, 41, 0, 0, 104, 40, 1, 0, 0, 0, 105, 106, 5, 32, 0, 0, 106, 42, 1, 0, 0, 0, 107, 108, 5, 915, 0, 0, 108, 44, 1, 0, 0, 0, 109, 110, 5, 931, 0, 0, 110, 46, 1, 0, 0, 0, 111, 112, 5, 928, 0, 0, 112, 48, 1, 0, 0, 0, 113, 114, 5, 936, 0, 0, 114, 50, 1, 0, 0, 0, 115, 116, 7, 0, 0, 0, 116, 52, 1, 0, 0, 0, 117, 119, 7, 1, 0, 0, 118, 117, 1, 0, 0, 0, 119, 54, 1, 0, 0, 0, 120, 122, 7, 2, 0, 0, 121, 120, 1, 0, 0, 0, 122, 123, 1, 0, 0, 0, 123, 121, 1, 0, 0, 0, 123, 124, 1, 0, 0, 0, 124, 56, 1, 0, 0, 0, 125, 127, 7, 3, 0, 0, 126, 125, 1, 0, 0, 0, 127, 128, 1, 0, 0, 0, 128, 126, 1, 0, 0, 0, 128, 129, 1, 0, 0, 0, 129, 130, 1, 0, 0, 0, 130, 131, 6, 28, 0, 0, 131, 58, 1, 0, 0, 0, 4, 0, 118, 123, 128, 1, 6, 0, 0]