Package com.semedy.reasoner.parser.oologic

Interface OOLogicGrammarListener

All Superinterfaces:

org.antlr.v4.runtime.tree.ParseTreeListener

All Known Implementing Classes:

OOLogicColorListener, OOLogicGrammarBaseListener, OOLogicListener

public interface OOLogicGrammarListener
extends org.antlr.v4.runtime.tree.ParseTreeListener

This interface defines a complete listener for a parse tree produced by OOLogicGrammarParser.

Method Summary

Modifier and Type	Method	Description
void	enterAggregation(OOLogicGrammarParser.AggregationContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.aggregation().
void	enterAggregationWithGrouping(OOLogicGrammarParser.AggregationWithGroupingContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.aggregationWithGrouping().
void	enterAggregationWithoutGrouping(OOLogicGrammarParser.AggregationWithoutGroupingContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.aggregationWithoutGrouping().
void	enterArgument(OOLogicGrammarParser.ArgumentContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.argument().
void	enterArguments(OOLogicGrammarParser.ArgumentsContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.arguments().
void	enterAssignmentAtom(OOLogicGrammarParser.AssignmentAtomContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.assignmentAtom().
void	enterAtom(OOLogicGrammarParser.AtomContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.atom().
void	enterAtomWOModule(OOLogicGrammarParser.AtomWOModuleContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.atomWOModule().
void	enterBoolExpression(OOLogicGrammarParser.BoolExpressionContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.boolExpression().
void	enterBuiltinAtom(OOLogicGrammarParser.BuiltinAtomContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.builtinAtom().
void	enterCompareAtom(OOLogicGrammarParser.CompareAtomContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.compareAtom().
void	enterConstraint(OOLogicGrammarParser.ConstraintContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.constraint().
void	enterConstraints(OOLogicGrammarParser.ConstraintsContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.constraints().
void	enterEdge(OOLogicGrammarParser.EdgeContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.edge().
void	enterEnumeration(OOLogicGrammarParser.EnumerationContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.enumeration().
void	enterExpression(OOLogicGrammarParser.ExpressionContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.expression().
void	enterFact(OOLogicGrammarParser.FactContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.fact().
void	enterFacts_and_rules(OOLogicGrammarParser.Facts_and_rulesContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.facts_and_rules().
void	enterFunction(OOLogicGrammarParser.FunctionContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.function().
void	enterGroundTerm(OOLogicGrammarParser.GroundTermContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.groundTerm().
void	enterHeadatoms(OOLogicGrammarParser.HeadatomsContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.headatoms().
void	enterImplies(OOLogicGrammarParser.ImpliesContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.implies().
void	enterInputVariables(OOLogicGrammarParser.InputVariablesContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.inputVariables().
void	enterLiteral(OOLogicGrammarParser.LiteralContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.literal().
void	enterLiterals(OOLogicGrammarParser.LiteralsContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.literals().
void	enterModule(OOLogicGrammarParser.ModuleContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.module().
void	enterNumber(OOLogicGrammarParser.NumberContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.number().
void	enterOoMemberAtom(OOLogicGrammarParser.OoMemberAtomContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.ooMemberAtom().
void	enterOoProperties(OOLogicGrammarParser.OoPropertiesContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.ooProperties().
void	enterOoProperty(OOLogicGrammarParser.OoPropertyContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.ooProperty().
void	enterOoPropertyAtom(OOLogicGrammarParser.OoPropertyAtomContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.ooPropertyAtom().
void	enterOoPropertyName(OOLogicGrammarParser.OoPropertyNameContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.ooPropertyName().
void	enterOoPropertyValue(OOLogicGrammarParser.OoPropertyValueContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.ooPropertyValue().
void	enterOoSubClassAtom(OOLogicGrammarParser.OoSubClassAtomContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.ooSubClassAtom().
void	enterOrList(OOLogicGrammarParser.OrListContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.orList().
void	enterPartof(OOLogicGrammarParser.PartofContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.partof().
void	enterPath(OOLogicGrammarParser.PathContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.path().
void	enterPathExpression(OOLogicGrammarParser.PathExpressionContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.pathExpression().
void	enterPredicateAtom(OOLogicGrammarParser.PredicateAtomContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.predicateAtom().
void	enterQueries(OOLogicGrammarParser.QueriesContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.queries().
void	enterQuery(OOLogicGrammarParser.QueryContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.query().
void	enterQuotedString(OOLogicGrammarParser.QuotedStringContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.quotedString().
void	enterReasoningRule(OOLogicGrammarParser.ReasoningRuleContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.reasoningRule().
void	enterRuleAtom(OOLogicGrammarParser.RuleAtomContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.ruleAtom().
void	enterSemicolon(OOLogicGrammarParser.SemicolonContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.semicolon().
void	enterSet(OOLogicGrammarParser.SetContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.set().
void	enterSimpleBoolExpression(OOLogicGrammarParser.SimpleBoolExpressionContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.simpleBoolExpression().
void	enterSimpleExpression(OOLogicGrammarParser.SimpleExpressionContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.simpleExpression().
void	enterSubway(OOLogicGrammarParser.SubwayContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.subway().
void	enterTerm(OOLogicGrammarParser.TermContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.term().
void	enterVariable(OOLogicGrammarParser.VariableContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.variable().
void	enterVariables(OOLogicGrammarParser.VariablesContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.variables().
void	enterWay(OOLogicGrammarParser.WayContext ctx)	Enter a parse tree produced by OOLogicGrammarParser.way().
void	exitAggregation(OOLogicGrammarParser.AggregationContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.aggregation().
void	exitAggregationWithGrouping(OOLogicGrammarParser.AggregationWithGroupingContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.aggregationWithGrouping().
void	exitAggregationWithoutGrouping(OOLogicGrammarParser.AggregationWithoutGroupingContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.aggregationWithoutGrouping().
void	exitArgument(OOLogicGrammarParser.ArgumentContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.argument().
void	exitArguments(OOLogicGrammarParser.ArgumentsContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.arguments().
void	exitAssignmentAtom(OOLogicGrammarParser.AssignmentAtomContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.assignmentAtom().
void	exitAtom(OOLogicGrammarParser.AtomContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.atom().
void	exitAtomWOModule(OOLogicGrammarParser.AtomWOModuleContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.atomWOModule().
void	exitBoolExpression(OOLogicGrammarParser.BoolExpressionContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.boolExpression().
void	exitBuiltinAtom(OOLogicGrammarParser.BuiltinAtomContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.builtinAtom().
void	exitCompareAtom(OOLogicGrammarParser.CompareAtomContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.compareAtom().
void	exitConstraint(OOLogicGrammarParser.ConstraintContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.constraint().
void	exitConstraints(OOLogicGrammarParser.ConstraintsContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.constraints().
void	exitEdge(OOLogicGrammarParser.EdgeContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.edge().
void	exitEnumeration(OOLogicGrammarParser.EnumerationContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.enumeration().
void	exitExpression(OOLogicGrammarParser.ExpressionContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.expression().
void	exitFact(OOLogicGrammarParser.FactContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.fact().
void	exitFacts_and_rules(OOLogicGrammarParser.Facts_and_rulesContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.facts_and_rules().
void	exitFunction(OOLogicGrammarParser.FunctionContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.function().
void	exitGroundTerm(OOLogicGrammarParser.GroundTermContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.groundTerm().
void	exitHeadatoms(OOLogicGrammarParser.HeadatomsContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.headatoms().
void	exitImplies(OOLogicGrammarParser.ImpliesContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.implies().
void	exitInputVariables(OOLogicGrammarParser.InputVariablesContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.inputVariables().
void	exitLiteral(OOLogicGrammarParser.LiteralContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.literal().
void	exitLiterals(OOLogicGrammarParser.LiteralsContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.literals().
void	exitModule(OOLogicGrammarParser.ModuleContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.module().
void	exitNumber(OOLogicGrammarParser.NumberContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.number().
void	exitOoMemberAtom(OOLogicGrammarParser.OoMemberAtomContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.ooMemberAtom().
void	exitOoProperties(OOLogicGrammarParser.OoPropertiesContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.ooProperties().
void	exitOoProperty(OOLogicGrammarParser.OoPropertyContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.ooProperty().
void	exitOoPropertyAtom(OOLogicGrammarParser.OoPropertyAtomContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.ooPropertyAtom().
void	exitOoPropertyName(OOLogicGrammarParser.OoPropertyNameContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.ooPropertyName().
void	exitOoPropertyValue(OOLogicGrammarParser.OoPropertyValueContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.ooPropertyValue().
void	exitOoSubClassAtom(OOLogicGrammarParser.OoSubClassAtomContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.ooSubClassAtom().
void	exitOrList(OOLogicGrammarParser.OrListContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.orList().
void	exitPartof(OOLogicGrammarParser.PartofContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.partof().
void	exitPath(OOLogicGrammarParser.PathContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.path().
void	exitPathExpression(OOLogicGrammarParser.PathExpressionContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.pathExpression().
void	exitPredicateAtom(OOLogicGrammarParser.PredicateAtomContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.predicateAtom().
void	exitQueries(OOLogicGrammarParser.QueriesContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.queries().
void	exitQuery(OOLogicGrammarParser.QueryContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.query().
void	exitQuotedString(OOLogicGrammarParser.QuotedStringContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.quotedString().
void	exitReasoningRule(OOLogicGrammarParser.ReasoningRuleContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.reasoningRule().
void	exitRuleAtom(OOLogicGrammarParser.RuleAtomContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.ruleAtom().
void	exitSemicolon(OOLogicGrammarParser.SemicolonContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.semicolon().
void	exitSet(OOLogicGrammarParser.SetContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.set().
void	exitSimpleBoolExpression(OOLogicGrammarParser.SimpleBoolExpressionContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.simpleBoolExpression().
void	exitSimpleExpression(OOLogicGrammarParser.SimpleExpressionContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.simpleExpression().
void	exitSubway(OOLogicGrammarParser.SubwayContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.subway().
void	exitTerm(OOLogicGrammarParser.TermContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.term().
void	exitVariable(OOLogicGrammarParser.VariableContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.variable().
void	exitVariables(OOLogicGrammarParser.VariablesContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.variables().
void	exitWay(OOLogicGrammarParser.WayContext ctx)	Exit a parse tree produced by OOLogicGrammarParser.way().

Methods inherited from interface org.antlr.v4.runtime.tree.ParseTreeListener

enterEveryRule, exitEveryRule, visitErrorNode, visitTerminal

Method Details

enterFacts_and_rules

void enterFacts_and_rules(@NotNull
 OOLogicGrammarParser.Facts_and_rulesContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.facts_and_rules().

Parameters:

ctx - the parse tree

exitFacts_and_rules

void exitFacts_and_rules(@NotNull
 OOLogicGrammarParser.Facts_and_rulesContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.facts_and_rules().

Parameters:

ctx - the parse tree

enterArgument

void enterArgument(@NotNull
 OOLogicGrammarParser.ArgumentContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.argument().

Parameters:

ctx - the parse tree

exitArgument

void exitArgument(@NotNull
 OOLogicGrammarParser.ArgumentContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.argument().

Parameters:

ctx - the parse tree

enterOoMemberAtom

void enterOoMemberAtom(@NotNull
 OOLogicGrammarParser.OoMemberAtomContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.ooMemberAtom().

Parameters:

ctx - the parse tree

exitOoMemberAtom

void exitOoMemberAtom(@NotNull
 OOLogicGrammarParser.OoMemberAtomContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.ooMemberAtom().

Parameters:

ctx - the parse tree

enterOoSubClassAtom

void enterOoSubClassAtom(@NotNull
 OOLogicGrammarParser.OoSubClassAtomContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.ooSubClassAtom().

Parameters:

ctx - the parse tree

exitOoSubClassAtom

void exitOoSubClassAtom(@NotNull
 OOLogicGrammarParser.OoSubClassAtomContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.ooSubClassAtom().

Parameters:

ctx - the parse tree

enterLiterals

void enterLiterals(@NotNull
 OOLogicGrammarParser.LiteralsContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.literals().

Parameters:

ctx - the parse tree

exitLiterals

void exitLiterals(@NotNull
 OOLogicGrammarParser.LiteralsContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.literals().

Parameters:

ctx - the parse tree

enterConstraints

void enterConstraints(@NotNull
 OOLogicGrammarParser.ConstraintsContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.constraints().

Parameters:

ctx - the parse tree

exitConstraints

void exitConstraints(@NotNull
 OOLogicGrammarParser.ConstraintsContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.constraints().

Parameters:

ctx - the parse tree

enterPath

void enterPath(@NotNull
 OOLogicGrammarParser.PathContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.path().

Parameters:

ctx - the parse tree

exitPath

void exitPath(@NotNull
 OOLogicGrammarParser.PathContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.path().

Parameters:

ctx - the parse tree

enterNumber

void enterNumber(@NotNull
 OOLogicGrammarParser.NumberContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.number().

Parameters:

ctx - the parse tree

exitNumber

void exitNumber(@NotNull
 OOLogicGrammarParser.NumberContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.number().

Parameters:

ctx - the parse tree

enterEdge

void enterEdge(@NotNull
 OOLogicGrammarParser.EdgeContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.edge().

Parameters:

ctx - the parse tree

exitEdge

void exitEdge(@NotNull
 OOLogicGrammarParser.EdgeContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.edge().

Parameters:

ctx - the parse tree

enterRuleAtom

void enterRuleAtom(@NotNull
 OOLogicGrammarParser.RuleAtomContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.ruleAtom().

Parameters:

ctx - the parse tree

exitRuleAtom

void exitRuleAtom(@NotNull
 OOLogicGrammarParser.RuleAtomContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.ruleAtom().

Parameters:

ctx - the parse tree

enterFunction

void enterFunction(@NotNull
 OOLogicGrammarParser.FunctionContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.function().

Parameters:

ctx - the parse tree

exitFunction

void exitFunction(@NotNull
 OOLogicGrammarParser.FunctionContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.function().

Parameters:

ctx - the parse tree

enterAtomWOModule

void enterAtomWOModule(@NotNull
 OOLogicGrammarParser.AtomWOModuleContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.atomWOModule().

Parameters:

ctx - the parse tree

exitAtomWOModule

void exitAtomWOModule(@NotNull
 OOLogicGrammarParser.AtomWOModuleContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.atomWOModule().

Parameters:

ctx - the parse tree

enterEnumeration

void enterEnumeration(@NotNull
 OOLogicGrammarParser.EnumerationContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.enumeration().

Parameters:

ctx - the parse tree

exitEnumeration

void exitEnumeration(@NotNull
 OOLogicGrammarParser.EnumerationContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.enumeration().

Parameters:

ctx - the parse tree

enterInputVariables

void enterInputVariables(@NotNull
 OOLogicGrammarParser.InputVariablesContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.inputVariables().

Parameters:

ctx - the parse tree

exitInputVariables

void exitInputVariables(@NotNull
 OOLogicGrammarParser.InputVariablesContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.inputVariables().

Parameters:

ctx - the parse tree

enterSimpleBoolExpression

void enterSimpleBoolExpression(@NotNull
 OOLogicGrammarParser.SimpleBoolExpressionContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.simpleBoolExpression().

Parameters:

ctx - the parse tree

exitSimpleBoolExpression

void exitSimpleBoolExpression(@NotNull
 OOLogicGrammarParser.SimpleBoolExpressionContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.simpleBoolExpression().

Parameters:

ctx - the parse tree

enterPartof

void enterPartof(@NotNull
 OOLogicGrammarParser.PartofContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.partof().

Parameters:

ctx - the parse tree

exitPartof

void exitPartof(@NotNull
 OOLogicGrammarParser.PartofContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.partof().

Parameters:

ctx - the parse tree

enterBoolExpression

void enterBoolExpression(@NotNull
 OOLogicGrammarParser.BoolExpressionContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.boolExpression().

Parameters:

ctx - the parse tree

exitBoolExpression

void exitBoolExpression(@NotNull
 OOLogicGrammarParser.BoolExpressionContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.boolExpression().

Parameters:

ctx - the parse tree

enterModule

void enterModule(@NotNull
 OOLogicGrammarParser.ModuleContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.module().

Parameters:

ctx - the parse tree

exitModule

void exitModule(@NotNull
 OOLogicGrammarParser.ModuleContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.module().

Parameters:

ctx - the parse tree

enterQuery

void enterQuery(@NotNull
 OOLogicGrammarParser.QueryContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.query().

Parameters:

ctx - the parse tree

exitQuery

void exitQuery(@NotNull
 OOLogicGrammarParser.QueryContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.query().

Parameters:

ctx - the parse tree

enterSimpleExpression

void enterSimpleExpression(@NotNull
 OOLogicGrammarParser.SimpleExpressionContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.simpleExpression().

Parameters:

ctx - the parse tree

exitSimpleExpression

void exitSimpleExpression(@NotNull
 OOLogicGrammarParser.SimpleExpressionContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.simpleExpression().

Parameters:

ctx - the parse tree

enterGroundTerm

void enterGroundTerm(@NotNull
 OOLogicGrammarParser.GroundTermContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.groundTerm().

Parameters:

ctx - the parse tree

exitGroundTerm

void exitGroundTerm(@NotNull
 OOLogicGrammarParser.GroundTermContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.groundTerm().

Parameters:

ctx - the parse tree

enterCompareAtom

void enterCompareAtom(@NotNull
 OOLogicGrammarParser.CompareAtomContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.compareAtom().

Parameters:

ctx - the parse tree

exitCompareAtom

void exitCompareAtom(@NotNull
 OOLogicGrammarParser.CompareAtomContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.compareAtom().

Parameters:

ctx - the parse tree

enterOoPropertyName

void enterOoPropertyName(@NotNull
 OOLogicGrammarParser.OoPropertyNameContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.ooPropertyName().

Parameters:

ctx - the parse tree

exitOoPropertyName

void exitOoPropertyName(@NotNull
 OOLogicGrammarParser.OoPropertyNameContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.ooPropertyName().

Parameters:

ctx - the parse tree

enterOoPropertyValue

void enterOoPropertyValue(@NotNull
 OOLogicGrammarParser.OoPropertyValueContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.ooPropertyValue().

Parameters:

ctx - the parse tree

exitOoPropertyValue

void exitOoPropertyValue(@NotNull
 OOLogicGrammarParser.OoPropertyValueContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.ooPropertyValue().

Parameters:

ctx - the parse tree

enterAggregationWithGrouping

void enterAggregationWithGrouping(@NotNull
 OOLogicGrammarParser.AggregationWithGroupingContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.aggregationWithGrouping().

Parameters:

ctx - the parse tree

exitAggregationWithGrouping

void exitAggregationWithGrouping(@NotNull
 OOLogicGrammarParser.AggregationWithGroupingContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.aggregationWithGrouping().

Parameters:

ctx - the parse tree

enterFact

void enterFact(@NotNull
 OOLogicGrammarParser.FactContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.fact().

Parameters:

ctx - the parse tree

exitFact

void exitFact(@NotNull
 OOLogicGrammarParser.FactContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.fact().

Parameters:

ctx - the parse tree

enterAggregation

void enterAggregation(@NotNull
 OOLogicGrammarParser.AggregationContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.aggregation().

Parameters:

ctx - the parse tree

exitAggregation

void exitAggregation(@NotNull
 OOLogicGrammarParser.AggregationContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.aggregation().

Parameters:

ctx - the parse tree

enterReasoningRule

void enterReasoningRule(@NotNull
 OOLogicGrammarParser.ReasoningRuleContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.reasoningRule().

Parameters:

ctx - the parse tree

exitReasoningRule

void exitReasoningRule(@NotNull
 OOLogicGrammarParser.ReasoningRuleContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.reasoningRule().

Parameters:

ctx - the parse tree

enterBuiltinAtom

void enterBuiltinAtom(@NotNull
 OOLogicGrammarParser.BuiltinAtomContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.builtinAtom().

Parameters:

ctx - the parse tree

exitBuiltinAtom

void exitBuiltinAtom(@NotNull
 OOLogicGrammarParser.BuiltinAtomContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.builtinAtom().

Parameters:

ctx - the parse tree

enterLiteral

void enterLiteral(@NotNull
 OOLogicGrammarParser.LiteralContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.literal().

Parameters:

ctx - the parse tree

exitLiteral

void exitLiteral(@NotNull
 OOLogicGrammarParser.LiteralContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.literal().

Parameters:

ctx - the parse tree

enterQuotedString

void enterQuotedString(@NotNull
 OOLogicGrammarParser.QuotedStringContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.quotedString().

Parameters:

ctx - the parse tree

exitQuotedString

void exitQuotedString(@NotNull
 OOLogicGrammarParser.QuotedStringContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.quotedString().

Parameters:

ctx - the parse tree

enterTerm

void enterTerm(@NotNull
 OOLogicGrammarParser.TermContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.term().

Parameters:

ctx - the parse tree

exitTerm

void exitTerm(@NotNull
 OOLogicGrammarParser.TermContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.term().

Parameters:

ctx - the parse tree

enterAssignmentAtom

void enterAssignmentAtom(@NotNull
 OOLogicGrammarParser.AssignmentAtomContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.assignmentAtom().

Parameters:

ctx - the parse tree

exitAssignmentAtom

void exitAssignmentAtom(@NotNull
 OOLogicGrammarParser.AssignmentAtomContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.assignmentAtom().

Parameters:

ctx - the parse tree

enterSemicolon

void enterSemicolon(@NotNull
 OOLogicGrammarParser.SemicolonContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.semicolon().

Parameters:

ctx - the parse tree

exitSemicolon

void exitSemicolon(@NotNull
 OOLogicGrammarParser.SemicolonContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.semicolon().

Parameters:

ctx - the parse tree

enterVariables

void enterVariables(@NotNull
 OOLogicGrammarParser.VariablesContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.variables().

Parameters:

ctx - the parse tree

exitVariables

void exitVariables(@NotNull
 OOLogicGrammarParser.VariablesContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.variables().

Parameters:

ctx - the parse tree

enterSet

void enterSet(@NotNull
 OOLogicGrammarParser.SetContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.set().

Parameters:

ctx - the parse tree

exitSet

void exitSet(@NotNull
 OOLogicGrammarParser.SetContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.set().

Parameters:

ctx - the parse tree

enterExpression

void enterExpression(@NotNull
 OOLogicGrammarParser.ExpressionContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.expression().

Parameters:

ctx - the parse tree

exitExpression

void exitExpression(@NotNull
 OOLogicGrammarParser.ExpressionContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.expression().

Parameters:

ctx - the parse tree

enterQueries

void enterQueries(@NotNull
 OOLogicGrammarParser.QueriesContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.queries().

Parameters:

ctx - the parse tree

exitQueries

void exitQueries(@NotNull
 OOLogicGrammarParser.QueriesContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.queries().

Parameters:

ctx - the parse tree

enterWay

void enterWay(@NotNull
 OOLogicGrammarParser.WayContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.way().

Parameters:

ctx - the parse tree

exitWay

void exitWay(@NotNull
 OOLogicGrammarParser.WayContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.way().

Parameters:

ctx - the parse tree

enterHeadatoms

void enterHeadatoms(@NotNull
 OOLogicGrammarParser.HeadatomsContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.headatoms().

Parameters:

ctx - the parse tree

exitHeadatoms

void exitHeadatoms(@NotNull
 OOLogicGrammarParser.HeadatomsContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.headatoms().

Parameters:

ctx - the parse tree

enterSubway

void enterSubway(@NotNull
 OOLogicGrammarParser.SubwayContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.subway().

Parameters:

ctx - the parse tree

exitSubway

void exitSubway(@NotNull
 OOLogicGrammarParser.SubwayContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.subway().

Parameters:

ctx - the parse tree

enterOoPropertyAtom

void enterOoPropertyAtom(@NotNull
 OOLogicGrammarParser.OoPropertyAtomContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.ooPropertyAtom().

Parameters:

ctx - the parse tree

exitOoPropertyAtom

void exitOoPropertyAtom(@NotNull
 OOLogicGrammarParser.OoPropertyAtomContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.ooPropertyAtom().

Parameters:

ctx - the parse tree

enterPredicateAtom

void enterPredicateAtom(@NotNull
 OOLogicGrammarParser.PredicateAtomContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.predicateAtom().

Parameters:

ctx - the parse tree

exitPredicateAtom

void exitPredicateAtom(@NotNull
 OOLogicGrammarParser.PredicateAtomContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.predicateAtom().

Parameters:

ctx - the parse tree

enterOrList

void enterOrList(@NotNull
 OOLogicGrammarParser.OrListContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.orList().

Parameters:

ctx - the parse tree

exitOrList

void exitOrList(@NotNull
 OOLogicGrammarParser.OrListContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.orList().

Parameters:

ctx - the parse tree

enterVariable

void enterVariable(@NotNull
 OOLogicGrammarParser.VariableContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.variable().

Parameters:

ctx - the parse tree

exitVariable

void exitVariable(@NotNull
 OOLogicGrammarParser.VariableContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.variable().

Parameters:

ctx - the parse tree

enterOoProperty

void enterOoProperty(@NotNull
 OOLogicGrammarParser.OoPropertyContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.ooProperty().

Parameters:

ctx - the parse tree

exitOoProperty

void exitOoProperty(@NotNull
 OOLogicGrammarParser.OoPropertyContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.ooProperty().

Parameters:

ctx - the parse tree

enterArguments

void enterArguments(@NotNull
 OOLogicGrammarParser.ArgumentsContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.arguments().

Parameters:

ctx - the parse tree

exitArguments

void exitArguments(@NotNull
 OOLogicGrammarParser.ArgumentsContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.arguments().

Parameters:

ctx - the parse tree

enterConstraint

void enterConstraint(@NotNull
 OOLogicGrammarParser.ConstraintContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.constraint().

Parameters:

ctx - the parse tree

exitConstraint

void exitConstraint(@NotNull
 OOLogicGrammarParser.ConstraintContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.constraint().

Parameters:

ctx - the parse tree

enterAtom

void enterAtom(@NotNull
 OOLogicGrammarParser.AtomContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.atom().

Parameters:

ctx - the parse tree

exitAtom

void exitAtom(@NotNull
 OOLogicGrammarParser.AtomContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.atom().

Parameters:

ctx - the parse tree

enterOoProperties

void enterOoProperties(@NotNull
 OOLogicGrammarParser.OoPropertiesContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.ooProperties().

Parameters:

ctx - the parse tree

exitOoProperties

void exitOoProperties(@NotNull
 OOLogicGrammarParser.OoPropertiesContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.ooProperties().

Parameters:

ctx - the parse tree

enterImplies

void enterImplies(@NotNull
 OOLogicGrammarParser.ImpliesContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.implies().

Parameters:

ctx - the parse tree

exitImplies

void exitImplies(@NotNull
 OOLogicGrammarParser.ImpliesContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.implies().

Parameters:

ctx - the parse tree

enterAggregationWithoutGrouping

void enterAggregationWithoutGrouping(@NotNull
 OOLogicGrammarParser.AggregationWithoutGroupingContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.aggregationWithoutGrouping().

Parameters:

ctx - the parse tree

exitAggregationWithoutGrouping

void exitAggregationWithoutGrouping(@NotNull
 OOLogicGrammarParser.AggregationWithoutGroupingContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.aggregationWithoutGrouping().

Parameters:

ctx - the parse tree

enterPathExpression

void enterPathExpression(@NotNull
 OOLogicGrammarParser.PathExpressionContext ctx)

Enter a parse tree produced by OOLogicGrammarParser.pathExpression().

Parameters:

ctx - the parse tree

exitPathExpression

void exitPathExpression(@NotNull
 OOLogicGrammarParser.PathExpressionContext ctx)

Exit a parse tree produced by OOLogicGrammarParser.pathExpression().

Parameters:

ctx - the parse tree