forked from hi-paris/agent-theory
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathLTLLexer.py
117 lines (100 loc) · 5.17 KB
/
LTLLexer.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
# Generated from LTL.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\30")
buf.write("\u008e\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\3\2\3\2")
buf.write("\3\3\3\3\3\3\3\3\3\4\3\4\3\4\3\4\3\4\3\5\3\5\3\6\3\6\3")
buf.write("\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\7\3\7\3\b\3\b\3\b")
buf.write("\3\b\3\b\3\b\3\b\3\t\3\t\3\n\3\n\3\n\3\n\3\n\3\n\3\13")
buf.write("\3\13\3\f\3\f\3\f\3\f\3\f\3\f\3\f\3\f\3\r\3\r\3\16\3\16")
buf.write("\3\16\3\17\3\17\3\17\3\17\3\20\3\20\3\20\3\21\3\21\3\21")
buf.write("\3\22\3\22\3\22\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23")
buf.write("\3\24\3\24\3\25\3\25\3\26\3\26\7\26\u0083\n\26\f\26\16")
buf.write("\26\u0086\13\26\3\27\6\27\u0089\n\27\r\27\16\27\u008a")
buf.write("\3\27\3\27\2\2\30\3\3\5\4\7\5\t\6\13\7\r\b\17\t\21\n\23")
buf.write("\13\25\f\27\r\31\16\33\17\35\20\37\21!\22#\23%\24\'\25")
buf.write(")\26+\27-\30\3\2\5\4\2aac|\5\2\62;aac|\5\2\13\f\16\17")
buf.write("\"\"\2\u008f\2\3\3\2\2\2\2\5\3\2\2\2\2\7\3\2\2\2\2\t\3")
buf.write("\2\2\2\2\13\3\2\2\2\2\r\3\2\2\2\2\17\3\2\2\2\2\21\3\2")
buf.write("\2\2\2\23\3\2\2\2\2\25\3\2\2\2\2\27\3\2\2\2\2\31\3\2\2")
buf.write("\2\2\33\3\2\2\2\2\35\3\2\2\2\2\37\3\2\2\2\2!\3\2\2\2\2")
buf.write("#\3\2\2\2\2%\3\2\2\2\2\'\3\2\2\2\2)\3\2\2\2\2+\3\2\2\2")
buf.write("\2-\3\2\2\2\3/\3\2\2\2\5\61\3\2\2\2\7\65\3\2\2\2\t:\3")
buf.write("\2\2\2\13<\3\2\2\2\rG\3\2\2\2\17I\3\2\2\2\21P\3\2\2\2")
buf.write("\23R\3\2\2\2\25X\3\2\2\2\27Z\3\2\2\2\31b\3\2\2\2\33d\3")
buf.write("\2\2\2\35g\3\2\2\2\37k\3\2\2\2!n\3\2\2\2#q\3\2\2\2%t\3")
buf.write("\2\2\2\'|\3\2\2\2)~\3\2\2\2+\u0080\3\2\2\2-\u0088\3\2")
buf.write("\2\2/\60\7#\2\2\60\4\3\2\2\2\61\62\7p\2\2\62\63\7q\2\2")
buf.write("\63\64\7v\2\2\64\6\3\2\2\2\65\66\7p\2\2\66\67\7g\2\2\67")
buf.write("8\7z\2\289\7v\2\29\b\3\2\2\2:;\7Z\2\2;\n\3\2\2\2<=\7g")
buf.write("\2\2=>\7x\2\2>?\7g\2\2?@\7p\2\2@A\7v\2\2AB\7w\2\2BC\7")
buf.write("c\2\2CD\7n\2\2DE\7n\2\2EF\7{\2\2F\f\3\2\2\2GH\7H\2\2H")
buf.write("\16\3\2\2\2IJ\7c\2\2JK\7n\2\2KL\7y\2\2LM\7c\2\2MN\7{\2")
buf.write("\2NO\7u\2\2O\20\3\2\2\2PQ\7I\2\2Q\22\3\2\2\2RS\7w\2\2")
buf.write("ST\7p\2\2TU\7v\2\2UV\7k\2\2VW\7n\2\2W\24\3\2\2\2XY\7W")
buf.write("\2\2Y\26\3\2\2\2Z[\7t\2\2[\\\7g\2\2\\]\7n\2\2]^\7g\2\2")
buf.write("^_\7c\2\2_`\7u\2\2`a\7g\2\2a\30\3\2\2\2bc\7T\2\2c\32\3")
buf.write("\2\2\2de\7(\2\2ef\7(\2\2f\34\3\2\2\2gh\7c\2\2hi\7p\2\2")
buf.write("ij\7f\2\2j\36\3\2\2\2kl\7~\2\2lm\7~\2\2m \3\2\2\2no\7")
buf.write("q\2\2op\7t\2\2p\"\3\2\2\2qr\7/\2\2rs\7@\2\2s$\3\2\2\2")
buf.write("tu\7k\2\2uv\7o\2\2vw\7r\2\2wx\7n\2\2xy\7k\2\2yz\7g\2\2")
buf.write("z{\7u\2\2{&\3\2\2\2|}\7*\2\2}(\3\2\2\2~\177\7+\2\2\177")
buf.write("*\3\2\2\2\u0080\u0084\t\2\2\2\u0081\u0083\t\3\2\2\u0082")
buf.write("\u0081\3\2\2\2\u0083\u0086\3\2\2\2\u0084\u0082\3\2\2\2")
buf.write("\u0084\u0085\3\2\2\2\u0085,\3\2\2\2\u0086\u0084\3\2\2")
buf.write("\2\u0087\u0089\t\4\2\2\u0088\u0087\3\2\2\2\u0089\u008a")
buf.write("\3\2\2\2\u008a\u0088\3\2\2\2\u008a\u008b\3\2\2\2\u008b")
buf.write("\u008c\3\2\2\2\u008c\u008d\b\27\2\2\u008d.\3\2\2\2\5\2")
buf.write("\u0084\u008a\3\b\2\2")
return buf.getvalue()
class LTLLexer(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
ATOM = 21
WS = 22
channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]
modeNames = [ "DEFAULT_MODE" ]
literalNames = [ "<INVALID>",
"'!'", "'not'", "'next'", "'X'", "'eventually'", "'F'", "'always'",
"'G'", "'until'", "'U'", "'release'", "'R'", "'&&'", "'and'",
"'||'", "'or'", "'->'", "'implies'", "'('", "')'" ]
symbolicNames = [ "<INVALID>",
"ATOM", "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",
"ATOM", "WS" ]
grammarFileName = "LTL.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