48 lines
1.3 KiB
Python
48 lines
1.3 KiB
Python
# Generated from O.g4 by ANTLR 4.10.1
|
|
from antlr4 import *
|
|
if __name__ is not None and "." in __name__:
|
|
from .OParser import OParser
|
|
else:
|
|
from OParser import OParser
|
|
|
|
# This class defines a complete generic visitor for a parse tree produced by OParser.
|
|
|
|
class OVisitor(ParseTreeVisitor):
|
|
|
|
# Visit a parse tree produced by OParser#log_neg.
|
|
def visitLog_neg(self, ctx:OParser.Log_negContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by OParser#parenth.
|
|
def visitParenth(self, ctx:OParser.ParenthContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by OParser#log_or.
|
|
def visitLog_or(self, ctx:OParser.Log_orContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by OParser#log_impl.
|
|
def visitLog_impl(self, ctx:OParser.Log_implContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by OParser#atom.
|
|
def visitAtom(self, ctx:OParser.AtomContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by OParser#log_iff.
|
|
def visitLog_iff(self, ctx:OParser.Log_iffContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by OParser#log_and.
|
|
def visitLog_and(self, ctx:OParser.Log_andContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
|
|
del OParser |