public interface FormulaListener
extends org.antlr.v4.runtime.tree.ParseTreeListener
FormulaParser
.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 |
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 |
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 enterFormula(FormulaParser.FormulaContext ctx)
FormulaParser.formula()
.ctx
- the parse treevoid exitFormula(FormulaParser.FormulaContext ctx)
FormulaParser.formula()
.ctx
- the parse treevoid enterPar(FormulaParser.ParContext ctx)
Par
labeled alternative in FormulaParser.wff()
.ctx
- the parse treevoid exitPar(FormulaParser.ParContext ctx)
Par
labeled alternative in FormulaParser.wff()
.ctx
- the parse treevoid enterNeg(FormulaParser.NegContext ctx)
Neg
labeled alternative in FormulaParser.wff()
.ctx
- the parse treevoid exitNeg(FormulaParser.NegContext ctx)
Neg
labeled alternative in FormulaParser.wff()
.ctx
- the parse treevoid enterOr(FormulaParser.OrContext ctx)
Or
labeled alternative in FormulaParser.wff()
.ctx
- the parse treevoid exitOr(FormulaParser.OrContext ctx)
Or
labeled alternative in FormulaParser.wff()
.ctx
- the parse treevoid enterProp(FormulaParser.PropContext ctx)
Prop
labeled alternative in FormulaParser.wff()
.ctx
- the parse treevoid exitProp(FormulaParser.PropContext ctx)
Prop
labeled alternative in FormulaParser.wff()
.ctx
- the parse treevoid enterAnd(FormulaParser.AndContext ctx)
And
labeled alternative in FormulaParser.wff()
.ctx
- the parse treevoid exitAnd(FormulaParser.AndContext ctx)
And
labeled alternative in FormulaParser.wff()
.ctx
- the parse treevoid enterEq(FormulaParser.EqContext ctx)
Eq
labeled alternative in FormulaParser.wff()
.ctx
- the parse treevoid exitEq(FormulaParser.EqContext ctx)
Eq
labeled alternative in FormulaParser.wff()
.ctx
- the parse treevoid enterImp(FormulaParser.ImpContext ctx)
Imp
labeled alternative in FormulaParser.wff()
.ctx
- the parse treevoid exitImp(FormulaParser.ImpContext ctx)
Imp
labeled alternative in FormulaParser.wff()
.ctx
- the parse tree