public class ModalWffBaseListener extends java.lang.Object implements ModalWffListener
ModalWffListener
,
which can be extended to create a listener which only needs to handle a subset
of the available methods.Constructor and Description |
---|
ModalWffBaseListener() |
Modifier and Type | Method and Description |
---|---|
void |
enterAnd(ModalWffParser.AndContext ctx)
Enter a parse tree produced by the
And
labeled alternative in ModalWffParser.wff() . |
void |
enterBox(ModalWffParser.BoxContext ctx)
Enter a parse tree produced by the
Box
labeled alternative in ModalWffParser.wff() . |
void |
enterDia(ModalWffParser.DiaContext ctx)
Enter a parse tree produced by the
Dia
labeled alternative in ModalWffParser.wff() . |
void |
enterEq(ModalWffParser.EqContext ctx)
Enter a parse tree produced by the
Eq
labeled alternative in ModalWffParser.wff() . |
void |
enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx) |
void |
enterImp(ModalWffParser.ImpContext ctx)
Enter a parse tree produced by the
Imp
labeled alternative in ModalWffParser.wff() . |
void |
enterModalFormula(ModalWffParser.ModalFormulaContext ctx)
Enter a parse tree produced by
ModalWffParser.modalFormula() . |
void |
enterNeg(ModalWffParser.NegContext ctx)
Enter a parse tree produced by the
Neg
labeled alternative in ModalWffParser.wff() . |
void |
enterOr(ModalWffParser.OrContext ctx)
Enter a parse tree produced by the
Or
labeled alternative in ModalWffParser.wff() . |
void |
enterPar(ModalWffParser.ParContext ctx)
Enter a parse tree produced by the
Par
labeled alternative in ModalWffParser.wff() . |
void |
enterProp(ModalWffParser.PropContext ctx)
Enter a parse tree produced by the
Prop
labeled alternative in ModalWffParser.wff() . |
void |
exitAnd(ModalWffParser.AndContext ctx)
Exit a parse tree produced by the
And
labeled alternative in ModalWffParser.wff() . |
void |
exitBox(ModalWffParser.BoxContext ctx)
Exit a parse tree produced by the
Box
labeled alternative in ModalWffParser.wff() . |
void |
exitDia(ModalWffParser.DiaContext ctx)
Exit a parse tree produced by the
Dia
labeled alternative in ModalWffParser.wff() . |
void |
exitEq(ModalWffParser.EqContext ctx)
Exit a parse tree produced by the
Eq
labeled alternative in ModalWffParser.wff() . |
void |
exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx) |
void |
exitImp(ModalWffParser.ImpContext ctx)
Exit a parse tree produced by the
Imp
labeled alternative in ModalWffParser.wff() . |
void |
exitModalFormula(ModalWffParser.ModalFormulaContext ctx)
Exit a parse tree produced by
ModalWffParser.modalFormula() . |
void |
exitNeg(ModalWffParser.NegContext ctx)
Exit a parse tree produced by the
Neg
labeled alternative in ModalWffParser.wff() . |
void |
exitOr(ModalWffParser.OrContext ctx)
Exit a parse tree produced by the
Or
labeled alternative in ModalWffParser.wff() . |
void |
exitPar(ModalWffParser.ParContext ctx)
Exit a parse tree produced by the
Par
labeled alternative in ModalWffParser.wff() . |
void |
exitProp(ModalWffParser.PropContext ctx)
Exit a parse tree produced by the
Prop
labeled alternative in ModalWffParser.wff() . |
void |
visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node) |
void |
visitTerminal(org.antlr.v4.runtime.tree.TerminalNode node) |
public void enterModalFormula(ModalWffParser.ModalFormulaContext ctx)
ModalWffParser.modalFormula()
.
The default implementation does nothing.
enterModalFormula
in interface ModalWffListener
ctx
- the parse treepublic void exitModalFormula(ModalWffParser.ModalFormulaContext ctx)
ModalWffParser.modalFormula()
.
The default implementation does nothing.
exitModalFormula
in interface ModalWffListener
ctx
- the parse treepublic void enterPar(ModalWffParser.ParContext ctx)
Par
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
enterPar
in interface ModalWffListener
ctx
- the parse treepublic void exitPar(ModalWffParser.ParContext ctx)
Par
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
exitPar
in interface ModalWffListener
ctx
- the parse treepublic void enterNeg(ModalWffParser.NegContext ctx)
Neg
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
enterNeg
in interface ModalWffListener
ctx
- the parse treepublic void exitNeg(ModalWffParser.NegContext ctx)
Neg
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
exitNeg
in interface ModalWffListener
ctx
- the parse treepublic void enterOr(ModalWffParser.OrContext ctx)
Or
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
enterOr
in interface ModalWffListener
ctx
- the parse treepublic void exitOr(ModalWffParser.OrContext ctx)
Or
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
exitOr
in interface ModalWffListener
ctx
- the parse treepublic void enterProp(ModalWffParser.PropContext ctx)
Prop
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
enterProp
in interface ModalWffListener
ctx
- the parse treepublic void exitProp(ModalWffParser.PropContext ctx)
Prop
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
exitProp
in interface ModalWffListener
ctx
- the parse treepublic void enterAnd(ModalWffParser.AndContext ctx)
And
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
enterAnd
in interface ModalWffListener
ctx
- the parse treepublic void exitAnd(ModalWffParser.AndContext ctx)
And
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
exitAnd
in interface ModalWffListener
ctx
- the parse treepublic void enterBox(ModalWffParser.BoxContext ctx)
Box
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
enterBox
in interface ModalWffListener
ctx
- the parse treepublic void exitBox(ModalWffParser.BoxContext ctx)
Box
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
exitBox
in interface ModalWffListener
ctx
- the parse treepublic void enterEq(ModalWffParser.EqContext ctx)
Eq
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
enterEq
in interface ModalWffListener
ctx
- the parse treepublic void exitEq(ModalWffParser.EqContext ctx)
Eq
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
exitEq
in interface ModalWffListener
ctx
- the parse treepublic void enterDia(ModalWffParser.DiaContext ctx)
Dia
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
enterDia
in interface ModalWffListener
ctx
- the parse treepublic void exitDia(ModalWffParser.DiaContext ctx)
Dia
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
exitDia
in interface ModalWffListener
ctx
- the parse treepublic void enterImp(ModalWffParser.ImpContext ctx)
Imp
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
enterImp
in interface ModalWffListener
ctx
- the parse treepublic void exitImp(ModalWffParser.ImpContext ctx)
Imp
labeled alternative in ModalWffParser.wff()
.
The default implementation does nothing.
exitImp
in interface ModalWffListener
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