3 from __future__
import print_function
5 from io
import StringIO
9 with StringIO()
as buf:
10 buf.write(
u"\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\3")
11 buf.write(
u"\13/\4\2\t\2\4\3\t\3\4\4\t\4\3\2\7\2\n\n\2\f\2\16\2\r")
12 buf.write(
u"\13\2\3\3\3\3\3\3\3\3\3\3\7\3\24\n\3\f\3\16\3\27\13\3")
13 buf.write(
u"\3\3\3\3\5\3\33\n\3\3\4\3\4\3\4\3\4\3\4\3\4\3\4\7\4$")
14 buf.write(
u"\n\4\f\4\16\4\'\13\4\5\4)\n\4\3\4\3\4\5\4-\n\4\3\4\2")
15 buf.write(
u"\2\5\2\4\6\2\2\2\64\2\13\3\2\2\2\4\16\3\2\2\2\6,\3\2")
16 buf.write(
u"\2\2\b\n\5\4\3\2\t\b\3\2\2\2\n\r\3\2\2\2\13\t\3\2\2\2")
17 buf.write(
u"\13\f\3\2\2\2\f\3\3\2\2\2\r\13\3\2\2\2\16\32\7\b\2\2")
18 buf.write(
u"\17\20\7\3\2\2\20\25\5\6\4\2\21\22\7\4\2\2\22\24\5\6")
19 buf.write(
u"\4\2\23\21\3\2\2\2\24\27\3\2\2\2\25\23\3\2\2\2\25\26")
20 buf.write(
u"\3\2\2\2\26\30\3\2\2\2\27\25\3\2\2\2\30\31\7\5\2\2\31")
21 buf.write(
u"\33\3\2\2\2\32\17\3\2\2\2\32\33\3\2\2\2\33\5\3\2\2\2")
22 buf.write(
u"\34-\7\b\2\2\35-\7\t\2\2\36-\5\4\3\2\37(\7\6\2\2 %\5")
23 buf.write(
u"\6\4\2!\"\7\4\2\2\"$\5\6\4\2#!\3\2\2\2$\'\3\2\2\2%#\3")
24 buf.write(
u"\2\2\2%&\3\2\2\2&)\3\2\2\2\'%\3\2\2\2( \3\2\2\2()\3\2")
25 buf.write(
u"\2\2)*\3\2\2\2*-\7\7\2\2+-\7\n\2\2,\34\3\2\2\2,\35\3")
26 buf.write(
u"\2\2\2,\36\3\2\2\2,\37\3\2\2\2,+\3\2\2\2-\7\3\2\2\2\b")
27 buf.write(
u"\13\25\32%(,")
33 grammarFileName =
"ASPGrammar.g4"
35 atn = ATNDeserializer().deserialize(serializedATN())
37 decisionsToDFA = [ DFA(ds, i)
for i, ds
in enumerate(atn.decisionToState) ]
39 sharedContextCache = PredictionContextCache()
41 literalNames = [
u"<INVALID>",
u"'('",
u"','",
u"')'",
u"'['",
u"']'" ]
43 symbolicNames = [
u"<INVALID>",
u"<INVALID>",
u"<INVALID>",
u"<INVALID>",
44 u"<INVALID>",
u"<INVALID>",
u"IDENTIFIER",
u"INTEGER",
45 u"STRING",
u"WHITESPACE" ]
48 RULE_predicate_atom = 1
51 ruleNames = [
u"output",
u"predicate_atom",
u"term" ]
64 def __init__(self, input, output=sys.stdout):
65 super(ASPGrammarParser, self).__init__(input, output=output)
66 self.checkVersion(
"4.7")
74 def __init__(self, parser, parent=None, invokingState=-1):
78 def predicate_atom(self, i=None):
85 def getRuleIndex(self):
86 return ASPGrammarParser.RULE_output
88 def accept(self, visitor):
89 if hasattr(visitor,
"visitOutput"):
90 return visitor.visitOutput(self)
92 return visitor.visitChildren(self)
100 self.enterRule(localctx, 0, self.RULE_output)
103 self.enterOuterAlt(localctx, 1)
105 self._errHandler.sync(self)
106 _la = self._input.LA(1)
107 while _la==ASPGrammarParser.IDENTIFIER:
111 self._errHandler.sync(self)
112 _la = self._input.LA(1)
114 except RecognitionException
as re:
115 localctx.exception = re
116 self._errHandler.reportError(self, re)
117 self._errHandler.recover(self, re)
124 def __init__(self, parser, parent=None, invokingState=-1):
128 def IDENTIFIER(self):
129 return self.getToken(ASPGrammarParser.IDENTIFIER, 0)
131 def term(self, i=None):
138 def getRuleIndex(self):
139 return ASPGrammarParser.RULE_predicate_atom
141 def accept(self, visitor):
142 if hasattr(visitor,
"visitPredicate_atom"):
143 return visitor.visitPredicate_atom(self)
145 return visitor.visitChildren(self)
150 def predicate_atom(self):
153 self.enterRule(localctx, 2, self.RULE_predicate_atom)
156 self.enterOuterAlt(localctx, 1)
158 self.match(ASPGrammarParser.IDENTIFIER)
160 self._errHandler.sync(self)
161 _la = self._input.LA(1)
162 if _la==ASPGrammarParser.T__0:
164 self.match(ASPGrammarParser.T__0)
168 self._errHandler.sync(self)
169 _la = self._input.LA(1)
170 while _la==ASPGrammarParser.T__1:
172 self.match(ASPGrammarParser.T__1)
176 self._errHandler.sync(self)
177 _la = self._input.LA(1)
180 self.match(ASPGrammarParser.T__2)
183 except RecognitionException
as re:
184 localctx.exception = re
185 self._errHandler.reportError(self, re)
186 self._errHandler.recover(self, re)
193 def __init__(self, parser, parent=None, invokingState=-1):
197 def IDENTIFIER(self):
198 return self.getToken(ASPGrammarParser.IDENTIFIER, 0)
201 return self.getToken(ASPGrammarParser.INTEGER, 0)
203 def predicate_atom(self):
207 def term(self, i=None):
215 return self.getToken(ASPGrammarParser.STRING, 0)
217 def getRuleIndex(self):
218 return ASPGrammarParser.RULE_term
220 def accept(self, visitor):
221 if hasattr(visitor,
"visitTerm"):
222 return visitor.visitTerm(self)
224 return visitor.visitChildren(self)
232 self.enterRule(localctx, 4, self.RULE_term)
236 self._errHandler.sync(self)
237 la_ = self._interp.adaptivePredict(self._input,5,self._ctx)
239 self.enterOuterAlt(localctx, 1)
241 self.match(ASPGrammarParser.IDENTIFIER)
245 self.enterOuterAlt(localctx, 2)
247 self.match(ASPGrammarParser.INTEGER)
251 self.enterOuterAlt(localctx, 3)
257 self.enterOuterAlt(localctx, 4)
259 self.match(ASPGrammarParser.T__3)
261 self._errHandler.sync(self)
262 _la = self._input.LA(1)
263 if (((_la) & ~0x3f) == 0
and ((1 << _la) & ((1 << ASPGrammarParser.T__3) | (1 << ASPGrammarParser.IDENTIFIER) | (1 << ASPGrammarParser.INTEGER) | (1 << ASPGrammarParser.STRING))) != 0):
267 self._errHandler.sync(self)
268 _la = self._input.LA(1)
269 while _la==ASPGrammarParser.T__1:
271 self.match(ASPGrammarParser.T__1)
275 self._errHandler.sync(self)
276 _la = self._input.LA(1)
281 self.match(ASPGrammarParser.T__4)
285 self.enterOuterAlt(localctx, 5)
287 self.match(ASPGrammarParser.STRING)
291 except RecognitionException
as re:
292 localctx.exception = re
293 self._errHandler.reportError(self, re)
294 self._errHandler.recover(self, re)