Package com.semedy.reasoner.parser.oologic

Class OOLogicListener

java.lang.Object

com.semedy.reasoner.parser.oologic.OOLogicListener

All Implemented Interfaces:

OOLogicGrammarListener, org.antlr.v4.runtime.tree.ParseTreeListener

public class OOLogicListener
extends Object
implements OOLogicGrammarListener

Author:

angele

Constructor Summary

Constructors

Constructor	Description
OOLogicListener(Collection<Rule> parsedRules, Collection<Literal> parsedFacts)
OOLogicListener(Collection<Rule> parsedRules, Collection<Literal> parsedFacts, SymbolTable symbols, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins, InvertedIndices invertedIndex)

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	enterEveryRule(org.antlr.v4.runtime.ParserRuleContext arg0)
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	enterOoSubClassGroundAtom(OOLogicGrammarParser.OoSubClassAtomContext ctx)
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	exitEveryRule(org.antlr.v4.runtime.ParserRuleContext arg0)
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	exitOoSubClassGroundAtom(OOLogicGrammarParser.OoSubClassAtomContext ctx)
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().
Exception	getException()
void	visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode arg0)
void	visitTerminal(org.antlr.v4.runtime.tree.TerminalNode arg0)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

OOLogicListener

public OOLogicListener(Collection<Rule> parsedRules,
 Collection<Literal> parsedFacts)

OOLogicListener

public OOLogicListener(Collection<Rule> parsedRules,
 Collection<Literal> parsedFacts,
 SymbolTable symbols,
 ExternalDataTypeProvider dataTypeProvider,
 BuiltinProvider builtins,
 InvertedIndices invertedIndex)

Method Details

getException

public Exception getException()

enterEveryRule

public void enterEveryRule(org.antlr.v4.runtime.ParserRuleContext arg0)

Specified by:

enterEveryRule in interface org.antlr.v4.runtime.tree.ParseTreeListener

exitEveryRule

public void exitEveryRule(org.antlr.v4.runtime.ParserRuleContext arg0)

Specified by:

exitEveryRule in interface org.antlr.v4.runtime.tree.ParseTreeListener

visitErrorNode

public void visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode arg0)

Specified by:

visitErrorNode in interface org.antlr.v4.runtime.tree.ParseTreeListener

visitTerminal

public void visitTerminal(org.antlr.v4.runtime.tree.TerminalNode arg0)

Specified by:

visitTerminal in interface org.antlr.v4.runtime.tree.ParseTreeListener

exitReasoningRule

public void exitReasoningRule(OOLogicGrammarParser.ReasoningRuleContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitReasoningRule in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterFacts_and_rules

public void enterFacts_and_rules(OOLogicGrammarParser.Facts_and_rulesContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterFacts_and_rules in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitFacts_and_rules

public void exitFacts_and_rules(OOLogicGrammarParser.Facts_and_rulesContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitFacts_and_rules in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterOoMemberAtom

public void enterOoMemberAtom(OOLogicGrammarParser.OoMemberAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterOoMemberAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitOoMemberAtom

public void exitOoMemberAtom(OOLogicGrammarParser.OoMemberAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitOoMemberAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterCompareAtom

public void enterCompareAtom(OOLogicGrammarParser.CompareAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterCompareAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterOoSubClassAtom

public void enterOoSubClassAtom(OOLogicGrammarParser.OoSubClassAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterOoSubClassAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitOoSubClassAtom

public void exitOoSubClassAtom(OOLogicGrammarParser.OoSubClassAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitOoSubClassAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterFact

public void enterFact(OOLogicGrammarParser.FactContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterFact in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitFact

public void exitFact(OOLogicGrammarParser.FactContext ctx)
              throws org.antlr.v4.runtime.RecognitionException

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitFact in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

Throws:

org.antlr.v4.runtime.RecognitionException

exitAtom

public void exitAtom(OOLogicGrammarParser.AtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterLiteral

public void enterLiteral(OOLogicGrammarParser.LiteralContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterLiteral in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitLiteral

public void exitLiteral(OOLogicGrammarParser.LiteralContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitLiteral in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitOoPropertyAtom

public void exitOoPropertyAtom(OOLogicGrammarParser.OoPropertyAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitOoPropertyAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterTerm

public void enterTerm(OOLogicGrammarParser.TermContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterTerm in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitTerm

public void exitTerm(OOLogicGrammarParser.TermContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitTerm in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterOoPropertyAtom

public void enterOoPropertyAtom(OOLogicGrammarParser.OoPropertyAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterOoPropertyAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterPredicateAtom

public void enterPredicateAtom(OOLogicGrammarParser.PredicateAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterPredicateAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitPredicateAtom

public void exitPredicateAtom(OOLogicGrammarParser.PredicateAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitPredicateAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterOoSubClassGroundAtom

public void enterOoSubClassGroundAtom(OOLogicGrammarParser.OoSubClassAtomContext ctx)

exitOoSubClassGroundAtom

public void exitOoSubClassGroundAtom(OOLogicGrammarParser.OoSubClassAtomContext ctx)

enterVariable

public void enterVariable(OOLogicGrammarParser.VariableContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterVariable in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitVariable

public void exitVariable(OOLogicGrammarParser.VariableContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitVariable in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterQuotedString

public void enterQuotedString(OOLogicGrammarParser.QuotedStringContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterQuotedString in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitQuotedString

public void exitQuotedString(OOLogicGrammarParser.QuotedStringContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitQuotedString in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterArguments

public void enterArguments(OOLogicGrammarParser.ArgumentsContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterArguments in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitArguments

public void exitArguments(OOLogicGrammarParser.ArgumentsContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitArguments in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterAtom

public void enterAtom(OOLogicGrammarParser.AtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterFunction

public void enterFunction(OOLogicGrammarParser.FunctionContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterFunction in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitFunction

public void exitFunction(OOLogicGrammarParser.FunctionContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitFunction in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterModule

public void enterModule(OOLogicGrammarParser.ModuleContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterModule in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitModule

public void exitModule(OOLogicGrammarParser.ModuleContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitModule in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterQuery

public void enterQuery(OOLogicGrammarParser.QueryContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterQuery in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitQuery

public void exitQuery(OOLogicGrammarParser.QueryContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitQuery in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterAtomWOModule

public void enterAtomWOModule(OOLogicGrammarParser.AtomWOModuleContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterAtomWOModule in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitAtomWOModule

public void exitAtomWOModule(OOLogicGrammarParser.AtomWOModuleContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitAtomWOModule in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterOoProperty

public void enterOoProperty(OOLogicGrammarParser.OoPropertyContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterOoProperty in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitOoProperty

public void exitOoProperty(OOLogicGrammarParser.OoPropertyContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitOoProperty in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterOoProperties

public void enterOoProperties(OOLogicGrammarParser.OoPropertiesContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterOoProperties in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitOoProperties

public void exitOoProperties(OOLogicGrammarParser.OoPropertiesContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitOoProperties in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterOoPropertyValue

public void enterOoPropertyValue(OOLogicGrammarParser.OoPropertyValueContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterOoPropertyValue in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitOoPropertyValue

public void exitOoPropertyValue(OOLogicGrammarParser.OoPropertyValueContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitOoPropertyValue in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterLiterals

public void enterLiterals(OOLogicGrammarParser.LiteralsContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterLiterals in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitLiterals

public void exitLiterals(OOLogicGrammarParser.LiteralsContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitLiterals in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterReasoningRule

public void enterReasoningRule(OOLogicGrammarParser.ReasoningRuleContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterReasoningRule in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterRuleAtom

public void enterRuleAtom(OOLogicGrammarParser.RuleAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterRuleAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitRuleAtom

public void exitRuleAtom(OOLogicGrammarParser.RuleAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitRuleAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterAssignmentAtom

public void enterAssignmentAtom(OOLogicGrammarParser.AssignmentAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterAssignmentAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitAssignmentAtom

public void exitAssignmentAtom(OOLogicGrammarParser.AssignmentAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitAssignmentAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterExpression

public void enterExpression(OOLogicGrammarParser.ExpressionContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterExpression in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitExpression

public void exitExpression(OOLogicGrammarParser.ExpressionContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitExpression in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterSimpleExpression

public void enterSimpleExpression(OOLogicGrammarParser.SimpleExpressionContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterSimpleExpression in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitSimpleExpression

public void exitSimpleExpression(OOLogicGrammarParser.SimpleExpressionContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitSimpleExpression in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterGroundTerm

public void enterGroundTerm(OOLogicGrammarParser.GroundTermContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterGroundTerm in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitGroundTerm

public void exitGroundTerm(OOLogicGrammarParser.GroundTermContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitGroundTerm in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterNumber

public void enterNumber(OOLogicGrammarParser.NumberContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterNumber in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitNumber

public void exitNumber(OOLogicGrammarParser.NumberContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitNumber in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterQueries

public void enterQueries(OOLogicGrammarParser.QueriesContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterQueries in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitQueries

public void exitQueries(OOLogicGrammarParser.QueriesContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitQueries in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterImplies

public void enterImplies(OOLogicGrammarParser.ImpliesContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterImplies in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitImplies

public void exitImplies(OOLogicGrammarParser.ImpliesContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitImplies in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterSemicolon

public void enterSemicolon(OOLogicGrammarParser.SemicolonContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterSemicolon in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitSemicolon

public void exitSemicolon(OOLogicGrammarParser.SemicolonContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitSemicolon in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterOrList

public void enterOrList(OOLogicGrammarParser.OrListContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterOrList in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitOrList

public void exitOrList(OOLogicGrammarParser.OrListContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitOrList in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterAggregation

public void enterAggregation(OOLogicGrammarParser.AggregationContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterAggregation in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitAggregation

public void exitAggregation(OOLogicGrammarParser.AggregationContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitAggregation in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterAggregationWithoutGrouping

public void enterAggregationWithoutGrouping(OOLogicGrammarParser.AggregationWithoutGroupingContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterAggregationWithoutGrouping in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitAggregationWithoutGrouping

public void exitAggregationWithoutGrouping(OOLogicGrammarParser.AggregationWithoutGroupingContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitAggregationWithoutGrouping in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterAggregationWithGrouping

public void enterAggregationWithGrouping(OOLogicGrammarParser.AggregationWithGroupingContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterAggregationWithGrouping in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitAggregationWithGrouping

public void exitAggregationWithGrouping(OOLogicGrammarParser.AggregationWithGroupingContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitAggregationWithGrouping in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterHeadatoms

public void enterHeadatoms(OOLogicGrammarParser.HeadatomsContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterHeadatoms in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitHeadatoms

public void exitHeadatoms(OOLogicGrammarParser.HeadatomsContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitHeadatoms in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterPartof

public void enterPartof(OOLogicGrammarParser.PartofContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterPartof in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitPartof

public void exitPartof(OOLogicGrammarParser.PartofContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitPartof in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterConstraints

public void enterConstraints(OOLogicGrammarParser.ConstraintsContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterConstraints in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitConstraints

public void exitConstraints(OOLogicGrammarParser.ConstraintsContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitConstraints in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterConstraint

public void enterConstraint(OOLogicGrammarParser.ConstraintContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterConstraint in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitConstraint

public void exitConstraint(OOLogicGrammarParser.ConstraintContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitConstraint in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterVariables

public void enterVariables(OOLogicGrammarParser.VariablesContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterVariables in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitVariables

public void exitVariables(OOLogicGrammarParser.VariablesContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitVariables in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterBuiltinAtom

public void enterBuiltinAtom(OOLogicGrammarParser.BuiltinAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterBuiltinAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitBuiltinAtom

public void exitBuiltinAtom(OOLogicGrammarParser.BuiltinAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitBuiltinAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterOoPropertyName

public void enterOoPropertyName(OOLogicGrammarParser.OoPropertyNameContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterOoPropertyName in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitOoPropertyName

public void exitOoPropertyName(OOLogicGrammarParser.OoPropertyNameContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitOoPropertyName in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterInputVariables

public void enterInputVariables(OOLogicGrammarParser.InputVariablesContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterInputVariables in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitInputVariables

public void exitInputVariables(OOLogicGrammarParser.InputVariablesContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitInputVariables in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterPath

public void enterPath(OOLogicGrammarParser.PathContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterPath in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitPath

public void exitPath(OOLogicGrammarParser.PathContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitPath in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitSubway

public void exitSubway(OOLogicGrammarParser.SubwayContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitSubway in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterSet

public void enterSet(OOLogicGrammarParser.SetContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterSet in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitSet

public void exitSet(OOLogicGrammarParser.SetContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitSet in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterEnumeration

public void enterEnumeration(OOLogicGrammarParser.EnumerationContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterEnumeration in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitEnumeration

public void exitEnumeration(OOLogicGrammarParser.EnumerationContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitEnumeration in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterBoolExpression

public void enterBoolExpression(OOLogicGrammarParser.BoolExpressionContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterBoolExpression in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitBoolExpression

public void exitBoolExpression(OOLogicGrammarParser.BoolExpressionContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitBoolExpression in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitCompareAtom

public void exitCompareAtom(OOLogicGrammarParser.CompareAtomContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitCompareAtom in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterSimpleBoolExpression

public void enterSimpleBoolExpression(OOLogicGrammarParser.SimpleBoolExpressionContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterSimpleBoolExpression in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitSimpleBoolExpression

public void exitSimpleBoolExpression(OOLogicGrammarParser.SimpleBoolExpressionContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitSimpleBoolExpression in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterArgument

public void enterArgument(OOLogicGrammarParser.ArgumentContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterArgument in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitArgument

public void exitArgument(OOLogicGrammarParser.ArgumentContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitArgument in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterPathExpression

public void enterPathExpression(OOLogicGrammarParser.PathExpressionContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterPathExpression in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitPathExpression

public void exitPathExpression(OOLogicGrammarParser.PathExpressionContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitPathExpression in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterEdge

public void enterEdge(OOLogicGrammarParser.EdgeContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterEdge in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitEdge

public void exitEdge(OOLogicGrammarParser.EdgeContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitEdge in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterWay

public void enterWay(OOLogicGrammarParser.WayContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterWay in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

exitWay

public void exitWay(OOLogicGrammarParser.WayContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

exitWay in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree

enterSubway

public void enterSubway(OOLogicGrammarParser.SubwayContext ctx)

Description copied from interface: OOLogicGrammarListener

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

Specified by:

enterSubway in interface OOLogicGrammarListener

Parameters:

ctx - the parse tree