Regenerated for new version of antlr4

boolparse/BooleanSentenceParser.py

-# Generated from BooleanSentence.g4 by ANTLR 4.5.1
+# Generated from BooleanSentence.g4 by ANTLR 4.13.0
 # 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():
-    with StringIO() as buf:
-        buf.write("\3\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\3\r")
-        buf.write("&\4\2\t\2\4\3\t\3\3\2\3\2\3\3\3\3\3\3\3\3\3\3\3\3\3\3")
-        buf.write("\3\3\3\3\3\3\5\3\23\n\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3")
-        buf.write("\3\3\3\3\3\3\3\3\3\7\3!\n\3\f\3\16\3$\13\3\3\3\2\3\4\4")
-        buf.write("\2\4\2\2+\2\6\3\2\2\2\4\22\3\2\2\2\6\7\5\4\3\2\7\3\3\2")
-        buf.write("\2\2\b\t\b\3\1\2\t\n\7\b\2\2\n\23\5\4\3\7\13\23\7\5\2")
-        buf.write("\2\f\23\7\6\2\2\r\23\7\7\2\2\16\17\7\3\2\2\17\20\5\4\3")
-        buf.write("\2\20\21\7\4\2\2\21\23\3\2\2\2\22\b\3\2\2\2\22\13\3\2")
-        buf.write("\2\2\22\f\3\2\2\2\22\r\3\2\2\2\22\16\3\2\2\2\23\"\3\2")
-        buf.write("\2\2\24\25\f\6\2\2\25\26\7\t\2\2\26!\5\4\3\7\27\30\f\5")
-        buf.write("\2\2\30\31\7\n\2\2\31!\5\4\3\6\32\33\f\4\2\2\33\34\7\13")
-        buf.write("\2\2\34!\5\4\3\5\35\36\f\3\2\2\36\37\7\f\2\2\37!\5\4\3")
-        buf.write("\4 \24\3\2\2\2 \27\3\2\2\2 \32\3\2\2\2 \35\3\2\2\2!$\3")
-        buf.write("\2\2\2\" \3\2\2\2\"#\3\2\2\2#\5\3\2\2\2$\"\3\2\2\2\5\22")
-        buf.write(" \"")
-        return buf.getvalue()
-
+    return [
+        4,1,11,36,2,0,7,0,2,1,7,1,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
+        1,1,1,1,1,3,1,17,8,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
+        1,1,5,1,31,8,1,10,1,12,1,34,9,1,1,1,0,1,2,2,0,2,0,0,41,0,4,1,0,0,
+        0,2,16,1,0,0,0,4,5,3,2,1,0,5,1,1,0,0,0,6,7,6,1,-1,0,7,17,5,3,0,0,
+        8,17,5,4,0,0,9,17,5,5,0,0,10,11,5,1,0,0,11,12,3,2,1,0,12,13,5,2,
+        0,0,13,17,1,0,0,0,14,15,5,6,0,0,15,17,3,2,1,5,16,6,1,0,0,0,16,8,
+        1,0,0,0,16,9,1,0,0,0,16,10,1,0,0,0,16,14,1,0,0,0,17,32,1,0,0,0,18,
+        19,10,4,0,0,19,20,5,7,0,0,20,31,3,2,1,5,21,22,10,3,0,0,22,23,5,8,
+        0,0,23,31,3,2,1,4,24,25,10,2,0,0,25,26,5,9,0,0,26,31,3,2,1,3,27,
+        28,10,1,0,0,28,29,5,10,0,0,29,31,3,2,1,2,30,18,1,0,0,0,30,21,1,0,
+        0,0,30,24,1,0,0,0,30,27,1,0,0,0,31,34,1,0,0,0,32,30,1,0,0,0,32,33,
+        1,0,0,0,33,3,1,0,0,0,34,32,1,0,0,0,3,16,30,32
+    ]
 
 class BooleanSentenceParser ( Parser ):
 
@@ -56,15 +57,17 @@ class BooleanSentenceParser ( Parser ):
     EQ=10
     BLANK=11
 
-    def __init__(self, input:TokenStream):
-        super().__init__(input)
-        self.checkVersion("4.5.1")
+    def __init__(self, input:TokenStream, output:TextIO = sys.stdout):
+        super().__init__(input, output)
+        self.checkVersion("4.13.0")
         self._interp = ParserATNSimulator(self, self.atn, self.decisionsToDFA, self.sharedContextCache)
         self._predicates = None
 
 
 
+
     class InitContext(ParserRuleContext):
+        __slots__ = 'parser'
 
         def __init__(self, parser, parent:ParserRuleContext=None, invokingState:int=-1):
             super().__init__(parent, invokingState)
@@ -104,7 +107,9 @@ class BooleanSentenceParser ( Parser ):
             self.exitRule()
         return localctx
 
+
     class SentenceContext(ParserRuleContext):
+        __slots__ = 'parser'
 
         def __init__(self, parser, parent:ParserRuleContext=None, invokingState:int=-1):
             super().__init__(parent, invokingState)
@@ -119,27 +124,6 @@ class BooleanSentenceParser ( Parser ):
             super().copyFrom(ctx)
 
 
-    class NotSentenceContext(SentenceContext):
-
-        def __init__(self, parser, ctx:ParserRuleContext): # actually a BooleanSentenceParser.SentenceContext
-            super().__init__(parser)
-            self.copyFrom(ctx)
-
-        def NOT(self):
-            return self.getToken(BooleanSentenceParser.NOT, 0)
-        def sentence(self):
-            return self.getTypedRuleContext(BooleanSentenceParser.SentenceContext,0)
-
-
-        def enterRule(self, listener:ParseTreeListener):
-            if hasattr( listener, "enterNotSentence" ):
-                listener.enterNotSentence(self)
-
-        def exitRule(self, listener:ParseTreeListener):
-            if hasattr( listener, "exitNotSentence" ):
-                listener.exitNotSentence(self)
-
-
     class TrueSentenceContext(SentenceContext):
 
         def __init__(self, parser, ctx:ParserRuleContext): # actually a BooleanSentenceParser.SentenceContext
@@ -176,6 +160,27 @@ class BooleanSentenceParser ( Parser ):
                 listener.exitAtomSentence(self)
 
 
+    class NotSentenceContext(SentenceContext):
+
+        def __init__(self, parser, ctx:ParserRuleContext): # actually a BooleanSentenceParser.SentenceContext
+            super().__init__(parser)
+            self.copyFrom(ctx)
+
+        def NOT(self):
+            return self.getToken(BooleanSentenceParser.NOT, 0)
+        def sentence(self):
+            return self.getTypedRuleContext(BooleanSentenceParser.SentenceContext,0)
+
+
+        def enterRule(self, listener:ParseTreeListener):
+            if hasattr( listener, "enterNotSentence" ):
+                listener.enterNotSentence(self)
+
+        def exitRule(self, listener:ParseTreeListener):
+            if hasattr( listener, "exitNotSentence" ):
+                listener.exitNotSentence(self)
+
+
     class AndSentenceContext(SentenceContext):
 
         def __init__(self, parser, ctx:ParserRuleContext): # actually a BooleanSentenceParser.SentenceContext
@@ -320,49 +325,50 @@ class BooleanSentenceParser ( Parser ):
         try:
             self.enterOuterAlt(localctx, 1)
             self.state = 16
+            self._errHandler.sync(self)
             token = self._input.LA(1)
-            if token in [BooleanSentenceParser.NOT]:
-                localctx = BooleanSentenceParser.NotSentenceContext(self, localctx)
+            if token in [3]:
+                localctx = BooleanSentenceParser.TrueSentenceContext(self, localctx)
                 self._ctx = localctx
                 _prevctx = localctx
 
                 self.state = 7
-                self.match(BooleanSentenceParser.NOT)
-                self.state = 8
-                self.sentence(5)
-
-            elif token in [BooleanSentenceParser.TRUE]:
-                localctx = BooleanSentenceParser.TrueSentenceContext(self, localctx)
-                self._ctx = localctx
-                _prevctx = localctx
-                self.state = 9
                 self.match(BooleanSentenceParser.TRUE)
-
-            elif token in [BooleanSentenceParser.FALSE]:
+                pass
+            elif token in [4]:
                 localctx = BooleanSentenceParser.FalseSentenceContext(self, localctx)
                 self._ctx = localctx
                 _prevctx = localctx
-                self.state = 10
+                self.state = 8
                 self.match(BooleanSentenceParser.FALSE)
-
-            elif token in [BooleanSentenceParser.VAR]:
+                pass
+            elif token in [5]:
                 localctx = BooleanSentenceParser.AtomSentenceContext(self, localctx)
                 self._ctx = localctx
                 _prevctx = localctx
-                self.state = 11
+                self.state = 9
                 self.match(BooleanSentenceParser.VAR)
-
-            elif token in [BooleanSentenceParser.T__0]:
+                pass
+            elif token in [1]:
                 localctx = BooleanSentenceParser.ParentSentenceContext(self, localctx)
                 self._ctx = localctx
                 _prevctx = localctx
-                self.state = 12
+                self.state = 10
                 self.match(BooleanSentenceParser.T__0)
-                self.state = 13
+                self.state = 11
                 self.sentence(0)
-                self.state = 14
+                self.state = 12
                 self.match(BooleanSentenceParser.T__1)
-
+                pass
+            elif token in [6]:
+                localctx = BooleanSentenceParser.NotSentenceContext(self, localctx)
+                self._ctx = localctx
+                _prevctx = localctx
+                self.state = 14
+                self.match(BooleanSentenceParser.NOT)
+                self.state = 15
+                self.sentence(5)
+                pass
             else:
                 raise NoViableAltException(self)
 
@@ -376,6 +382,7 @@ class BooleanSentenceParser ( Parser ):
                         self.triggerExitRuleEvent()
                     _prevctx = localctx
                     self.state = 30
+                    self._errHandler.sync(self)
                     la_ = self._interp.adaptivePredict(self._input,1,self._ctx)
                     if la_ == 1:
                         localctx = BooleanSentenceParser.AndSentenceContext(self, BooleanSentenceParser.SentenceContext(self, _parentctx, _parentState))