-
Notifications
You must be signed in to change notification settings - Fork 0
/
StreamVisitor.py
253 lines (153 loc) · 7.94 KB
/
StreamVisitor.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
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
# Generated from Stream.g4 by ANTLR 4.8
from antlr4 import *
if __name__ is not None and "." in __name__:
from .StreamParser import StreamParser
else:
from StreamParser import StreamParser
# This class defines a complete generic visitor for a parse tree produced by StreamParser.
class StreamVisitor(ParseTreeVisitor):
# Visit a parse tree produced by StreamParser#propertyExpr.
def visitPropertyExpr(self, ctx:StreamParser.PropertyExprContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#tyExpr.
def visitTyExpr(self, ctx:StreamParser.TyExprContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#namedExpr.
def visitNamedExpr(self, ctx:StreamParser.NamedExprContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Or.
def visitOr(self, ctx:StreamParser.OrContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#AtomicExpression.
def visitAtomicExpression(self, ctx:StreamParser.AtomicExpressionContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#And.
def visitAnd(self, ctx:StreamParser.AndContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#TimedAlwaysInf.
def visitTimedAlwaysInf(self, ctx:StreamParser.TimedAlwaysInfContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Evaluation.
def visitEvaluation(self, ctx:StreamParser.EvaluationContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#TimedAlways.
def visitTimedAlways(self, ctx:StreamParser.TimedAlwaysContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Negation.
def visitNegation(self, ctx:StreamParser.NegationContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Once.
def visitOnce(self, ctx:StreamParser.OnceContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#TimedSince.
def visitTimedSince(self, ctx:StreamParser.TimedSinceContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Previously.
def visitPreviously(self, ctx:StreamParser.PreviouslyContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#TimedSinceInf.
def visitTimedSinceInf(self, ctx:StreamParser.TimedSinceInfContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#TimedOnce.
def visitTimedOnce(self, ctx:StreamParser.TimedOnceContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Disjunction.
def visitDisjunction(self, ctx:StreamParser.DisjunctionContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Implies.
def visitImplies(self, ctx:StreamParser.ImpliesContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Conjunction.
def visitConjunction(self, ctx:StreamParser.ConjunctionContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Since.
def visitSince(self, ctx:StreamParser.SinceContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Always.
def visitAlways(self, ctx:StreamParser.AlwaysContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#TimedOnceInf.
def visitTimedOnceInf(self, ctx:StreamParser.TimedOnceInfContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Aggregation.
def visitAggregation(self, ctx:StreamParser.AggregationContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Less.
def visitLess(self, ctx:StreamParser.LessContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#LessEq.
def visitLessEq(self, ctx:StreamParser.LessEqContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Greater.
def visitGreater(self, ctx:StreamParser.GreaterContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#GreaterEq.
def visitGreaterEq(self, ctx:StreamParser.GreaterEqContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Eq.
def visitEq(self, ctx:StreamParser.EqContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Neq.
def visitNeq(self, ctx:StreamParser.NeqContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#TwoStreamDiff.
def visitTwoStreamDiff(self, ctx:StreamParser.TwoStreamDiffContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Atomic.
def visitAtomic(self, ctx:StreamParser.AtomicContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Int.
def visitInt(self, ctx:StreamParser.IntContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Real.
def visitReal(self, ctx:StreamParser.RealContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Min.
def visitMin(self, ctx:StreamParser.MinContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#TimedMin.
def visitTimedMin(self, ctx:StreamParser.TimedMinContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Max.
def visitMax(self, ctx:StreamParser.MaxContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#TimedMax.
def visitTimedMax(self, ctx:StreamParser.TimedMaxContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Avg.
def visitAvg(self, ctx:StreamParser.AvgContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#TimedAvg.
def visitTimedAvg(self, ctx:StreamParser.TimedAvgContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#TimedDiff.
def visitTimedDiff(self, ctx:StreamParser.TimedDiffContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Delta.
def visitDelta(self, ctx:StreamParser.DeltaContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#TimedDelta.
def visitTimedDelta(self, ctx:StreamParser.TimedDeltaContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Count.
def visitCount(self, ctx:StreamParser.CountContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#TimedCount.
def visitTimedCount(self, ctx:StreamParser.TimedCountContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Grouping.
def visitGrouping(self, ctx:StreamParser.GroupingContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Prop.
def visitProp(self, ctx:StreamParser.PropContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#Pred.
def visitPred(self, ctx:StreamParser.PredContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#idlist.
def visitIdlist(self, ctx:StreamParser.IdlistContext):
return self.visitChildren(ctx)
# Visit a parse tree produced by StreamParser#types.
def visitTypes(self, ctx:StreamParser.TypesContext):
return self.visitChildren(ctx)
del StreamParser