EmbASP-Python
ClingoLexer.py
1 # Generated from ClingoLexer.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"\f\177\b\1\b\1\4\2\t\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t")
13  buf.write(u"\6\4\7\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13\t\13\4\f\t\f")
14  buf.write(u"\4\r\t\r\4\16\t\16\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3")
15  buf.write(u"\2\3\2\3\2\3\2\3\2\3\2\3\3\7\3.\n\3\f\3\16\3\61\13\3")
16  buf.write(u"\3\3\3\3\3\3\3\3\3\4\3\4\3\5\3\5\3\6\3\6\3\6\3\6\3\6")
17  buf.write(u"\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6")
18  buf.write(u"\7\6M\n\6\f\6\16\6P\13\6\3\6\5\6S\n\6\3\6\3\6\3\7\3\7")
19  buf.write(u"\7\7Y\n\7\f\7\16\7\\\13\7\3\b\3\b\7\b`\n\b\f\b\16\bc")
20  buf.write(u"\13\b\3\b\3\b\3\t\3\t\3\n\3\n\3\13\3\13\3\13\3\13\3\f")
21  buf.write(u"\3\f\3\f\7\fr\n\f\f\f\16\fu\13\f\5\fw\n\f\3\r\3\r\3\r")
22  buf.write(u"\5\r|\n\r\3\16\3\16\3/\2\17\4\3\6\4\b\5\n\6\f\7\16\b")
23  buf.write(u"\20\t\22\n\24\13\26\f\30\2\32\2\34\2\4\2\3\t\4\2C\\c")
24  buf.write(u"|\6\2\62;C\\aac|\3\2$$\3\2\63;\3\2\62;\4\2\f\f\17\17")
25  buf.write(u"\4\2\13\13\"\"\2\u0082\2\4\3\2\2\2\2\6\3\2\2\2\3\b\3")
26  buf.write(u"\2\2\2\3\n\3\2\2\2\3\f\3\2\2\2\3\16\3\2\2\2\3\20\3\2")
27  buf.write(u"\2\2\3\22\3\2\2\2\3\24\3\2\2\2\3\26\3\2\2\2\4\36\3\2")
28  buf.write(u"\2\2\6/\3\2\2\2\b\66\3\2\2\2\n8\3\2\2\2\f:\3\2\2\2\16")
29  buf.write(u"V\3\2\2\2\20]\3\2\2\2\22f\3\2\2\2\24h\3\2\2\2\26j\3\2")
30  buf.write(u"\2\2\30v\3\2\2\2\32{\3\2\2\2\34}\3\2\2\2\36\37\7C\2\2")
31  buf.write(u"\37 \7p\2\2 !\7u\2\2!\"\7y\2\2\"#\7g\2\2#$\7t\2\2$%\7")
32  buf.write(u"<\2\2%&\7\"\2\2&\'\3\2\2\2\'(\5\30\f\2()\5\32\r\2)*\3")
33  buf.write(u"\2\2\2*+\b\2\2\2+\5\3\2\2\2,.\13\2\2\2-,\3\2\2\2.\61")
34  buf.write(u"\3\2\2\2/\60\3\2\2\2/-\3\2\2\2\60\62\3\2\2\2\61/\3\2")
35  buf.write(u"\2\2\62\63\5\32\r\2\63\64\3\2\2\2\64\65\b\3\3\2\65\7")
36  buf.write(u"\3\2\2\2\66\67\7.\2\2\67\t\3\2\2\289\5\30\f\29\13\3\2")
37  buf.write(u"\2\2:R\5\32\r\2;<\7Q\2\2<=\7r\2\2=>\7v\2\2>?\7k\2\2?")
38  buf.write(u"@\7o\2\2@A\7k\2\2AB\7|\2\2BC\7c\2\2CD\7v\2\2DE\7k\2\2")
39  buf.write(u"EF\7q\2\2FG\7p\2\2GH\7<\2\2HN\3\2\2\2IJ\5\34\16\2JK\5")
40  buf.write(u"\30\f\2KM\3\2\2\2LI\3\2\2\2MP\3\2\2\2NL\3\2\2\2NO\3\2")
41  buf.write(u"\2\2OQ\3\2\2\2PN\3\2\2\2QS\5\32\r\2R;\3\2\2\2RS\3\2\2")
42  buf.write(u"\2ST\3\2\2\2TU\b\6\4\2U\r\3\2\2\2VZ\t\2\2\2WY\t\3\2\2")
43  buf.write(u"XW\3\2\2\2Y\\\3\2\2\2ZX\3\2\2\2Z[\3\2\2\2[\17\3\2\2\2")
44  buf.write(u"\\Z\3\2\2\2]a\7$\2\2^`\n\4\2\2_^\3\2\2\2`c\3\2\2\2a_")
45  buf.write(u"\3\2\2\2ab\3\2\2\2bd\3\2\2\2ca\3\2\2\2de\7$\2\2e\21\3")
46  buf.write(u"\2\2\2fg\7*\2\2g\23\3\2\2\2hi\7+\2\2i\25\3\2\2\2jk\5")
47  buf.write(u"\34\16\2kl\3\2\2\2lm\b\13\3\2m\27\3\2\2\2nw\7\62\2\2")
48  buf.write(u"os\t\5\2\2pr\t\6\2\2qp\3\2\2\2ru\3\2\2\2sq\3\2\2\2st")
49  buf.write(u"\3\2\2\2tw\3\2\2\2us\3\2\2\2vn\3\2\2\2vo\3\2\2\2w\31")
50  buf.write(u"\3\2\2\2x|\t\7\2\2yz\7\17\2\2z|\7\f\2\2{x\3\2\2\2{y\3")
51  buf.write(u"\2\2\2|\33\3\2\2\2}~\t\b\2\2~\35\3\2\2\2\f\2\3/NRZas")
52  buf.write(u"v{\5\4\3\2\b\2\2\4\2\2")
53  return buf.getvalue()
54 
55 
56 class ClingoLexer(Lexer):
57 
58  atn = ATNDeserializer().deserialize(serializedATN())
59 
60  decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]
61 
62  SIGNIFICANT = 1
63 
64  START = 1
65  ANY = 2
66  COMMA = 3
67  INTEGER_CONSTANT = 4
68  NEW_LINE = 5
69  IDENTIFIER = 6
70  STRING_CONSTANT = 7
71  TERMS_BEGIN = 8
72  TERMS_END = 9
73  WHITE_SPACE = 10
74 
75  channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]
76 
77  modeNames = [ u"DEFAULT_MODE", u"SIGNIFICANT" ]
78 
79  literalNames = [ u"<INVALID>",
80  u"','", u"'('", u"')'" ]
81 
82  symbolicNames = [ u"<INVALID>",
83  u"START", u"ANY", u"COMMA", u"INTEGER_CONSTANT", u"NEW_LINE",
84  u"IDENTIFIER", u"STRING_CONSTANT", u"TERMS_BEGIN", u"TERMS_END",
85  u"WHITE_SPACE" ]
86 
87  ruleNames = [ u"START", u"ANY", u"COMMA", u"INTEGER_CONSTANT", u"NEW_LINE",
88  u"IDENTIFIER", u"STRING_CONSTANT", u"TERMS_BEGIN", u"TERMS_END",
89  u"WHITE_SPACE", u"INT", u"NL", u"WS" ]
90 
91  grammarFileName = u"ClingoLexer.g4"
92 
93  def __init__(self, input=None, output=sys.stdout):
94  super(ClingoLexer, self).__init__(input, output=output)
95  self.checkVersion("4.7")
96  self._interp = LexerATNSimulator(self, self.atn, self.decisionsToDFA, PredictionContextCache())
97  self._actions = None
98  self._predicates = None
99 
100 
parsers.asp.clingo.ClingoLexer.ClingoLexer._interp
_interp
Definition: ClingoLexer.py:96
parsers.asp.clingo.ClingoLexer.ClingoLexer._predicates
_predicates
Definition: ClingoLexer.py:98
parsers.asp.clingo.ClingoLexer.ClingoLexer.atn
atn
Definition: ClingoLexer.py:58
parsers.asp.clingo.ClingoLexer.ClingoLexer
Definition: ClingoLexer.py:56
parsers.asp.clingo.ClingoLexer.ClingoLexer._actions
_actions
Definition: ClingoLexer.py:97
parsers.asp.clingo.ClingoLexer.ClingoLexer.decisionsToDFA
list decisionsToDFA
Definition: ClingoLexer.py:60