-
Notifications
You must be signed in to change notification settings - Fork 0
/
StreamLexer.py
199 lines (182 loc) · 10.3 KB
/
StreamLexer.py
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
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
# Generated from Stream.g4 by ANTLR 4.8
from antlr4 import *
from io import StringIO
from typing.io import TextIO
import sys
def serializedATN():
with StringIO() as buf:
buf.write("\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2*")
buf.write("\u010b\b\1\4\2\t\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4\7")
buf.write("\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13\t\13\4\f\t\f\4\r\t\r")
buf.write("\4\16\t\16\4\17\t\17\4\20\t\20\4\21\t\21\4\22\t\22\4\23")
buf.write("\t\23\4\24\t\24\4\25\t\25\4\26\t\26\4\27\t\27\4\30\t\30")
buf.write("\4\31\t\31\4\32\t\32\4\33\t\33\4\34\t\34\4\35\t\35\4\36")
buf.write("\t\36\4\37\t\37\4 \t \4!\t!\4\"\t\"\4#\t#\4$\t$\4%\t%")
buf.write("\4&\t&\4\'\t\'\4(\t(\4)\t)\4*\t*\4+\t+\3\2\3\2\3\3\3\3")
buf.write("\3\4\3\4\3\5\3\5\3\5\3\5\3\6\3\6\3\6\3\7\3\7\3\b\3\b\3")
buf.write("\b\3\b\3\t\3\t\3\t\3\n\3\n\3\n\3\13\3\13\3\13\3\f\3\f")
buf.write("\3\f\3\f\3\f\3\f\3\f\3\f\3\r\3\r\3\r\3\r\3\16\3\16\3\16")
buf.write("\3\16\3\16\3\17\3\17\3\20\3\20\3\21\3\21\3\22\3\22\3\22")
buf.write("\3\22\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3\24\3\24\3\24")
buf.write("\3\24\3\24\3\24\3\25\3\25\3\26\3\26\3\26\3\27\3\27\3\30")
buf.write("\3\30\3\30\3\31\3\31\3\31\3\32\3\32\3\32\3\33\3\33\3\33")
buf.write("\3\33\3\33\3\34\3\34\3\34\3\34\3\35\3\35\3\35\3\35\3\36")
buf.write("\3\36\3\36\3\36\3\37\3\37\3\37\3\37\3\37\3\37\3 \3 \3")
buf.write(" \3 \3 \3 \3!\3!\3\"\3\"\3#\3#\3#\3#\3$\3$\3$\3$\3$\3")
buf.write("%\3%\3%\3%\3%\3&\3&\7&\u00dd\n&\f&\16&\u00e0\13&\3\'\5")
buf.write("\'\u00e3\n\'\3\'\3\'\5\'\u00e7\n\'\3\'\3\'\6\'\u00eb\n")
buf.write("\'\r\'\16\'\u00ec\5\'\u00ef\n\'\3(\3(\3(\6(\u00f4\n(\r")
buf.write("(\16(\u00f5\3(\3(\3(\6(\u00fb\n(\r(\16(\u00fc\5(\u00ff")
buf.write("\n(\3)\6)\u0102\n)\r)\16)\u0103\3)\3)\3*\3*\3+\3+\2\2")
buf.write(",\3\3\5\4\7\5\t\6\13\7\r\b\17\t\21\n\23\13\25\f\27\r\31")
buf.write("\16\33\17\35\20\37\21!\22#\23%\24\'\25)\26+\27-\30/\31")
buf.write("\61\32\63\33\65\34\67\359\36;\37= ?!A\"C#E$G%I&K\'M(O")
buf.write(")Q*S\2U\2\3\2\5\5\2C\\aac|\6\2\62;C\\aac|\5\2\13\f\17")
buf.write("\17\"\"\2\u0111\2\3\3\2\2\2\2\5\3\2\2\2\2\7\3\2\2\2\2")
buf.write("\t\3\2\2\2\2\13\3\2\2\2\2\r\3\2\2\2\2\17\3\2\2\2\2\21")
buf.write("\3\2\2\2\2\23\3\2\2\2\2\25\3\2\2\2\2\27\3\2\2\2\2\31\3")
buf.write("\2\2\2\2\33\3\2\2\2\2\35\3\2\2\2\2\37\3\2\2\2\2!\3\2\2")
buf.write("\2\2#\3\2\2\2\2%\3\2\2\2\2\'\3\2\2\2\2)\3\2\2\2\2+\3\2")
buf.write("\2\2\2-\3\2\2\2\2/\3\2\2\2\2\61\3\2\2\2\2\63\3\2\2\2\2")
buf.write("\65\3\2\2\2\2\67\3\2\2\2\29\3\2\2\2\2;\3\2\2\2\2=\3\2")
buf.write("\2\2\2?\3\2\2\2\2A\3\2\2\2\2C\3\2\2\2\2E\3\2\2\2\2G\3")
buf.write("\2\2\2\2I\3\2\2\2\2K\3\2\2\2\2M\3\2\2\2\2O\3\2\2\2\2Q")
buf.write("\3\2\2\2\3W\3\2\2\2\5Y\3\2\2\2\7[\3\2\2\2\t]\3\2\2\2\13")
buf.write("a\3\2\2\2\rd\3\2\2\2\17f\3\2\2\2\21j\3\2\2\2\23m\3\2\2")
buf.write("\2\25p\3\2\2\2\27s\3\2\2\2\31{\3\2\2\2\33\177\3\2\2\2")
buf.write("\35\u0084\3\2\2\2\37\u0086\3\2\2\2!\u0088\3\2\2\2#\u008a")
buf.write("\3\2\2\2%\u008e\3\2\2\2\'\u0095\3\2\2\2)\u009b\3\2\2\2")
buf.write("+\u009d\3\2\2\2-\u00a0\3\2\2\2/\u00a2\3\2\2\2\61\u00a5")
buf.write("\3\2\2\2\63\u00a8\3\2\2\2\65\u00ab\3\2\2\2\67\u00b0\3")
buf.write("\2\2\29\u00b4\3\2\2\2;\u00b8\3\2\2\2=\u00bc\3\2\2\2?\u00c2")
buf.write("\3\2\2\2A\u00c8\3\2\2\2C\u00ca\3\2\2\2E\u00cc\3\2\2\2")
buf.write("G\u00d0\3\2\2\2I\u00d5\3\2\2\2K\u00da\3\2\2\2M\u00ee\3")
buf.write("\2\2\2O\u00fe\3\2\2\2Q\u0101\3\2\2\2S\u0107\3\2\2\2U\u0109")
buf.write("\3\2\2\2WX\7<\2\2X\4\3\2\2\2YZ\7=\2\2Z\6\3\2\2\2[\\\7")
buf.write("?\2\2\\\b\3\2\2\2]^\7c\2\2^_\7p\2\2_`\7f\2\2`\n\3\2\2")
buf.write("\2ab\7q\2\2bc\7t\2\2c\f\3\2\2\2de\7#\2\2e\16\3\2\2\2f")
buf.write("g\7p\2\2gh\7q\2\2hi\7v\2\2i\20\3\2\2\2jk\7(\2\2kl\7(\2")
buf.write("\2l\22\3\2\2\2mn\7~\2\2no\7~\2\2o\24\3\2\2\2pq\7/\2\2")
buf.write("qr\7@\2\2r\26\3\2\2\2st\7k\2\2tu\7o\2\2uv\7r\2\2vw\7n")
buf.write("\2\2wx\7k\2\2xy\7g\2\2yz\7u\2\2z\30\3\2\2\2{|\7r\2\2|")
buf.write("}\7t\2\2}~\7g\2\2~\32\3\2\2\2\177\u0080\7q\2\2\u0080\u0081")
buf.write("\7p\2\2\u0081\u0082\7e\2\2\u0082\u0083\7g\2\2\u0083\34")
buf.write("\3\2\2\2\u0084\u0085\7]\2\2\u0085\36\3\2\2\2\u0086\u0087")
buf.write("\7.\2\2\u0087 \3\2\2\2\u0088\u0089\7_\2\2\u0089\"\3\2")
buf.write("\2\2\u008a\u008b\7k\2\2\u008b\u008c\7p\2\2\u008c\u008d")
buf.write("\7h\2\2\u008d$\3\2\2\2\u008e\u008f\7c\2\2\u008f\u0090")
buf.write("\7n\2\2\u0090\u0091\7y\2\2\u0091\u0092\7c\2\2\u0092\u0093")
buf.write("\7{\2\2\u0093\u0094\7u\2\2\u0094&\3\2\2\2\u0095\u0096")
buf.write("\7u\2\2\u0096\u0097\7k\2\2\u0097\u0098\7p\2\2\u0098\u0099")
buf.write("\7e\2\2\u0099\u009a\7g\2\2\u009a(\3\2\2\2\u009b\u009c")
buf.write("\7>\2\2\u009c*\3\2\2\2\u009d\u009e\7>\2\2\u009e\u009f")
buf.write("\7?\2\2\u009f,\3\2\2\2\u00a0\u00a1\7@\2\2\u00a1.\3\2\2")
buf.write("\2\u00a2\u00a3\7@\2\2\u00a3\u00a4\7?\2\2\u00a4\60\3\2")
buf.write("\2\2\u00a5\u00a6\7?\2\2\u00a6\u00a7\7?\2\2\u00a7\62\3")
buf.write("\2\2\2\u00a8\u00a9\7#\2\2\u00a9\u00aa\7?\2\2\u00aa\64")
buf.write("\3\2\2\2\u00ab\u00ac\7f\2\2\u00ac\u00ad\7k\2\2\u00ad\u00ae")
buf.write("\7h\2\2\u00ae\u00af\7h\2\2\u00af\66\3\2\2\2\u00b0\u00b1")
buf.write("\7o\2\2\u00b1\u00b2\7k\2\2\u00b2\u00b3\7p\2\2\u00b38\3")
buf.write("\2\2\2\u00b4\u00b5\7o\2\2\u00b5\u00b6\7c\2\2\u00b6\u00b7")
buf.write("\7z\2\2\u00b7:\3\2\2\2\u00b8\u00b9\7c\2\2\u00b9\u00ba")
buf.write("\7x\2\2\u00ba\u00bb\7i\2\2\u00bb<\3\2\2\2\u00bc\u00bd")
buf.write("\7f\2\2\u00bd\u00be\7g\2\2\u00be\u00bf\7n\2\2\u00bf\u00c0")
buf.write("\7v\2\2\u00c0\u00c1\7c\2\2\u00c1>\3\2\2\2\u00c2\u00c3")
buf.write("\7e\2\2\u00c3\u00c4\7q\2\2\u00c4\u00c5\7w\2\2\u00c5\u00c6")
buf.write("\7p\2\2\u00c6\u00c7\7v\2\2\u00c7@\3\2\2\2\u00c8\u00c9")
buf.write("\7*\2\2\u00c9B\3\2\2\2\u00ca\u00cb\7+\2\2\u00cbD\3\2\2")
buf.write("\2\u00cc\u00cd\7k\2\2\u00cd\u00ce\7p\2\2\u00ce\u00cf\7")
buf.write("v\2\2\u00cfF\3\2\2\2\u00d0\u00d1\7t\2\2\u00d1\u00d2\7")
buf.write("g\2\2\u00d2\u00d3\7c\2\2\u00d3\u00d4\7n\2\2\u00d4H\3\2")
buf.write("\2\2\u00d5\u00d6\7d\2\2\u00d6\u00d7\7q\2\2\u00d7\u00d8")
buf.write("\7q\2\2\u00d8\u00d9\7n\2\2\u00d9J\3\2\2\2\u00da\u00de")
buf.write("\t\2\2\2\u00db\u00dd\t\3\2\2\u00dc\u00db\3\2\2\2\u00dd")
buf.write("\u00e0\3\2\2\2\u00de\u00dc\3\2\2\2\u00de\u00df\3\2\2\2")
buf.write("\u00dfL\3\2\2\2\u00e0\u00de\3\2\2\2\u00e1\u00e3\7/\2\2")
buf.write("\u00e2\u00e1\3\2\2\2\u00e2\u00e3\3\2\2\2\u00e3\u00e4\3")
buf.write("\2\2\2\u00e4\u00ef\5S*\2\u00e5\u00e7\7/\2\2\u00e6\u00e5")
buf.write("\3\2\2\2\u00e6\u00e7\3\2\2\2\u00e7\u00e8\3\2\2\2\u00e8")
buf.write("\u00ea\5U+\2\u00e9\u00eb\5S*\2\u00ea\u00e9\3\2\2\2\u00eb")
buf.write("\u00ec\3\2\2\2\u00ec\u00ea\3\2\2\2\u00ec\u00ed\3\2\2\2")
buf.write("\u00ed\u00ef\3\2\2\2\u00ee\u00e2\3\2\2\2\u00ee\u00e6\3")
buf.write("\2\2\2\u00efN\3\2\2\2\u00f0\u00f1\5M\'\2\u00f1\u00f3\7")
buf.write("\60\2\2\u00f2\u00f4\5S*\2\u00f3\u00f2\3\2\2\2\u00f4\u00f5")
buf.write("\3\2\2\2\u00f5\u00f3\3\2\2\2\u00f5\u00f6\3\2\2\2\u00f6")
buf.write("\u00ff\3\2\2\2\u00f7\u00f8\5M\'\2\u00f8\u00fa\7\60\2\2")
buf.write("\u00f9\u00fb\5S*\2\u00fa\u00f9\3\2\2\2\u00fb\u00fc\3\2")
buf.write("\2\2\u00fc\u00fa\3\2\2\2\u00fc\u00fd\3\2\2\2\u00fd\u00ff")
buf.write("\3\2\2\2\u00fe\u00f0\3\2\2\2\u00fe\u00f7\3\2\2\2\u00ff")
buf.write("P\3\2\2\2\u0100\u0102\t\4\2\2\u0101\u0100\3\2\2\2\u0102")
buf.write("\u0103\3\2\2\2\u0103\u0101\3\2\2\2\u0103\u0104\3\2\2\2")
buf.write("\u0104\u0105\3\2\2\2\u0105\u0106\b)\2\2\u0106R\3\2\2\2")
buf.write("\u0107\u0108\4\62;\2\u0108T\3\2\2\2\u0109\u010a\4\63;")
buf.write("\2\u010aV\3\2\2\2\f\2\u00de\u00e2\u00e6\u00ec\u00ee\u00f5")
buf.write("\u00fc\u00fe\u0103\3\2\3\2")
return buf.getvalue()
class StreamLexer(Lexer):
atn = ATNDeserializer().deserialize(serializedATN())
decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]
T__0 = 1
T__1 = 2
T__2 = 3
T__3 = 4
T__4 = 5
T__5 = 6
T__6 = 7
T__7 = 8
T__8 = 9
T__9 = 10
T__10 = 11
T__11 = 12
T__12 = 13
T__13 = 14
T__14 = 15
T__15 = 16
T__16 = 17
T__17 = 18
T__18 = 19
T__19 = 20
T__20 = 21
T__21 = 22
T__22 = 23
T__23 = 24
T__24 = 25
T__25 = 26
T__26 = 27
T__27 = 28
T__28 = 29
T__29 = 30
T__30 = 31
T__31 = 32
T__32 = 33
T__33 = 34
T__34 = 35
T__35 = 36
IDENTIFIER = 37
NUMBER = 38
REAL = 39
WS = 40
channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]
modeNames = [ "DEFAULT_MODE" ]
literalNames = [ "<INVALID>",
"':'", "';'", "'='", "'and'", "'or'", "'!'", "'not'", "'&&'",
"'||'", "'->'", "'implies'", "'pre'", "'once'", "'['", "','",
"']'", "'inf'", "'always'", "'since'", "'<'", "'<='", "'>'",
"'>='", "'=='", "'!='", "'diff'", "'min'", "'max'", "'avg'",
"'delta'", "'count'", "'('", "')'", "'int'", "'real'", "'bool'" ]
symbolicNames = [ "<INVALID>",
"IDENTIFIER", "NUMBER", "REAL", "WS" ]
ruleNames = [ "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", "T__21", "T__22", "T__23", "T__24", "T__25",
"T__26", "T__27", "T__28", "T__29", "T__30", "T__31",
"T__32", "T__33", "T__34", "T__35", "IDENTIFIER", "NUMBER",
"REAL", "WS", "DIGIT", "DIGIT_NOT_ZERO" ]
grammarFileName = "Stream.g4"
def __init__(self, input=None, output:TextIO = sys.stdout):
super().__init__(input, output)
self.checkVersion("4.8")
self._interp = LexerATNSimulator(self, self.atn, self.decisionsToDFA, PredictionContextCache())
self._actions = None
self._predicates = None