# Generated from /home/erik/PycharmProjects/pythonProject/grammar/ANF.g4 by ANTLR 4.13.1 # encoding: utf-8 from antlr4 import * from io import StringIO import sys if sys.version_info[1] > 5: from typing import TextIO else: from typing.io import TextIO def serializedATN(): return [ 4,1,29,157,2,0,7,0,2,1,7,1,2,2,7,2,2,3,7,3,2,4,7,4,1,0,4,0,12,8, 0,11,0,12,0,13,1,1,1,1,1,1,1,1,1,1,1,1,5,1,22,8,1,10,1,12,1,25,9, 1,3,1,27,8,1,1,1,1,1,1,1,1,1,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2, 1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2, 1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2, 1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2, 1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2, 1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,5,2,114,8,2,10,2,12,2,117,9,2,1, 2,1,2,1,2,1,2,3,2,123,8,2,1,3,1,3,1,3,1,3,1,3,5,3,130,8,3,10,3,12, 3,133,9,3,1,3,1,3,1,3,3,3,138,8,3,1,4,1,4,1,4,1,4,1,4,1,4,1,4,1, 4,1,4,1,4,1,4,1,4,1,4,1,4,1,4,3,4,155,8,4,1,4,0,0,5,0,2,4,6,8,0, 0,176,0,11,1,0,0,0,2,15,1,0,0,0,4,122,1,0,0,0,6,137,1,0,0,0,8,154, 1,0,0,0,10,12,3,2,1,0,11,10,1,0,0,0,12,13,1,0,0,0,13,11,1,0,0,0, 13,14,1,0,0,0,14,1,1,0,0,0,15,16,5,1,0,0,16,17,5,26,0,0,17,26,5, 2,0,0,18,23,5,26,0,0,19,20,5,3,0,0,20,22,5,26,0,0,21,19,1,0,0,0, 22,25,1,0,0,0,23,21,1,0,0,0,23,24,1,0,0,0,24,27,1,0,0,0,25,23,1, 0,0,0,26,18,1,0,0,0,26,27,1,0,0,0,27,28,1,0,0,0,28,29,5,4,0,0,29, 30,5,5,0,0,30,31,3,8,4,0,31,3,1,0,0,0,32,123,5,6,0,0,33,123,5,7, 0,0,34,123,5,26,0,0,35,123,5,27,0,0,36,123,5,28,0,0,37,38,5,2,0, 0,38,39,3,4,2,0,39,40,5,8,0,0,40,41,3,4,2,0,41,42,5,4,0,0,42,123, 1,0,0,0,43,44,5,2,0,0,44,45,3,4,2,0,45,46,5,9,0,0,46,47,3,4,2,0, 47,48,5,4,0,0,48,123,1,0,0,0,49,50,5,2,0,0,50,51,3,4,2,0,51,52,5, 10,0,0,52,53,3,4,2,0,53,54,5,4,0,0,54,123,1,0,0,0,55,56,5,2,0,0, 56,57,3,4,2,0,57,58,5,11,0,0,58,59,3,4,2,0,59,60,5,4,0,0,60,123, 1,0,0,0,61,62,5,2,0,0,62,63,3,4,2,0,63,64,5,12,0,0,64,65,3,4,2,0, 65,66,5,4,0,0,66,123,1,0,0,0,67,68,5,2,0,0,68,69,3,4,2,0,69,70,5, 13,0,0,70,71,3,4,2,0,71,72,5,4,0,0,72,123,1,0,0,0,73,74,5,2,0,0, 74,75,3,4,2,0,75,76,5,14,0,0,76,77,3,4,2,0,77,78,5,4,0,0,78,123, 1,0,0,0,79,80,5,2,0,0,80,81,3,4,2,0,81,82,5,15,0,0,82,83,3,4,2,0, 83,84,5,4,0,0,84,123,1,0,0,0,85,86,5,2,0,0,86,87,3,4,2,0,87,88,5, 16,0,0,88,89,3,4,2,0,89,90,5,4,0,0,90,123,1,0,0,0,91,92,5,2,0,0, 92,93,3,4,2,0,93,94,5,17,0,0,94,95,3,4,2,0,95,96,5,4,0,0,96,123, 1,0,0,0,97,98,5,2,0,0,98,99,3,4,2,0,99,100,5,18,0,0,100,101,3,4, 2,0,101,102,5,4,0,0,102,123,1,0,0,0,103,104,5,2,0,0,104,105,3,4, 2,0,105,106,5,19,0,0,106,107,3,4,2,0,107,108,5,4,0,0,108,123,1,0, 0,0,109,110,5,2,0,0,110,115,5,26,0,0,111,112,5,3,0,0,112,114,5,26, 0,0,113,111,1,0,0,0,114,117,1,0,0,0,115,113,1,0,0,0,115,116,1,0, 0,0,116,118,1,0,0,0,117,115,1,0,0,0,118,119,5,5,0,0,119,120,3,8, 4,0,120,121,5,4,0,0,121,123,1,0,0,0,122,32,1,0,0,0,122,33,1,0,0, 0,122,34,1,0,0,0,122,35,1,0,0,0,122,36,1,0,0,0,122,37,1,0,0,0,122, 43,1,0,0,0,122,49,1,0,0,0,122,55,1,0,0,0,122,61,1,0,0,0,122,67,1, 0,0,0,122,73,1,0,0,0,122,79,1,0,0,0,122,85,1,0,0,0,122,91,1,0,0, 0,122,97,1,0,0,0,122,103,1,0,0,0,122,109,1,0,0,0,123,5,1,0,0,0,124, 125,5,26,0,0,125,126,5,2,0,0,126,131,3,4,2,0,127,128,5,3,0,0,128, 130,3,4,2,0,129,127,1,0,0,0,130,133,1,0,0,0,131,129,1,0,0,0,131, 132,1,0,0,0,132,134,1,0,0,0,133,131,1,0,0,0,134,135,5,4,0,0,135, 138,1,0,0,0,136,138,3,4,2,0,137,124,1,0,0,0,137,136,1,0,0,0,138, 7,1,0,0,0,139,140,5,20,0,0,140,141,5,26,0,0,141,142,5,21,0,0,142, 143,3,6,3,0,143,144,5,22,0,0,144,145,3,8,4,0,145,155,1,0,0,0,146, 147,5,23,0,0,147,148,3,4,2,0,148,149,5,24,0,0,149,150,3,8,4,0,150, 151,5,25,0,0,151,152,3,8,4,0,152,155,1,0,0,0,153,155,3,6,3,0,154, 139,1,0,0,0,154,146,1,0,0,0,154,153,1,0,0,0,155,9,1,0,0,0,8,13,23, 26,115,122,131,137,154 ] class ANFParser ( Parser ): grammarFileName = "ANF.g4" atn = ATNDeserializer().deserialize(serializedATN()) decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ] sharedContextCache = PredictionContextCache() literalNames = [ "", "'def'", "'('", "','", "')'", "':'", "'true'", "'false'", "'+'", "'-'", "'*'", "'/'", "'>'", "'<'", "'=='", "'<<'", "'>>'", "'&&'", "'||'", "'^^'", "'let'", "'='", "'in'", "'if'", "'then'", "'else'" ] symbolicNames = [ "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "", "IDENT", "NUMBER", "STRING", "WS" ] RULE_prog = 0 RULE_def = 1 RULE_aexp = 2 RULE_funcall = 3 RULE_cexp = 4 ruleNames = [ "prog", "def", "aexp", "funcall", "cexp" ] EOF = Token.EOF T__0=1 T__1=2 T__2=3 T__3=4 T__4=5 T__5=6 T__6=7 T__7=8 T__8=9 T__9=10 T__10=11 T__11=12 T__12=13 T__13=14 T__14=15 T__15=16 T__16=17 T__17=18 T__18=19 T__19=20 T__20=21 T__21=22 T__22=23 T__23=24 T__24=25 IDENT=26 NUMBER=27 STRING=28 WS=29 def __init__(self, input:TokenStream, output:TextIO = sys.stdout): super().__init__(input, output) self.checkVersion("4.13.1") self._interp = ParserATNSimulator(self, self.atn, self.decisionsToDFA, self.sharedContextCache) self._predicates = None class ProgContext(ParserRuleContext): __slots__ = 'parser' def __init__(self, parser, parent:ParserRuleContext=None, invokingState:int=-1): super().__init__(parent, invokingState) self.parser = parser def def_(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.DefContext) else: return self.getTypedRuleContext(ANFParser.DefContext,i) def getRuleIndex(self): return ANFParser.RULE_prog def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterProg" ): listener.enterProg(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitProg" ): listener.exitProg(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitProg" ): return visitor.visitProg(self) else: return visitor.visitChildren(self) def prog(self): localctx = ANFParser.ProgContext(self, self._ctx, self.state) self.enterRule(localctx, 0, self.RULE_prog) self._la = 0 # Token type try: self.enterOuterAlt(localctx, 1) self.state = 11 self._errHandler.sync(self) _la = self._input.LA(1) while True: self.state = 10 self.def_() self.state = 13 self._errHandler.sync(self) _la = self._input.LA(1) if not (_la==1): break except RecognitionException as re: localctx.exception = re self._errHandler.reportError(self, re) self._errHandler.recover(self, re) finally: self.exitRule() return localctx class DefContext(ParserRuleContext): __slots__ = 'parser' def __init__(self, parser, parent:ParserRuleContext=None, invokingState:int=-1): super().__init__(parent, invokingState) self.parser = parser def IDENT(self, i:int=None): if i is None: return self.getTokens(ANFParser.IDENT) else: return self.getToken(ANFParser.IDENT, i) def cexp(self): return self.getTypedRuleContext(ANFParser.CexpContext,0) def getRuleIndex(self): return ANFParser.RULE_def def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterDef" ): listener.enterDef(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitDef" ): listener.exitDef(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitDef" ): return visitor.visitDef(self) else: return visitor.visitChildren(self) def def_(self): localctx = ANFParser.DefContext(self, self._ctx, self.state) self.enterRule(localctx, 2, self.RULE_def) self._la = 0 # Token type try: self.enterOuterAlt(localctx, 1) self.state = 15 self.match(ANFParser.T__0) self.state = 16 self.match(ANFParser.IDENT) self.state = 17 self.match(ANFParser.T__1) self.state = 26 self._errHandler.sync(self) _la = self._input.LA(1) if _la==26: self.state = 18 self.match(ANFParser.IDENT) self.state = 23 self._errHandler.sync(self) _la = self._input.LA(1) while _la==3: self.state = 19 self.match(ANFParser.T__2) self.state = 20 self.match(ANFParser.IDENT) self.state = 25 self._errHandler.sync(self) _la = self._input.LA(1) self.state = 28 self.match(ANFParser.T__3) self.state = 29 self.match(ANFParser.T__4) self.state = 30 self.cexp() except RecognitionException as re: localctx.exception = re self._errHandler.reportError(self, re) self._errHandler.recover(self, re) finally: self.exitRule() return localctx class AexpContext(ParserRuleContext): __slots__ = 'parser' def __init__(self, parser, parent:ParserRuleContext=None, invokingState:int=-1): super().__init__(parent, invokingState) self.parser = parser def getRuleIndex(self): return ANFParser.RULE_aexp def copyFrom(self, ctx:ParserRuleContext): super().copyFrom(ctx) class AddContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def aexp(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.AexpContext) else: return self.getTypedRuleContext(ANFParser.AexpContext,i) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterAdd" ): listener.enterAdd(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitAdd" ): listener.exitAdd(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitAdd" ): return visitor.visitAdd(self) else: return visitor.visitChildren(self) class BsrContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def aexp(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.AexpContext) else: return self.getTypedRuleContext(ANFParser.AexpContext,i) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterBsr" ): listener.enterBsr(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitBsr" ): listener.exitBsr(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitBsr" ): return visitor.visitBsr(self) else: return visitor.visitChildren(self) class SubContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def aexp(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.AexpContext) else: return self.getTypedRuleContext(ANFParser.AexpContext,i) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterSub" ): listener.enterSub(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitSub" ): listener.exitSub(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitSub" ): return visitor.visitSub(self) else: return visitor.visitChildren(self) class OrContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def aexp(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.AexpContext) else: return self.getTypedRuleContext(ANFParser.AexpContext,i) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterOr" ): listener.enterOr(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitOr" ): listener.exitOr(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitOr" ): return visitor.visitOr(self) else: return visitor.visitChildren(self) class MulContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def aexp(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.AexpContext) else: return self.getTypedRuleContext(ANFParser.AexpContext,i) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterMul" ): listener.enterMul(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitMul" ): listener.exitMul(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitMul" ): return visitor.visitMul(self) else: return visitor.visitChildren(self) class VarContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def IDENT(self): return self.getToken(ANFParser.IDENT, 0) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterVar" ): listener.enterVar(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitVar" ): listener.exitVar(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitVar" ): return visitor.visitVar(self) else: return visitor.visitChildren(self) class NumContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def NUMBER(self): return self.getToken(ANFParser.NUMBER, 0) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterNum" ): listener.enterNum(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitNum" ): listener.exitNum(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitNum" ): return visitor.visitNum(self) else: return visitor.visitChildren(self) class FalseContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterFalse" ): listener.enterFalse(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitFalse" ): listener.exitFalse(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitFalse" ): return visitor.visitFalse(self) else: return visitor.visitChildren(self) class LtContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def aexp(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.AexpContext) else: return self.getTypedRuleContext(ANFParser.AexpContext,i) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterLt" ): listener.enterLt(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitLt" ): listener.exitLt(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitLt" ): return visitor.visitLt(self) else: return visitor.visitChildren(self) class EqContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def aexp(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.AexpContext) else: return self.getTypedRuleContext(ANFParser.AexpContext,i) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterEq" ): listener.enterEq(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitEq" ): listener.exitEq(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitEq" ): return visitor.visitEq(self) else: return visitor.visitChildren(self) class GtContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def aexp(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.AexpContext) else: return self.getTypedRuleContext(ANFParser.AexpContext,i) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterGt" ): listener.enterGt(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitGt" ): listener.exitGt(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitGt" ): return visitor.visitGt(self) else: return visitor.visitChildren(self) class StrContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def STRING(self): return self.getToken(ANFParser.STRING, 0) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterStr" ): listener.enterStr(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitStr" ): listener.exitStr(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitStr" ): return visitor.visitStr(self) else: return visitor.visitChildren(self) class DivContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def aexp(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.AexpContext) else: return self.getTypedRuleContext(ANFParser.AexpContext,i) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterDiv" ): listener.enterDiv(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitDiv" ): listener.exitDiv(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitDiv" ): return visitor.visitDiv(self) else: return visitor.visitChildren(self) class AndContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def aexp(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.AexpContext) else: return self.getTypedRuleContext(ANFParser.AexpContext,i) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterAnd" ): listener.enterAnd(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitAnd" ): listener.exitAnd(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitAnd" ): return visitor.visitAnd(self) else: return visitor.visitChildren(self) class TrueContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterTrue" ): listener.enterTrue(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitTrue" ): listener.exitTrue(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitTrue" ): return visitor.visitTrue(self) else: return visitor.visitChildren(self) class LamContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def IDENT(self, i:int=None): if i is None: return self.getTokens(ANFParser.IDENT) else: return self.getToken(ANFParser.IDENT, i) def cexp(self): return self.getTypedRuleContext(ANFParser.CexpContext,0) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterLam" ): listener.enterLam(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitLam" ): listener.exitLam(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitLam" ): return visitor.visitLam(self) else: return visitor.visitChildren(self) class BslContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def aexp(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.AexpContext) else: return self.getTypedRuleContext(ANFParser.AexpContext,i) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterBsl" ): listener.enterBsl(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitBsl" ): listener.exitBsl(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitBsl" ): return visitor.visitBsl(self) else: return visitor.visitChildren(self) class XorContext(AexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.AexpContext super().__init__(parser) self.copyFrom(ctx) def aexp(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.AexpContext) else: return self.getTypedRuleContext(ANFParser.AexpContext,i) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterXor" ): listener.enterXor(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitXor" ): listener.exitXor(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitXor" ): return visitor.visitXor(self) else: return visitor.visitChildren(self) def aexp(self): localctx = ANFParser.AexpContext(self, self._ctx, self.state) self.enterRule(localctx, 4, self.RULE_aexp) self._la = 0 # Token type try: self.state = 122 self._errHandler.sync(self) la_ = self._interp.adaptivePredict(self._input,4,self._ctx) if la_ == 1: localctx = ANFParser.TrueContext(self, localctx) self.enterOuterAlt(localctx, 1) self.state = 32 self.match(ANFParser.T__5) pass elif la_ == 2: localctx = ANFParser.FalseContext(self, localctx) self.enterOuterAlt(localctx, 2) self.state = 33 self.match(ANFParser.T__6) pass elif la_ == 3: localctx = ANFParser.VarContext(self, localctx) self.enterOuterAlt(localctx, 3) self.state = 34 self.match(ANFParser.IDENT) pass elif la_ == 4: localctx = ANFParser.NumContext(self, localctx) self.enterOuterAlt(localctx, 4) self.state = 35 self.match(ANFParser.NUMBER) pass elif la_ == 5: localctx = ANFParser.StrContext(self, localctx) self.enterOuterAlt(localctx, 5) self.state = 36 self.match(ANFParser.STRING) pass elif la_ == 6: localctx = ANFParser.AddContext(self, localctx) self.enterOuterAlt(localctx, 6) self.state = 37 self.match(ANFParser.T__1) self.state = 38 self.aexp() self.state = 39 self.match(ANFParser.T__7) self.state = 40 self.aexp() self.state = 41 self.match(ANFParser.T__3) pass elif la_ == 7: localctx = ANFParser.SubContext(self, localctx) self.enterOuterAlt(localctx, 7) self.state = 43 self.match(ANFParser.T__1) self.state = 44 self.aexp() self.state = 45 self.match(ANFParser.T__8) self.state = 46 self.aexp() self.state = 47 self.match(ANFParser.T__3) pass elif la_ == 8: localctx = ANFParser.MulContext(self, localctx) self.enterOuterAlt(localctx, 8) self.state = 49 self.match(ANFParser.T__1) self.state = 50 self.aexp() self.state = 51 self.match(ANFParser.T__9) self.state = 52 self.aexp() self.state = 53 self.match(ANFParser.T__3) pass elif la_ == 9: localctx = ANFParser.DivContext(self, localctx) self.enterOuterAlt(localctx, 9) self.state = 55 self.match(ANFParser.T__1) self.state = 56 self.aexp() self.state = 57 self.match(ANFParser.T__10) self.state = 58 self.aexp() self.state = 59 self.match(ANFParser.T__3) pass elif la_ == 10: localctx = ANFParser.GtContext(self, localctx) self.enterOuterAlt(localctx, 10) self.state = 61 self.match(ANFParser.T__1) self.state = 62 self.aexp() self.state = 63 self.match(ANFParser.T__11) self.state = 64 self.aexp() self.state = 65 self.match(ANFParser.T__3) pass elif la_ == 11: localctx = ANFParser.LtContext(self, localctx) self.enterOuterAlt(localctx, 11) self.state = 67 self.match(ANFParser.T__1) self.state = 68 self.aexp() self.state = 69 self.match(ANFParser.T__12) self.state = 70 self.aexp() self.state = 71 self.match(ANFParser.T__3) pass elif la_ == 12: localctx = ANFParser.EqContext(self, localctx) self.enterOuterAlt(localctx, 12) self.state = 73 self.match(ANFParser.T__1) self.state = 74 self.aexp() self.state = 75 self.match(ANFParser.T__13) self.state = 76 self.aexp() self.state = 77 self.match(ANFParser.T__3) pass elif la_ == 13: localctx = ANFParser.BslContext(self, localctx) self.enterOuterAlt(localctx, 13) self.state = 79 self.match(ANFParser.T__1) self.state = 80 self.aexp() self.state = 81 self.match(ANFParser.T__14) self.state = 82 self.aexp() self.state = 83 self.match(ANFParser.T__3) pass elif la_ == 14: localctx = ANFParser.BsrContext(self, localctx) self.enterOuterAlt(localctx, 14) self.state = 85 self.match(ANFParser.T__1) self.state = 86 self.aexp() self.state = 87 self.match(ANFParser.T__15) self.state = 88 self.aexp() self.state = 89 self.match(ANFParser.T__3) pass elif la_ == 15: localctx = ANFParser.AndContext(self, localctx) self.enterOuterAlt(localctx, 15) self.state = 91 self.match(ANFParser.T__1) self.state = 92 self.aexp() self.state = 93 self.match(ANFParser.T__16) self.state = 94 self.aexp() self.state = 95 self.match(ANFParser.T__3) pass elif la_ == 16: localctx = ANFParser.OrContext(self, localctx) self.enterOuterAlt(localctx, 16) self.state = 97 self.match(ANFParser.T__1) self.state = 98 self.aexp() self.state = 99 self.match(ANFParser.T__17) self.state = 100 self.aexp() self.state = 101 self.match(ANFParser.T__3) pass elif la_ == 17: localctx = ANFParser.XorContext(self, localctx) self.enterOuterAlt(localctx, 17) self.state = 103 self.match(ANFParser.T__1) self.state = 104 self.aexp() self.state = 105 self.match(ANFParser.T__18) self.state = 106 self.aexp() self.state = 107 self.match(ANFParser.T__3) pass elif la_ == 18: localctx = ANFParser.LamContext(self, localctx) self.enterOuterAlt(localctx, 18) self.state = 109 self.match(ANFParser.T__1) self.state = 110 self.match(ANFParser.IDENT) self.state = 115 self._errHandler.sync(self) _la = self._input.LA(1) while _la==3: self.state = 111 self.match(ANFParser.T__2) self.state = 112 self.match(ANFParser.IDENT) self.state = 117 self._errHandler.sync(self) _la = self._input.LA(1) self.state = 118 self.match(ANFParser.T__4) self.state = 119 self.cexp() self.state = 120 self.match(ANFParser.T__3) pass except RecognitionException as re: localctx.exception = re self._errHandler.reportError(self, re) self._errHandler.recover(self, re) finally: self.exitRule() return localctx class FuncallContext(ParserRuleContext): __slots__ = 'parser' def __init__(self, parser, parent:ParserRuleContext=None, invokingState:int=-1): super().__init__(parent, invokingState) self.parser = parser def getRuleIndex(self): return ANFParser.RULE_funcall def copyFrom(self, ctx:ParserRuleContext): super().copyFrom(ctx) class CallContext(FuncallContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.FuncallContext super().__init__(parser) self.copyFrom(ctx) def IDENT(self): return self.getToken(ANFParser.IDENT, 0) def aexp(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.AexpContext) else: return self.getTypedRuleContext(ANFParser.AexpContext,i) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterCall" ): listener.enterCall(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitCall" ): listener.exitCall(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitCall" ): return visitor.visitCall(self) else: return visitor.visitChildren(self) class AtomContext(FuncallContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.FuncallContext super().__init__(parser) self.copyFrom(ctx) def aexp(self): return self.getTypedRuleContext(ANFParser.AexpContext,0) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterAtom" ): listener.enterAtom(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitAtom" ): listener.exitAtom(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitAtom" ): return visitor.visitAtom(self) else: return visitor.visitChildren(self) def funcall(self): localctx = ANFParser.FuncallContext(self, self._ctx, self.state) self.enterRule(localctx, 6, self.RULE_funcall) self._la = 0 # Token type try: self.state = 137 self._errHandler.sync(self) la_ = self._interp.adaptivePredict(self._input,6,self._ctx) if la_ == 1: localctx = ANFParser.CallContext(self, localctx) self.enterOuterAlt(localctx, 1) self.state = 124 self.match(ANFParser.IDENT) self.state = 125 self.match(ANFParser.T__1) self.state = 126 self.aexp() self.state = 131 self._errHandler.sync(self) _la = self._input.LA(1) while _la==3: self.state = 127 self.match(ANFParser.T__2) self.state = 128 self.aexp() self.state = 133 self._errHandler.sync(self) _la = self._input.LA(1) self.state = 134 self.match(ANFParser.T__3) pass elif la_ == 2: localctx = ANFParser.AtomContext(self, localctx) self.enterOuterAlt(localctx, 2) self.state = 136 self.aexp() pass except RecognitionException as re: localctx.exception = re self._errHandler.reportError(self, re) self._errHandler.recover(self, re) finally: self.exitRule() return localctx class CexpContext(ParserRuleContext): __slots__ = 'parser' def __init__(self, parser, parent:ParserRuleContext=None, invokingState:int=-1): super().__init__(parent, invokingState) self.parser = parser def getRuleIndex(self): return ANFParser.RULE_cexp def copyFrom(self, ctx:ParserRuleContext): super().copyFrom(ctx) class LetContext(CexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.CexpContext super().__init__(parser) self.copyFrom(ctx) def IDENT(self): return self.getToken(ANFParser.IDENT, 0) def funcall(self): return self.getTypedRuleContext(ANFParser.FuncallContext,0) def cexp(self): return self.getTypedRuleContext(ANFParser.CexpContext,0) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterLet" ): listener.enterLet(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitLet" ): listener.exitLet(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitLet" ): return visitor.visitLet(self) else: return visitor.visitChildren(self) class IfContext(CexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.CexpContext super().__init__(parser) self.copyFrom(ctx) def aexp(self): return self.getTypedRuleContext(ANFParser.AexpContext,0) def cexp(self, i:int=None): if i is None: return self.getTypedRuleContexts(ANFParser.CexpContext) else: return self.getTypedRuleContext(ANFParser.CexpContext,i) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterIf" ): listener.enterIf(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitIf" ): listener.exitIf(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitIf" ): return visitor.visitIf(self) else: return visitor.visitChildren(self) class FcContext(CexpContext): def __init__(self, parser, ctx:ParserRuleContext): # actually a ANFParser.CexpContext super().__init__(parser) self.copyFrom(ctx) def funcall(self): return self.getTypedRuleContext(ANFParser.FuncallContext,0) def enterRule(self, listener:ParseTreeListener): if hasattr( listener, "enterFc" ): listener.enterFc(self) def exitRule(self, listener:ParseTreeListener): if hasattr( listener, "exitFc" ): listener.exitFc(self) def accept(self, visitor:ParseTreeVisitor): if hasattr( visitor, "visitFc" ): return visitor.visitFc(self) else: return visitor.visitChildren(self) def cexp(self): localctx = ANFParser.CexpContext(self, self._ctx, self.state) self.enterRule(localctx, 8, self.RULE_cexp) try: self.state = 154 self._errHandler.sync(self) token = self._input.LA(1) if token in [20]: localctx = ANFParser.LetContext(self, localctx) self.enterOuterAlt(localctx, 1) self.state = 139 self.match(ANFParser.T__19) self.state = 140 self.match(ANFParser.IDENT) self.state = 141 self.match(ANFParser.T__20) self.state = 142 self.funcall() self.state = 143 self.match(ANFParser.T__21) self.state = 144 self.cexp() pass elif token in [23]: localctx = ANFParser.IfContext(self, localctx) self.enterOuterAlt(localctx, 2) self.state = 146 self.match(ANFParser.T__22) self.state = 147 self.aexp() self.state = 148 self.match(ANFParser.T__23) self.state = 149 self.cexp() self.state = 150 self.match(ANFParser.T__24) self.state = 151 self.cexp() pass elif token in [2, 6, 7, 26, 27, 28]: localctx = ANFParser.FcContext(self, localctx) self.enterOuterAlt(localctx, 3) self.state = 153 self.funcall() pass else: raise NoViableAltException(self) except RecognitionException as re: localctx.exception = re self._errHandler.reportError(self, re) self._errHandler.recover(self, re) finally: self.exitRule() return localctx