EmbASP-Python
DLVHEXLexer.py
1 # Generated from DLVHEXLexer.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"\27\u00bc\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\3\2\3\2\7")
17  buf.write(u"\2<\n\2\f\2\16\2?\13\2\3\2\3\2\3\2\3\2\3\3\3\3\5\3G\n")
18  buf.write(u"\3\3\3\3\3\3\4\3\4\3\5\3\5\3\6\3\6\3\7\3\7\3\b\3\b\3")
19  buf.write(u"\b\7\bV\n\b\f\b\16\bY\13\b\5\b[\n\b\3\t\3\t\3\n\3\n\3")
20  buf.write(u"\13\3\13\3\13\3\13\3\13\3\13\3\13\3\f\3\f\3\r\3\r\3\16")
21  buf.write(u"\3\16\7\16n\n\16\f\16\16\16q\13\16\3\17\3\17\7\17u\n")
22  buf.write(u"\17\f\17\16\17x\13\17\3\17\3\17\3\20\3\20\3\21\3\21\3")
23  buf.write(u"\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22")
24  buf.write(u"\3\22\3\22\3\22\3\22\3\22\3\22\5\22\u0091\n\22\3\23\3")
25  buf.write(u"\23\3\23\3\23\3\24\3\24\3\24\3\24\3\24\3\24\3\24\3\24")
26  buf.write(u"\3\24\5\24\u00a0\n\24\3\25\3\25\5\25\u00a4\n\25\3\25")
27  buf.write(u"\3\25\3\26\3\26\3\26\3\26\3\26\3\26\3\26\3\26\3\26\3")
28  buf.write(u"\26\3\26\3\26\3\26\3\26\3\26\3\26\3\26\3\27\3\27\3\30")
29  buf.write(u"\3\30\3=\2\31\4\3\6\4\b\5\n\6\f\7\16\b\20\t\22\n\24\13")
30  buf.write(u"\26\f\30\r\32\16\34\17\36\20 \21\"\22$\23&\24(\25*\26")
31  buf.write(u",\27.\2\60\2\4\2\3\t\3\2\63;\3\2\62;\4\2C\\c|\6\2\62")
32  buf.write(u";C\\aac|\3\2$$\4\2\f\f\17\17\4\2\13\13\"\"\2\u00c1\2")
33  buf.write(u"\4\3\2\2\2\2\6\3\2\2\2\2\b\3\2\2\2\2\n\3\2\2\2\2\f\3")
34  buf.write(u"\2\2\2\2\16\3\2\2\2\2\20\3\2\2\2\2\22\3\2\2\2\2\24\3")
35  buf.write(u"\2\2\2\2\26\3\2\2\2\2\30\3\2\2\2\2\32\3\2\2\2\2\34\3")
36  buf.write(u"\2\2\2\2\36\3\2\2\2\2 \3\2\2\2\2\"\3\2\2\2\3$\3\2\2\2")
37  buf.write(u"\3&\3\2\2\2\3(\3\2\2\2\3*\3\2\2\2\3,\3\2\2\2\4\62\3\2")
38  buf.write(u"\2\2\6F\3\2\2\2\bJ\3\2\2\2\nL\3\2\2\2\fN\3\2\2\2\16P")
39  buf.write(u"\3\2\2\2\20Z\3\2\2\2\22\\\3\2\2\2\24^\3\2\2\2\26`\3\2")
40  buf.write(u"\2\2\30g\3\2\2\2\32i\3\2\2\2\34k\3\2\2\2\36r\3\2\2\2")
41  buf.write(u" {\3\2\2\2\"}\3\2\2\2$\u0090\3\2\2\2&\u0092\3\2\2\2(")
42  buf.write(u"\u009f\3\2\2\2*\u00a3\3\2\2\2,\u00a7\3\2\2\2.\u00b8\3")
43  buf.write(u"\2\2\2\60\u00ba\3\2\2\2\62\63\7F\2\2\63\64\7N\2\2\64")
44  buf.write(u"\65\7X\2\2\65\66\7J\2\2\66\67\7G\2\2\678\7Z\2\289\7\"")
45  buf.write(u"\2\29=\3\2\2\2:<\13\2\2\2;:\3\2\2\2<?\3\2\2\2=>\3\2\2")
46  buf.write(u"\2=;\3\2\2\2>@\3\2\2\2?=\3\2\2\2@A\5.\27\2AB\3\2\2\2")
47  buf.write(u"BC\b\2\2\2C\5\3\2\2\2DG\5.\27\2EG\5\60\30\2FD\3\2\2\2")
48  buf.write(u"FE\3\2\2\2GH\3\2\2\2HI\b\3\2\2I\7\3\2\2\2JK\7<\2\2K\t")
49  buf.write(u"\3\2\2\2LM\7.\2\2M\13\3\2\2\2NO\7>\2\2O\r\3\2\2\2PQ\7")
50  buf.write(u"@\2\2Q\17\3\2\2\2R[\7\62\2\2SW\t\2\2\2TV\t\3\2\2UT\3")
51  buf.write(u"\2\2\2VY\3\2\2\2WU\3\2\2\2WX\3\2\2\2X[\3\2\2\2YW\3\2")
52  buf.write(u"\2\2ZR\3\2\2\2ZS\3\2\2\2[\21\3\2\2\2\\]\7]\2\2]\23\3")
53  buf.write(u"\2\2\2^_\7_\2\2_\25\3\2\2\2`a\7\"\2\2ab\7k\2\2bc\7u\2")
54  buf.write(u"\2cd\7\"\2\2de\3\2\2\2ef\b\13\3\2f\27\3\2\2\2gh\7}\2")
55  buf.write(u"\2h\31\3\2\2\2ij\7\177\2\2j\33\3\2\2\2ko\t\4\2\2ln\t")
56  buf.write(u"\5\2\2ml\3\2\2\2nq\3\2\2\2om\3\2\2\2op\3\2\2\2p\35\3")
57  buf.write(u"\2\2\2qo\3\2\2\2rv\7$\2\2su\n\6\2\2ts\3\2\2\2ux\3\2\2")
58  buf.write(u"\2vt\3\2\2\2vw\3\2\2\2wy\3\2\2\2xv\3\2\2\2yz\7$\2\2z")
59  buf.write(u"\37\3\2\2\2{|\7*\2\2|!\3\2\2\2}~\7+\2\2~#\3\2\2\2\177")
60  buf.write(u"\u0080\7d\2\2\u0080\u0081\7t\2\2\u0081\u0082\7c\2\2\u0082")
61  buf.write(u"\u0083\7x\2\2\u0083\u0084\7g\2\2\u0084\u0085\7n\2\2\u0085")
62  buf.write(u"\u0091\7{\2\2\u0086\u0087\7e\2\2\u0087\u0088\7c\2\2\u0088")
63  buf.write(u"\u0089\7w\2\2\u0089\u008a\7v\2\2\u008a\u008b\7k\2\2\u008b")
64  buf.write(u"\u008c\7q\2\2\u008c\u008d\7w\2\2\u008d\u008e\7u\2\2\u008e")
65  buf.write(u"\u008f\7n\2\2\u008f\u0091\7{\2\2\u0090\177\3\2\2\2\u0090")
66  buf.write(u"\u0086\3\2\2\2\u0091%\3\2\2\2\u0092\u0093\7\60\2\2\u0093")
67  buf.write(u"\u0094\3\2\2\2\u0094\u0095\b\23\4\2\u0095\'\3\2\2\2\u0096")
68  buf.write(u"\u0097\7h\2\2\u0097\u0098\7c\2\2\u0098\u0099\7n\2\2\u0099")
69  buf.write(u"\u009a\7u\2\2\u009a\u00a0\7g\2\2\u009b\u009c\7v\2\2\u009c")
70  buf.write(u"\u009d\7t\2\2\u009d\u009e\7w\2\2\u009e\u00a0\7g\2\2\u009f")
71  buf.write(u"\u0096\3\2\2\2\u009f\u009b\3\2\2\2\u00a0)\3\2\2\2\u00a1")
72  buf.write(u"\u00a4\5.\27\2\u00a2\u00a4\5\60\30\2\u00a3\u00a1\3\2")
73  buf.write(u"\2\2\u00a3\u00a2\3\2\2\2\u00a4\u00a5\3\2\2\2\u00a5\u00a6")
74  buf.write(u"\b\25\2\2\u00a6+\3\2\2\2\u00a7\u00a8\7.\2\2\u00a8\u00a9")
75  buf.write(u"\7\"\2\2\u00a9\u00aa\7g\2\2\u00aa\u00ab\7x\2\2\u00ab")
76  buf.write(u"\u00ac\7k\2\2\u00ac\u00ad\7f\2\2\u00ad\u00ae\7g\2\2\u00ae")
77  buf.write(u"\u00af\7p\2\2\u00af\u00b0\7e\2\2\u00b0\u00b1\7g\2\2\u00b1")
78  buf.write(u"\u00b2\7f\2\2\u00b2\u00b3\7\"\2\2\u00b3\u00b4\7d\2\2")
79  buf.write(u"\u00b4\u00b5\7{\2\2\u00b5\u00b6\3\2\2\2\u00b6\u00b7\b")
80  buf.write(u"\26\4\2\u00b7-\3\2\2\2\u00b8\u00b9\t\7\2\2\u00b9/\3\2")
81  buf.write(u"\2\2\u00ba\u00bb\t\b\2\2\u00bb\61\3\2\2\2\r\2\3=FWZo")
82  buf.write(u"v\u0090\u009f\u00a3\5\b\2\2\4\3\2\4\2\2")
83  return buf.getvalue()
84 
85 
86 class DLVHEXLexer(Lexer):
87 
88  atn = ATNDeserializer().deserialize(serializedATN())
89 
90  decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]
91 
92  IN_GROUND_QUERY = 1
93 
94  HEADER = 1
95  WHITE_SPACE = 2
96  COLON = 3
97  COMMA = 4
98  COST_BEGIN = 5
99  COST_END = 6
100  INTEGER = 7
101  LEVEL_BEGIN = 8
102  LEVEL_END = 9
103  GROUND_QUERY_BEGIN = 10
104  ANSWER_SET_BEGIN = 11
105  ANSWER_SET_END = 12
106  IDENTIFIER = 13
107  STRING_CONSTANT = 14
108  TERMS_BEGIN = 15
109  TERMS_END = 16
110  REASONING = 17
111  DOT = 18
112  BOOLEAN = 19
113  WHITESPACE_IN_GROUND_QUERY = 20
114  WITNESS_LABEL = 21
115 
116  channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]
117 
118  modeNames = [ u"DEFAULT_MODE", u"IN_GROUND_QUERY" ]
119 
120  literalNames = [ u"<INVALID>",
121  u"':'", u"','", u"'<'", u"'>'", u"'['", u"']'", u"' is '", u"'{'",
122  u"'}'", u"'('", u"')'", u"'.'", u"', evidenced by'" ]
123 
124  symbolicNames = [ u"<INVALID>",
125  u"HEADER", u"WHITE_SPACE", u"COLON", u"COMMA", u"COST_BEGIN",
126  u"COST_END", u"INTEGER", u"LEVEL_BEGIN", u"LEVEL_END", u"GROUND_QUERY_BEGIN",
127  u"ANSWER_SET_BEGIN", u"ANSWER_SET_END", u"IDENTIFIER", u"STRING_CONSTANT",
128  u"TERMS_BEGIN", u"TERMS_END", u"REASONING", u"DOT", u"BOOLEAN",
129  u"WHITESPACE_IN_GROUND_QUERY", u"WITNESS_LABEL" ]
130 
131  ruleNames = [ u"HEADER", u"WHITE_SPACE", u"COLON", u"COMMA", u"COST_BEGIN",
132  u"COST_END", u"INTEGER", u"LEVEL_BEGIN", u"LEVEL_END",
133  u"GROUND_QUERY_BEGIN", u"ANSWER_SET_BEGIN", u"ANSWER_SET_END",
134  u"IDENTIFIER", u"STRING_CONSTANT", u"TERMS_BEGIN", u"TERMS_END",
135  u"REASONING", u"DOT", u"BOOLEAN", u"WHITESPACE_IN_GROUND_QUERY",
136  u"WITNESS_LABEL", u"NL", u"WS" ]
137 
138  grammarFileName = u"DLVHEXLexer.g4"
139 
140  def __init__(self, input=None, output=sys.stdout):
141  super(DLVHEXLexer, self).__init__(input, output=output)
142  self.checkVersion("4.7")
143  self._interp = LexerATNSimulator(self, self.atn, self.decisionsToDFA, PredictionContextCache())
144  self._actions = None
145  self._predicates = None
146 
147 
parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.decisionsToDFA
list decisionsToDFA
Definition: DLVHEXLexer.py:90
parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer
Definition: DLVHEXLexer.py:86
parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer._interp
_interp
Definition: DLVHEXLexer.py:143
parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer._predicates
_predicates
Definition: DLVHEXLexer.py:145
parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.atn
atn
Definition: DLVHEXLexer.py:88
parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer._actions
_actions
Definition: DLVHEXLexer.py:144