-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathGlory.interp
91 lines (87 loc) · 7.21 KB
/
Glory.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
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:
statement
l
forParam
lBound
uBound
e
conditionExpression
conditionOp
condition
comparison
subscript
expression
expressionPrime
addOp
term
mulOp
factor
exprList
nonEmptyExprList
r
id
number
atn:
[4, 1, 29, 223, 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, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 61, 8, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 3, 1, 3, 1, 3, 1, 3, 3, 3, 74, 8, 3, 1, 4, 1, 4, 1, 4, 1, 4, 3, 4, 80, 8, 4, 1, 5, 1, 5, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 1, 6, 3, 6, 90, 8, 6, 1, 7, 1, 7, 1, 8, 1, 8, 1, 8, 1, 8, 1, 9, 1, 9, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 3, 10, 106, 8, 10, 1, 11, 1, 11, 1, 11, 1, 12, 1, 12, 1, 12, 1, 12, 3, 12, 115, 8, 12, 1, 13, 1, 13, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 5, 14, 126, 8, 14, 10, 14, 12, 14, 129, 9, 14, 1, 15, 1, 15, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 3, 16, 177, 8, 16, 1, 17, 1, 17, 3, 17, 181, 8, 17, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 5, 18, 189, 8, 18, 10, 18, 12, 18, 192, 9, 18, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 3, 19, 209, 8, 19, 1, 20, 1, 20, 5, 20, 213, 8, 20, 10, 20, 12, 20, 216, 9, 20, 1, 21, 4, 21, 219, 8, 21, 11, 21, 12, 21, 220, 1, 21, 0, 2, 28, 36, 22, 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 0, 6, 1, 0, 22, 24, 1, 0, 5, 6, 1, 0, 7, 12, 2, 0, 4, 4, 14, 14, 1, 0, 15, 16, 1, 0, 27, 28, 228, 0, 44, 1, 0, 0, 0, 2, 60, 1, 0, 0, 0, 4, 62, 1, 0, 0, 0, 6, 73, 1, 0, 0, 0, 8, 79, 1, 0, 0, 0, 10, 81, 1, 0, 0, 0, 12, 89, 1, 0, 0, 0, 14, 91, 1, 0, 0, 0, 16, 93, 1, 0, 0, 0, 18, 97, 1, 0, 0, 0, 20, 105, 1, 0, 0, 0, 22, 107, 1, 0, 0, 0, 24, 114, 1, 0, 0, 0, 26, 116, 1, 0, 0, 0, 28, 118, 1, 0, 0, 0, 30, 130, 1, 0, 0, 0, 32, 176, 1, 0, 0, 0, 34, 180, 1, 0, 0, 0, 36, 182, 1, 0, 0, 0, 38, 208, 1, 0, 0, 0, 40, 210, 1, 0, 0, 0, 42, 218, 1, 0, 0, 0, 44, 45, 3, 2, 1, 0, 45, 46, 3, 10, 5, 0, 46, 47, 5, 1, 0, 0, 47, 48, 3, 38, 19, 0, 48, 1, 1, 0, 0, 0, 49, 50, 7, 0, 0, 0, 50, 51, 3, 4, 2, 0, 51, 52, 3, 2, 1, 0, 52, 61, 1, 0, 0, 0, 53, 54, 5, 25, 0, 0, 54, 55, 3, 20, 10, 0, 55, 56, 3, 12, 6, 0, 56, 57, 5, 2, 0, 0, 57, 58, 3, 2, 1, 0, 58, 61, 1, 0, 0, 0, 59, 61, 1, 0, 0, 0, 60, 49, 1, 0, 0, 0, 60, 53, 1, 0, 0, 0, 60, 59, 1, 0, 0, 0, 61, 3, 1, 0, 0, 0, 62, 63, 3, 40, 20, 0, 63, 64, 5, 2, 0, 0, 64, 65, 3, 6, 3, 0, 65, 66, 5, 3, 0, 0, 66, 67, 3, 8, 4, 0, 67, 68, 5, 2, 0, 0, 68, 5, 1, 0, 0, 0, 69, 74, 3, 42, 21, 0, 70, 71, 5, 4, 0, 0, 71, 74, 3, 42, 21, 0, 72, 74, 3, 40, 20, 0, 73, 69, 1, 0, 0, 0, 73, 70, 1, 0, 0, 0, 73, 72, 1, 0, 0, 0, 74, 7, 1, 0, 0, 0, 75, 80, 3, 42, 21, 0, 76, 77, 5, 4, 0, 0, 77, 80, 3, 42, 21, 0, 78, 80, 3, 40, 20, 0, 79, 75, 1, 0, 0, 0, 79, 76, 1, 0, 0, 0, 79, 78, 1, 0, 0, 0, 80, 9, 1, 0, 0, 0, 81, 82, 3, 22, 11, 0, 82, 11, 1, 0, 0, 0, 83, 90, 3, 16, 8, 0, 84, 85, 3, 16, 8, 0, 85, 86, 3, 14, 7, 0, 86, 87, 3, 16, 8, 0, 87, 90, 1, 0, 0, 0, 88, 90, 1, 0, 0, 0, 89, 83, 1, 0, 0, 0, 89, 84, 1, 0, 0, 0, 89, 88, 1, 0, 0, 0, 90, 13, 1, 0, 0, 0, 91, 92, 7, 1, 0, 0, 92, 15, 1, 0, 0, 0, 93, 94, 3, 22, 11, 0, 94, 95, 3, 18, 9, 0, 95, 96, 3, 22, 11, 0, 96, 17, 1, 0, 0, 0, 97, 98, 7, 2, 0, 0, 98, 19, 1, 0, 0, 0, 99, 100, 5, 13, 0, 0, 100, 101, 3, 40, 20, 0, 101, 102, 5, 13, 0, 0, 102, 103, 3, 20, 10, 0, 103, 106, 1, 0, 0, 0, 104, 106, 1, 0, 0, 0, 105, 99, 1, 0, 0, 0, 105, 104, 1, 0, 0, 0, 106, 21, 1, 0, 0, 0, 107, 108, 3, 28, 14, 0, 108, 109, 3, 24, 12, 0, 109, 23, 1, 0, 0, 0, 110, 111, 3, 26, 13, 0, 111, 112, 3, 22, 11, 0, 112, 115, 1, 0, 0, 0, 113, 115, 1, 0, 0, 0, 114, 110, 1, 0, 0, 0, 114, 113, 1, 0, 0, 0, 115, 25, 1, 0, 0, 0, 116, 117, 7, 3, 0, 0, 117, 27, 1, 0, 0, 0, 118, 119, 6, 14, -1, 0, 119, 120, 3, 32, 16, 0, 120, 127, 1, 0, 0, 0, 121, 122, 10, 1, 0, 0, 122, 123, 3, 30, 15, 0, 123, 124, 3, 32, 16, 0, 124, 126, 1, 0, 0, 0, 125, 121, 1, 0, 0, 0, 126, 129, 1, 0, 0, 0, 127, 125, 1, 0, 0, 0, 127, 128, 1, 0, 0, 0, 128, 29, 1, 0, 0, 0, 129, 127, 1, 0, 0, 0, 130, 131, 7, 4, 0, 0, 131, 31, 1, 0, 0, 0, 132, 177, 3, 40, 20, 0, 133, 134, 3, 40, 20, 0, 134, 135, 5, 17, 0, 0, 135, 136, 3, 22, 11, 0, 136, 137, 5, 18, 0, 0, 137, 177, 1, 0, 0, 0, 138, 139, 3, 40, 20, 0, 139, 140, 5, 19, 0, 0, 140, 141, 3, 34, 17, 0, 141, 142, 5, 20, 0, 0, 142, 177, 1, 0, 0, 0, 143, 144, 3, 40, 20, 0, 144, 145, 5, 17, 0, 0, 145, 146, 3, 34, 17, 0, 146, 147, 5, 18, 0, 0, 147, 177, 1, 0, 0, 0, 148, 177, 3, 42, 21, 0, 149, 150, 5, 4, 0, 0, 150, 177, 3, 42, 21, 0, 151, 152, 5, 19, 0, 0, 152, 153, 3, 22, 11, 0, 153, 154, 5, 20, 0, 0, 154, 177, 1, 0, 0, 0, 155, 156, 3, 40, 20, 0, 156, 157, 3, 20, 10, 0, 157, 177, 1, 0, 0, 0, 158, 159, 3, 40, 20, 0, 159, 160, 3, 20, 10, 0, 160, 161, 5, 17, 0, 0, 161, 162, 3, 22, 11, 0, 162, 163, 5, 18, 0, 0, 163, 177, 1, 0, 0, 0, 164, 165, 3, 40, 20, 0, 165, 166, 3, 20, 10, 0, 166, 167, 5, 19, 0, 0, 167, 168, 3, 34, 17, 0, 168, 169, 5, 20, 0, 0, 169, 177, 1, 0, 0, 0, 170, 171, 3, 40, 20, 0, 171, 172, 3, 20, 10, 0, 172, 173, 5, 17, 0, 0, 173, 174, 3, 34, 17, 0, 174, 175, 5, 18, 0, 0, 175, 177, 1, 0, 0, 0, 176, 132, 1, 0, 0, 0, 176, 133, 1, 0, 0, 0, 176, 138, 1, 0, 0, 0, 176, 143, 1, 0, 0, 0, 176, 148, 1, 0, 0, 0, 176, 149, 1, 0, 0, 0, 176, 151, 1, 0, 0, 0, 176, 155, 1, 0, 0, 0, 176, 158, 1, 0, 0, 0, 176, 164, 1, 0, 0, 0, 176, 170, 1, 0, 0, 0, 177, 33, 1, 0, 0, 0, 178, 181, 5, 21, 0, 0, 179, 181, 3, 36, 18, 0, 180, 178, 1, 0, 0, 0, 180, 179, 1, 0, 0, 0, 181, 35, 1, 0, 0, 0, 182, 183, 6, 18, -1, 0, 183, 184, 3, 22, 11, 0, 184, 190, 1, 0, 0, 0, 185, 186, 10, 1, 0, 0, 186, 187, 5, 3, 0, 0, 187, 189, 3, 22, 11, 0, 188, 185, 1, 0, 0, 0, 189, 192, 1, 0, 0, 0, 190, 188, 1, 0, 0, 0, 190, 191, 1, 0, 0, 0, 191, 37, 1, 0, 0, 0, 192, 190, 1, 0, 0, 0, 193, 209, 3, 40, 20, 0, 194, 195, 3, 40, 20, 0, 195, 196, 5, 17, 0, 0, 196, 197, 3, 34, 17, 0, 197, 198, 5, 18, 0, 0, 198, 209, 1, 0, 0, 0, 199, 200, 3, 40, 20, 0, 200, 201, 3, 20, 10, 0, 201, 209, 1, 0, 0, 0, 202, 203, 3, 40, 20, 0, 203, 204, 3, 20, 10, 0, 204, 205, 5, 17, 0, 0, 205, 206, 3, 34, 17, 0, 206, 207, 5, 18, 0, 0, 207, 209, 1, 0, 0, 0, 208, 193, 1, 0, 0, 0, 208, 194, 1, 0, 0, 0, 208, 199, 1, 0, 0, 0, 208, 202, 1, 0, 0, 0, 209, 39, 1, 0, 0, 0, 210, 214, 5, 27, 0, 0, 211, 213, 7, 5, 0, 0, 212, 211, 1, 0, 0, 0, 213, 216, 1, 0, 0, 0, 214, 212, 1, 0, 0, 0, 214, 215, 1, 0, 0, 0, 215, 41, 1, 0, 0, 0, 216, 214, 1, 0, 0, 0, 217, 219, 5, 28, 0, 0, 218, 217, 1, 0, 0, 0, 219, 220, 1, 0, 0, 0, 220, 218, 1, 0, 0, 0, 220, 221, 1, 0, 0, 0, 221, 43, 1, 0, 0, 0, 13, 60, 73, 79, 89, 105, 114, 127, 176, 180, 190, 208, 214, 220]