jtabwbx.modal.parser

Interface ModalWffListener

All Superinterfaces:

org.antlr.v4.runtime.tree.ParseTreeListener

All Known Implementing Classes:

ModalWffBaseListener

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

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

Method Summary

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

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

enterEveryRule, exitEveryRule, visitErrorNode, visitTerminal

Method Detail

enterModalFormula

void enterModalFormula(ModalWffParser.ModalFormulaContext ctx)

Enter a parse tree produced by ModalWffParser.modalFormula().

Parameters:

ctx - the parse tree

exitModalFormula

void exitModalFormula(ModalWffParser.ModalFormulaContext ctx)

Exit a parse tree produced by ModalWffParser.modalFormula().

Parameters:

ctx - the parse tree

enterPar

void enterPar(ModalWffParser.ParContext ctx)

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

Parameters:

ctx - the parse tree

exitPar

void exitPar(ModalWffParser.ParContext ctx)

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

Parameters:

ctx - the parse tree

enterNeg

void enterNeg(ModalWffParser.NegContext ctx)

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

Parameters:

ctx - the parse tree

exitNeg

void exitNeg(ModalWffParser.NegContext ctx)

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

Parameters:

ctx - the parse tree

enterOr

void enterOr(ModalWffParser.OrContext ctx)

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

Parameters:

ctx - the parse tree

exitOr

void exitOr(ModalWffParser.OrContext ctx)

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

Parameters:

ctx - the parse tree

enterProp

void enterProp(ModalWffParser.PropContext ctx)

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

Parameters:

ctx - the parse tree

exitProp

void exitProp(ModalWffParser.PropContext ctx)

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

Parameters:

ctx - the parse tree

enterAnd

void enterAnd(ModalWffParser.AndContext ctx)

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

Parameters:

ctx - the parse tree

exitAnd

void exitAnd(ModalWffParser.AndContext ctx)

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

Parameters:

ctx - the parse tree

enterBox

void enterBox(ModalWffParser.BoxContext ctx)

Enter a parse tree produced by the Box labeled alternative in ModalWffParser.wff().

Parameters:

ctx - the parse tree

exitBox

void exitBox(ModalWffParser.BoxContext ctx)

Exit a parse tree produced by the Box labeled alternative in ModalWffParser.wff().

Parameters:

ctx - the parse tree

enterEq

void enterEq(ModalWffParser.EqContext ctx)

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

Parameters:

ctx - the parse tree

exitEq

void exitEq(ModalWffParser.EqContext ctx)

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

Parameters:

ctx - the parse tree

enterDia

void enterDia(ModalWffParser.DiaContext ctx)

Enter a parse tree produced by the Dia labeled alternative in ModalWffParser.wff().

Parameters:

ctx - the parse tree

exitDia

void exitDia(ModalWffParser.DiaContext ctx)

Exit a parse tree produced by the Dia labeled alternative in ModalWffParser.wff().

Parameters:

ctx - the parse tree

enterImp

void enterImp(ModalWffParser.ImpContext ctx)

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

Parameters:

ctx - the parse tree

exitImp

void exitImp(ModalWffParser.ImpContext ctx)

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

Parameters:

ctx - the parse tree