EmbASP-Python
DLVLexer.py
1 # Generated from DLVLexer.g4 by ANTLR 4.7
2 # encoding: utf-8
3 from __future__ import print_function
4 from antlr4 import *
5 from io import StringIO
6 import sys
7 
8 
9 def serializedATN():
10  with StringIO() as buf:
11  buf.write(u"\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2")
12  buf.write(u"\30\u00d7\b\1\b\1\4\2\t\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6")
13  buf.write(u"\t\6\4\7\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13\t\13\4\f\t")
14  buf.write(u"\f\4\r\t\r\4\16\t\16\4\17\t\17\4\20\t\20\4\21\t\21\4")
15  buf.write(u"\22\t\22\4\23\t\23\4\24\t\24\4\25\t\25\4\26\t\26\4\27")
16  buf.write(u"\t\27\4\30\t\30\3\2\3\2\3\2\3\2\3\2\3\2\3\2\7\2:\n\2")
17  buf.write(u"\f\2\16\2=\13\2\3\2\3\2\3\2\3\2\3\3\3\3\3\4\3\4\3\4\3")
18  buf.write(u"\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3")
19  buf.write(u"\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\5\3\5\3\6\3\6\3")
20  buf.write(u"\7\3\7\3\b\3\b\3\b\3\b\3\b\3\b\3\b\3\t\3\t\3\n\3\n\3")
21  buf.write(u"\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13")
22  buf.write(u"\3\13\3\f\3\f\3\r\3\r\7\r\177\n\r\f\r\16\r\u0082\13\r")
23  buf.write(u"\3\16\3\16\3\16\7\16\u0087\n\16\f\16\16\16\u008a\13\16")
24  buf.write(u"\5\16\u008c\n\16\3\17\3\17\7\17\u0090\n\17\f\17\16\17")
25  buf.write(u"\u0093\13\17\3\17\3\17\3\20\3\20\3\21\3\21\3\22\3\22")
26  buf.write(u"\3\22\3\22\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3")
27  buf.write(u"\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\5\23\u00b0")
28  buf.write(u"\n\23\3\24\3\24\3\24\3\24\3\25\3\25\3\25\3\25\3\25\3")
29  buf.write(u"\25\3\25\3\25\3\25\5\25\u00bf\n\25\3\26\3\26\3\26\3\26")
30  buf.write(u"\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3")
31  buf.write(u"\27\3\27\3\27\3\27\3\27\3\27\3\27\3\30\3\30\3;\2\31\4")
32  buf.write(u"\3\6\4\b\5\n\6\f\7\16\b\20\t\22\n\24\13\26\f\30\r\32")
33  buf.write(u"\16\34\17\36\20 \21\"\22$\23&\24(\25*\26,\27.\30\60\2")
34  buf.write(u"\4\2\3\b\4\2C\\c|\6\2\62;C\\aac|\3\2\63;\3\2\62;\3\2")
35  buf.write(u"$$\5\2\13\f\17\17\"\"\2\u00db\2\4\3\2\2\2\2\6\3\2\2\2")
36  buf.write(u"\2\b\3\2\2\2\2\n\3\2\2\2\2\f\3\2\2\2\2\16\3\2\2\2\2\20")
37  buf.write(u"\3\2\2\2\2\22\3\2\2\2\2\24\3\2\2\2\2\26\3\2\2\2\2\30")
38  buf.write(u"\3\2\2\2\2\32\3\2\2\2\2\34\3\2\2\2\2\36\3\2\2\2\2 \3")
39  buf.write(u"\2\2\2\2\"\3\2\2\2\2$\3\2\2\2\3&\3\2\2\2\3(\3\2\2\2\3")
40  buf.write(u"*\3\2\2\2\3,\3\2\2\2\3.\3\2\2\2\4\62\3\2\2\2\6B\3\2\2")
41  buf.write(u"\2\bD\3\2\2\2\n]\3\2\2\2\f_\3\2\2\2\16a\3\2\2\2\20c\3")
42  buf.write(u"\2\2\2\22j\3\2\2\2\24l\3\2\2\2\26n\3\2\2\2\30z\3\2\2")
43  buf.write(u"\2\32|\3\2\2\2\34\u008b\3\2\2\2\36\u008d\3\2\2\2 \u0096")
44  buf.write(u"\3\2\2\2\"\u0098\3\2\2\2$\u009a\3\2\2\2&\u00af\3\2\2")
45  buf.write(u"\2(\u00b1\3\2\2\2*\u00be\3\2\2\2,\u00c0\3\2\2\2.\u00c4")
46  buf.write(u"\3\2\2\2\60\u00d5\3\2\2\2\62\63\7F\2\2\63\64\7N\2\2\64")
47  buf.write(u"\65\7X\2\2\65\66\7\"\2\2\66\67\7]\2\2\67;\3\2\2\28:\13")
48  buf.write(u"\2\2\298\3\2\2\2:=\3\2\2\2;<\3\2\2\2;9\3\2\2\2<>\3\2")
49  buf.write(u"\2\2=;\3\2\2\2>?\7_\2\2?@\3\2\2\2@A\b\2\2\2A\5\3\2\2")
50  buf.write(u"\2BC\7<\2\2C\7\3\2\2\2DE\7E\2\2EF\7q\2\2FG\7u\2\2GH\7")
51  buf.write(u"v\2\2HI\7\"\2\2IJ\7*\2\2JK\7]\2\2KL\7Y\2\2LM\7g\2\2M")
52  buf.write(u"N\7k\2\2NO\7i\2\2OP\7j\2\2PQ\7v\2\2QR\7<\2\2RS\7N\2\2")
53  buf.write(u"ST\7g\2\2TU\7x\2\2UV\7g\2\2VW\7n\2\2WX\7_\2\2XY\7+\2")
54  buf.write(u"\2YZ\7<\2\2Z[\7\"\2\2[\\\7>\2\2\\\t\3\2\2\2]^\7@\2\2")
55  buf.write(u"^\13\3\2\2\2_`\7]\2\2`\r\3\2\2\2ab\7_\2\2b\17\3\2\2\2")
56  buf.write(u"cd\7\"\2\2de\7k\2\2ef\7u\2\2fg\7\"\2\2gh\3\2\2\2hi\b")
57  buf.write(u"\b\3\2i\21\3\2\2\2jk\7}\2\2k\23\3\2\2\2lm\7\177\2\2m")
58  buf.write(u"\25\3\2\2\2no\7D\2\2op\7g\2\2pq\7u\2\2qr\7v\2\2rs\7\"")
59  buf.write(u"\2\2st\7o\2\2tu\7q\2\2uv\7f\2\2vw\7g\2\2wx\7n\2\2xy\7")
60  buf.write(u"<\2\2y\27\3\2\2\2z{\7.\2\2{\31\3\2\2\2|\u0080\t\2\2\2")
61  buf.write(u"}\177\t\3\2\2~}\3\2\2\2\177\u0082\3\2\2\2\u0080~\3\2")
62  buf.write(u"\2\2\u0080\u0081\3\2\2\2\u0081\33\3\2\2\2\u0082\u0080")
63  buf.write(u"\3\2\2\2\u0083\u008c\7\62\2\2\u0084\u0088\t\4\2\2\u0085")
64  buf.write(u"\u0087\t\5\2\2\u0086\u0085\3\2\2\2\u0087\u008a\3\2\2")
65  buf.write(u"\2\u0088\u0086\3\2\2\2\u0088\u0089\3\2\2\2\u0089\u008c")
66  buf.write(u"\3\2\2\2\u008a\u0088\3\2\2\2\u008b\u0083\3\2\2\2\u008b")
67  buf.write(u"\u0084\3\2\2\2\u008c\35\3\2\2\2\u008d\u0091\7$\2\2\u008e")
68  buf.write(u"\u0090\n\6\2\2\u008f\u008e\3\2\2\2\u0090\u0093\3\2\2")
69  buf.write(u"\2\u0091\u008f\3\2\2\2\u0091\u0092\3\2\2\2\u0092\u0094")
70  buf.write(u"\3\2\2\2\u0093\u0091\3\2\2\2\u0094\u0095\7$\2\2\u0095")
71  buf.write(u"\37\3\2\2\2\u0096\u0097\7*\2\2\u0097!\3\2\2\2\u0098\u0099")
72  buf.write(u"\7+\2\2\u0099#\3\2\2\2\u009a\u009b\5\60\30\2\u009b\u009c")
73  buf.write(u"\3\2\2\2\u009c\u009d\b\22\2\2\u009d%\3\2\2\2\u009e\u009f")
74  buf.write(u"\7d\2\2\u009f\u00a0\7t\2\2\u00a0\u00a1\7c\2\2\u00a1\u00a2")
75  buf.write(u"\7x\2\2\u00a2\u00a3\7g\2\2\u00a3\u00a4\7n\2\2\u00a4\u00b0")
76  buf.write(u"\7{\2\2\u00a5\u00a6\7e\2\2\u00a6\u00a7\7c\2\2\u00a7\u00a8")
77  buf.write(u"\7w\2\2\u00a8\u00a9\7v\2\2\u00a9\u00aa\7k\2\2\u00aa\u00ab")
78  buf.write(u"\7q\2\2\u00ab\u00ac\7w\2\2\u00ac\u00ad\7u\2\2\u00ad\u00ae")
79  buf.write(u"\7n\2\2\u00ae\u00b0\7{\2\2\u00af\u009e\3\2\2\2\u00af")
80  buf.write(u"\u00a5\3\2\2\2\u00b0\'\3\2\2\2\u00b1\u00b2\7\60\2\2\u00b2")
81  buf.write(u"\u00b3\3\2\2\2\u00b3\u00b4\b\24\4\2\u00b4)\3\2\2\2\u00b5")
82  buf.write(u"\u00b6\7h\2\2\u00b6\u00b7\7c\2\2\u00b7\u00b8\7n\2\2\u00b8")
83  buf.write(u"\u00b9\7u\2\2\u00b9\u00bf\7g\2\2\u00ba\u00bb\7v\2\2\u00bb")
84  buf.write(u"\u00bc\7t\2\2\u00bc\u00bd\7w\2\2\u00bd\u00bf\7g\2\2\u00be")
85  buf.write(u"\u00b5\3\2\2\2\u00be\u00ba\3\2\2\2\u00bf+\3\2\2\2\u00c0")
86  buf.write(u"\u00c1\5\60\30\2\u00c1\u00c2\3\2\2\2\u00c2\u00c3\b\26")
87  buf.write(u"\2\2\u00c3-\3\2\2\2\u00c4\u00c5\7.\2\2\u00c5\u00c6\7")
88  buf.write(u"\"\2\2\u00c6\u00c7\7g\2\2\u00c7\u00c8\7x\2\2\u00c8\u00c9")
89  buf.write(u"\7k\2\2\u00c9\u00ca\7f\2\2\u00ca\u00cb\7g\2\2\u00cb\u00cc")
90  buf.write(u"\7p\2\2\u00cc\u00cd\7e\2\2\u00cd\u00ce\7g\2\2\u00ce\u00cf")
91  buf.write(u"\7f\2\2\u00cf\u00d0\7\"\2\2\u00d0\u00d1\7d\2\2\u00d1")
92  buf.write(u"\u00d2\7{\2\2\u00d2\u00d3\3\2\2\2\u00d3\u00d4\b\27\4")
93  buf.write(u"\2\u00d4/\3\2\2\2\u00d5\u00d6\t\7\2\2\u00d6\61\3\2\2")
94  buf.write(u"\2\13\2\3;\u0080\u0088\u008b\u0091\u00af\u00be\5\b\2")
95  buf.write(u"\2\4\3\2\4\2\2")
96  return buf.getvalue()
97 
98 
99 class DLVLexer(Lexer):
100 
101  atn = ATNDeserializer().deserialize(serializedATN())
102 
103  decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]
104 
105  IN_GROUND_QUERY = 1
106 
107  HEADER = 1
108  COLON = 2
109  COST_BEGIN = 3
110  COST_END = 4
111  OPEN_SQUARE_BRACKET = 5
112  CLOSE_SQUARE_BRACKET = 6
113  GROUND_QUERY_BEGIN = 7
114  MODEL_BEGIN = 8
115  MODEL_END = 9
116  WEIGHTED_MODEL_LABEL = 10
117  COMMA = 11
118  IDENTIFIER = 12
119  INTEGER_CONSTANT = 13
120  STRING_CONSTANT = 14
121  TERMS_BEGIN = 15
122  TERMS_END = 16
123  WHITESPACE = 17
124  REASONING = 18
125  DOT = 19
126  BOOLEAN = 20
127  WHITESPACE_IN_GROUND_QUERY = 21
128  WITNESS_LABEL = 22
129 
130  channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]
131 
132  modeNames = [ u"DEFAULT_MODE", u"IN_GROUND_QUERY" ]
133 
134  literalNames = [ u"<INVALID>",
135  u"':'", u"'Cost ([Weight:Level]): <'", u"'>'", u"'['", u"']'",
136  u"' is '", u"'{'", u"'}'", u"'Best model:'", u"','", u"'('",
137  u"')'", u"'.'", u"', evidenced by'" ]
138 
139  symbolicNames = [ u"<INVALID>",
140  u"HEADER", u"COLON", u"COST_BEGIN", u"COST_END", u"OPEN_SQUARE_BRACKET",
141  u"CLOSE_SQUARE_BRACKET", u"GROUND_QUERY_BEGIN", u"MODEL_BEGIN",
142  u"MODEL_END", u"WEIGHTED_MODEL_LABEL", u"COMMA", u"IDENTIFIER",
143  u"INTEGER_CONSTANT", u"STRING_CONSTANT", u"TERMS_BEGIN", u"TERMS_END",
144  u"WHITESPACE", u"REASONING", u"DOT", u"BOOLEAN", u"WHITESPACE_IN_GROUND_QUERY",
145  u"WITNESS_LABEL" ]
146 
147  ruleNames = [ u"HEADER", u"COLON", u"COST_BEGIN", u"COST_END", u"OPEN_SQUARE_BRACKET",
148  u"CLOSE_SQUARE_BRACKET", u"GROUND_QUERY_BEGIN", u"MODEL_BEGIN",
149  u"MODEL_END", u"WEIGHTED_MODEL_LABEL", u"COMMA", u"IDENTIFIER",
150  u"INTEGER_CONSTANT", u"STRING_CONSTANT", u"TERMS_BEGIN",
151  u"TERMS_END", u"WHITESPACE", u"REASONING", u"DOT", u"BOOLEAN",
152  u"WHITESPACE_IN_GROUND_QUERY", u"WITNESS_LABEL", u"WS" ]
153 
154  grammarFileName = u"DLVLexer.g4"
155 
156  def __init__(self, input=None, output=sys.stdout):
157  super(DLVLexer, self).__init__(input, output=output)
158  self.checkVersion("4.7")
159  self._interp = LexerATNSimulator(self, self.atn, self.decisionsToDFA, PredictionContextCache())
160  self._actions = None
161  self._predicates = None
162 
163 
parsers.asp.dlv.DLVLexer.DLVLexer._predicates
_predicates
Definition: DLVLexer.py:161
parsers.asp.dlv.DLVLexer.DLVLexer.decisionsToDFA
list decisionsToDFA
Definition: DLVLexer.py:103
parsers.asp.dlv.DLVLexer.DLVLexer
Definition: DLVLexer.py:99
parsers.asp.dlv.DLVLexer.DLVLexer._actions
_actions
Definition: DLVLexer.py:160
parsers.asp.dlv.DLVLexer.DLVLexer._interp
_interp
Definition: DLVLexer.py:159
parsers.asp.dlv.DLVLexer.DLVLexer.atn
atn
Definition: DLVLexer.py:101