jtabwbx.prop.parser

Interface FormulaListener

All Superinterfaces:

org.antlr.v4.runtime.tree.ParseTreeListener

All Known Implementing Classes:

FormulaBaseListener

public interface FormulaListener
extends org.antlr.v4.runtime.tree.ParseTreeListener

This interface defines a complete listener for a parse tree produced by FormulaParser.

Method Summary

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().

Methods inherited from interface org.antlr.v4.runtime.tree.ParseTreeListener

enterEveryRule, exitEveryRule, visitErrorNode, visitTerminal

Method Detail

enterFormula

void enterFormula(FormulaParser.FormulaContext ctx)

Enter a parse tree produced by FormulaParser.formula().

Parameters:

ctx - the parse tree

exitFormula

void exitFormula(FormulaParser.FormulaContext ctx)

Exit a parse tree produced by FormulaParser.formula().

Parameters:

ctx - the parse tree

enterPar

void enterPar(FormulaParser.ParContext ctx)

Enter a parse tree produced by the Par labeled alternative in FormulaParser.wff().

Parameters:

ctx - the parse tree

exitPar

void exitPar(FormulaParser.ParContext ctx)

Exit a parse tree produced by the Par labeled alternative in FormulaParser.wff().

Parameters:

ctx - the parse tree

enterNeg

void enterNeg(FormulaParser.NegContext ctx)

Enter a parse tree produced by the Neg labeled alternative in FormulaParser.wff().

Parameters:

ctx - the parse tree

exitNeg

void exitNeg(FormulaParser.NegContext ctx)

Exit a parse tree produced by the Neg labeled alternative in FormulaParser.wff().

Parameters:

ctx - the parse tree

enterOr

void enterOr(FormulaParser.OrContext ctx)

Enter a parse tree produced by the Or labeled alternative in FormulaParser.wff().

Parameters:

ctx - the parse tree

exitOr

void exitOr(FormulaParser.OrContext ctx)

Exit a parse tree produced by the Or labeled alternative in FormulaParser.wff().

Parameters:

ctx - the parse tree

enterProp

void enterProp(FormulaParser.PropContext ctx)

Enter a parse tree produced by the Prop labeled alternative in FormulaParser.wff().

Parameters:

ctx - the parse tree

exitProp

void exitProp(FormulaParser.PropContext ctx)

Exit a parse tree produced by the Prop labeled alternative in FormulaParser.wff().

Parameters:

ctx - the parse tree

enterAnd

void enterAnd(FormulaParser.AndContext ctx)

Enter a parse tree produced by the And labeled alternative in FormulaParser.wff().

Parameters:

ctx - the parse tree

exitAnd

void exitAnd(FormulaParser.AndContext ctx)

Exit a parse tree produced by the And labeled alternative in FormulaParser.wff().

Parameters:

ctx - the parse tree

enterEq

void enterEq(FormulaParser.EqContext ctx)

Enter a parse tree produced by the Eq labeled alternative in FormulaParser.wff().

Parameters:

ctx - the parse tree

exitEq

void exitEq(FormulaParser.EqContext ctx)

Exit a parse tree produced by the Eq labeled alternative in FormulaParser.wff().

Parameters:

ctx - the parse tree

enterImp

void enterImp(FormulaParser.ImpContext ctx)

Enter a parse tree produced by the Imp labeled alternative in FormulaParser.wff().

Parameters:

ctx - the parse tree

exitImp

void exitImp(FormulaParser.ImpContext ctx)

Exit a parse tree produced by the Imp labeled alternative in FormulaParser.wff().

Parameters:

ctx - the parse tree