public class FormulaBaseListener extends java.lang.Object implements FormulaListener
FormulaListener
,
which can be extended to create a listener which only needs to handle a subset
of the available methods.Constructor and Description |
---|
FormulaBaseListener() |
Modifier and Type | Method and Description |
---|---|
void |
enterAnd(FormulaParser.AndContext ctx)
Enter a parse tree produced by the
And
labeled alternative in FormulaParser.wff() . |
void |
enterEq(FormulaParser.EqContext ctx)
Enter a parse tree produced by the
Eq
labeled alternative in FormulaParser.wff() . |
void |
enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx) |
void |
enterFormula(FormulaParser.FormulaContext ctx)
Enter a parse tree produced by
FormulaParser.formula() . |
void |
enterImp(FormulaParser.ImpContext ctx)
Enter a parse tree produced by the
Imp
labeled alternative in FormulaParser.wff() . |
void |
enterNeg(FormulaParser.NegContext ctx)
Enter a parse tree produced by the
Neg
labeled alternative in FormulaParser.wff() . |
void |
enterOr(FormulaParser.OrContext ctx)
Enter a parse tree produced by the
Or
labeled alternative in FormulaParser.wff() . |
void |
enterPar(FormulaParser.ParContext ctx)
Enter a parse tree produced by the
Par
labeled alternative in FormulaParser.wff() . |
void |
enterProp(FormulaParser.PropContext ctx)
Enter a parse tree produced by the
Prop
labeled alternative in FormulaParser.wff() . |
void |
exitAnd(FormulaParser.AndContext ctx)
Exit a parse tree produced by the
And
labeled alternative in FormulaParser.wff() . |
void |
exitEq(FormulaParser.EqContext ctx)
Exit a parse tree produced by the
Eq
labeled alternative in FormulaParser.wff() . |
void |
exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx) |
void |
exitFormula(FormulaParser.FormulaContext ctx)
Exit a parse tree produced by
FormulaParser.formula() . |
void |
exitImp(FormulaParser.ImpContext ctx)
Exit a parse tree produced by the
Imp
labeled alternative in FormulaParser.wff() . |
void |
exitNeg(FormulaParser.NegContext ctx)
Exit a parse tree produced by the
Neg
labeled alternative in FormulaParser.wff() . |
void |
exitOr(FormulaParser.OrContext ctx)
Exit a parse tree produced by the
Or
labeled alternative in FormulaParser.wff() . |
void |
exitPar(FormulaParser.ParContext ctx)
Exit a parse tree produced by the
Par
labeled alternative in FormulaParser.wff() . |
void |
exitProp(FormulaParser.PropContext ctx)
Exit a parse tree produced by the
Prop
labeled alternative in FormulaParser.wff() . |
void |
visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node) |
void |
visitTerminal(org.antlr.v4.runtime.tree.TerminalNode node) |
public void enterFormula(FormulaParser.FormulaContext ctx)
FormulaParser.formula()
.
The default implementation does nothing.
enterFormula
in interface FormulaListener
ctx
- the parse treepublic void exitFormula(FormulaParser.FormulaContext ctx)
FormulaParser.formula()
.
The default implementation does nothing.
exitFormula
in interface FormulaListener
ctx
- the parse treepublic void enterPar(FormulaParser.ParContext ctx)
Par
labeled alternative in FormulaParser.wff()
.
The default implementation does nothing.
enterPar
in interface FormulaListener
ctx
- the parse treepublic void exitPar(FormulaParser.ParContext ctx)
Par
labeled alternative in FormulaParser.wff()
.
The default implementation does nothing.
exitPar
in interface FormulaListener
ctx
- the parse treepublic void enterNeg(FormulaParser.NegContext ctx)
Neg
labeled alternative in FormulaParser.wff()
.
The default implementation does nothing.
enterNeg
in interface FormulaListener
ctx
- the parse treepublic void exitNeg(FormulaParser.NegContext ctx)
Neg
labeled alternative in FormulaParser.wff()
.
The default implementation does nothing.
exitNeg
in interface FormulaListener
ctx
- the parse treepublic void enterOr(FormulaParser.OrContext ctx)
Or
labeled alternative in FormulaParser.wff()
.
The default implementation does nothing.
enterOr
in interface FormulaListener
ctx
- the parse treepublic void exitOr(FormulaParser.OrContext ctx)
Or
labeled alternative in FormulaParser.wff()
.
The default implementation does nothing.
exitOr
in interface FormulaListener
ctx
- the parse treepublic void enterProp(FormulaParser.PropContext ctx)
Prop
labeled alternative in FormulaParser.wff()
.
The default implementation does nothing.
enterProp
in interface FormulaListener
ctx
- the parse treepublic void exitProp(FormulaParser.PropContext ctx)
Prop
labeled alternative in FormulaParser.wff()
.
The default implementation does nothing.
exitProp
in interface FormulaListener
ctx
- the parse treepublic void enterAnd(FormulaParser.AndContext ctx)
And
labeled alternative in FormulaParser.wff()
.
The default implementation does nothing.
enterAnd
in interface FormulaListener
ctx
- the parse treepublic void exitAnd(FormulaParser.AndContext ctx)
And
labeled alternative in FormulaParser.wff()
.
The default implementation does nothing.
exitAnd
in interface FormulaListener
ctx
- the parse treepublic void enterEq(FormulaParser.EqContext ctx)
Eq
labeled alternative in FormulaParser.wff()
.
The default implementation does nothing.
enterEq
in interface FormulaListener
ctx
- the parse treepublic void exitEq(FormulaParser.EqContext ctx)
Eq
labeled alternative in FormulaParser.wff()
.
The default implementation does nothing.
exitEq
in interface FormulaListener
ctx
- the parse treepublic void enterImp(FormulaParser.ImpContext ctx)
Imp
labeled alternative in FormulaParser.wff()
.
The default implementation does nothing.
enterImp
in interface FormulaListener
ctx
- the parse treepublic void exitImp(FormulaParser.ImpContext ctx)
Imp
labeled alternative in FormulaParser.wff()
.
The default implementation does nothing.
exitImp
in interface FormulaListener
ctx
- the parse treepublic void enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
The default implementation does nothing.
enterEveryRule
in interface org.antlr.v4.runtime.tree.ParseTreeListener
public void exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
The default implementation does nothing.
exitEveryRule
in interface org.antlr.v4.runtime.tree.ParseTreeListener
public void visitTerminal(org.antlr.v4.runtime.tree.TerminalNode node)
The default implementation does nothing.
visitTerminal
in interface org.antlr.v4.runtime.tree.ParseTreeListener
public void visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node)
The default implementation does nothing.
visitErrorNode
in interface org.antlr.v4.runtime.tree.ParseTreeListener