EmbASP-Python
PDDLGrammarParser.py
1 # Generated from PDDLGrammar.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 def serializedATN():
9  with StringIO() as buf:
10  buf.write(u"\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\3")
11  buf.write(u"\6\26\4\2\t\2\4\3\t\3\3\2\3\2\7\2\t\n\2\f\2\16\2\f\13")
12  buf.write(u"\2\3\2\3\2\3\3\7\3\21\n\3\f\3\16\3\24\13\3\3\3\2\2\4")
13  buf.write(u"\2\4\2\2\2\25\2\6\3\2\2\2\4\22\3\2\2\2\6\n\7\3\2\2\7")
14  buf.write(u"\t\7\5\2\2\b\7\3\2\2\2\t\f\3\2\2\2\n\b\3\2\2\2\n\13\3")
15  buf.write(u"\2\2\2\13\r\3\2\2\2\f\n\3\2\2\2\r\16\7\4\2\2\16\3\3\2")
16  buf.write(u"\2\2\17\21\5\2\2\2\20\17\3\2\2\2\21\24\3\2\2\2\22\20")
17  buf.write(u"\3\2\2\2\22\23\3\2\2\2\23\5\3\2\2\2\24\22\3\2\2\2\4\n")
18  buf.write(u"\22")
19  return buf.getvalue()
20 
21 
22 class PDDLGrammarParser ( Parser ):
23 
24  grammarFileName = "PDDLGrammar.g4"
25 
26  atn = ATNDeserializer().deserialize(serializedATN())
27 
28  decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]
29 
30  sharedContextCache = PredictionContextCache()
31 
32  literalNames = [ u"<INVALID>", u"'('", u"')'" ]
33 
34  symbolicNames = [ u"<INVALID>", u"<INVALID>", u"<INVALID>", u"IDENTIFIER",
35  u"SEPARATOR" ]
36 
37  RULE_atom = 0
38  RULE_output = 1
39 
40  ruleNames = [ u"atom", u"output" ]
41 
42  EOF = Token.EOF
43  T__0=1
44  T__1=2
45  IDENTIFIER=3
46  SEPARATOR=4
47 
48  def __init__(self, input, output=sys.stdout):
49  super(PDDLGrammarParser, self).__init__(input, output=output)
50  self.checkVersion("4.7")
51  self._interp = ParserATNSimulator(self, self.atn, self.decisionsToDFA, self.sharedContextCache)
52  self._predicates = None
53 
54 
55 
56  class AtomContext(ParserRuleContext):
57 
58  def __init__(self, parser, parent=None, invokingState=-1):
59  super(PDDLGrammarParser.AtomContext, self).__init__(parent, invokingState)
60  self.parser = parser
61 
62  def IDENTIFIER(self, i=None):
63  if i is None:
64  return self.getTokens(PDDLGrammarParser.IDENTIFIER)
65  else:
66  return self.getToken(PDDLGrammarParser.IDENTIFIER, i)
67 
68  def getRuleIndex(self):
69  return PDDLGrammarParser.RULE_atom
70 
71  def accept(self, visitor):
72  if hasattr(visitor, "visitAtom"):
73  return visitor.visitAtom(self)
74  else:
75  return visitor.visitChildren(self)
76 
77 
78 
79 
80  def atom(self):
81 
82  localctx = PDDLGrammarParser.AtomContext(self, self._ctx, self.state)
83  self.enterRule(localctx, 0, self.RULE_atom)
84  self._la = 0 # Token type
85  try:
86  self.enterOuterAlt(localctx, 1)
87  self.state = 4
88  self.match(PDDLGrammarParser.T__0)
89  self.state = 8
90  self._errHandler.sync(self)
91  _la = self._input.LA(1)
92  while _la==PDDLGrammarParser.IDENTIFIER:
93  self.state = 5
94  self.match(PDDLGrammarParser.IDENTIFIER)
95  self.state = 10
96  self._errHandler.sync(self)
97  _la = self._input.LA(1)
98 
99  self.state = 11
100  self.match(PDDLGrammarParser.T__1)
101  except RecognitionException as re:
102  localctx.exception = re
103  self._errHandler.reportError(self, re)
104  self._errHandler.recover(self, re)
105  finally:
106  self.exitRule()
107  return localctx
108 
109  class OutputContext(ParserRuleContext):
110 
111  def __init__(self, parser, parent=None, invokingState=-1):
112  super(PDDLGrammarParser.OutputContext, self).__init__(parent, invokingState)
113  self.parser = parser
114 
115  def atom(self, i=None):
116  if i is None:
117  return self.getTypedRuleContexts(PDDLGrammarParser.AtomContext)
118  else:
119  return self.getTypedRuleContext(PDDLGrammarParser.AtomContext,i)
120 
121 
122  def getRuleIndex(self):
123  return PDDLGrammarParser.RULE_output
124 
125  def accept(self, visitor):
126  if hasattr(visitor, "visitOutput"):
127  return visitor.visitOutput(self)
128  else:
129  return visitor.visitChildren(self)
130 
131 
132 
133 
134  def output(self):
135 
136  localctx = PDDLGrammarParser.OutputContext(self, self._ctx, self.state)
137  self.enterRule(localctx, 2, self.RULE_output)
138  self._la = 0 # Token type
139  try:
140  self.enterOuterAlt(localctx, 1)
141  self.state = 16
142  self._errHandler.sync(self)
143  _la = self._input.LA(1)
144  while _la==PDDLGrammarParser.T__0:
145  self.state = 13
146  self.atom()
147  self.state = 18
148  self._errHandler.sync(self)
149  _la = self._input.LA(1)
150 
151  except RecognitionException as re:
152  localctx.exception = re
153  self._errHandler.reportError(self, re)
154  self._errHandler.recover(self, re)
155  finally:
156  self.exitRule()
157  return localctx
158 
159 
160 
161 
162 
parsers.pddl.pddl_parser_base.PDDLGrammarParser.PDDLGrammarParser.decisionsToDFA
list decisionsToDFA
Definition: PDDLGrammarParser.py:28
parsers.pddl.pddl_parser_base.PDDLGrammarParser.PDDLGrammarParser.AtomContext.parser
parser
Definition: PDDLGrammarParser.py:60
parsers.pddl.pddl_parser_base.PDDLGrammarParser.PDDLGrammarParser.sharedContextCache
sharedContextCache
Definition: PDDLGrammarParser.py:30
parsers.pddl.pddl_parser_base.PDDLGrammarParser.PDDLGrammarParser
Definition: PDDLGrammarParser.py:22
parsers.pddl.pddl_parser_base.PDDLGrammarParser.PDDLGrammarParser.OutputContext.parser
parser
Definition: PDDLGrammarParser.py:113
parsers.pddl.pddl_parser_base.PDDLGrammarParser.PDDLGrammarParser.AtomContext
Definition: PDDLGrammarParser.py:56
parsers.pddl.pddl_parser_base.PDDLGrammarParser.PDDLGrammarParser._predicates
_predicates
Definition: PDDLGrammarParser.py:52
parsers.pddl.pddl_parser_base.PDDLGrammarParser.PDDLGrammarParser.OutputContext.atom
def atom(self, i=None)
Definition: PDDLGrammarParser.py:115
parsers.pddl.pddl_parser_base.PDDLGrammarParser.PDDLGrammarParser.atn
atn
Definition: PDDLGrammarParser.py:26
parsers.pddl.pddl_parser_base.PDDLGrammarParser.PDDLGrammarParser._interp
_interp
Definition: PDDLGrammarParser.py:51
parsers.pddl.pddl_parser_base.PDDLGrammarParser.PDDLGrammarParser.OutputContext
Definition: PDDLGrammarParser.py:109