public interface ModalWffListener
extends org.antlr.v4.runtime.tree.ParseTreeListener
ModalWffParser
.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 |
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 |
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 enterModalFormula(ModalWffParser.ModalFormulaContext ctx)
ModalWffParser.modalFormula()
.ctx
- the parse treevoid exitModalFormula(ModalWffParser.ModalFormulaContext ctx)
ModalWffParser.modalFormula()
.ctx
- the parse treevoid enterPar(ModalWffParser.ParContext ctx)
Par
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid exitPar(ModalWffParser.ParContext ctx)
Par
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid enterNeg(ModalWffParser.NegContext ctx)
Neg
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid exitNeg(ModalWffParser.NegContext ctx)
Neg
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid enterOr(ModalWffParser.OrContext ctx)
Or
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid exitOr(ModalWffParser.OrContext ctx)
Or
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid enterProp(ModalWffParser.PropContext ctx)
Prop
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid exitProp(ModalWffParser.PropContext ctx)
Prop
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid enterAnd(ModalWffParser.AndContext ctx)
And
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid exitAnd(ModalWffParser.AndContext ctx)
And
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid enterBox(ModalWffParser.BoxContext ctx)
Box
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid exitBox(ModalWffParser.BoxContext ctx)
Box
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid enterEq(ModalWffParser.EqContext ctx)
Eq
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid exitEq(ModalWffParser.EqContext ctx)
Eq
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid enterDia(ModalWffParser.DiaContext ctx)
Dia
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid exitDia(ModalWffParser.DiaContext ctx)
Dia
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid enterImp(ModalWffParser.ImpContext ctx)
Imp
labeled alternative in ModalWffParser.wff()
.ctx
- the parse treevoid exitImp(ModalWffParser.ImpContext ctx)
Imp
labeled alternative in ModalWffParser.wff()
.ctx
- the parse tree