ModalWffBaseListener

java.lang.Object
- jtabwbx.modal.parser.ModalWffBaseListener

All Implemented Interfaces:

ModalWffListener, org.antlr.v4.runtime.tree.ParseTreeListener
```
public class ModalWffBaseListener
extends java.lang.Object
implements ModalWffListener
```
This class provides an empty implementation of ModalWffListener, which can be extended to create a listener which only needs to handle a subset of the available methods.

Constructor Summary

Constructors
Constructor and Description

ModalWffBaseListener()

Constructors
Constructor and Description
`ModalWffBaseListener()`

Method Summary

All Methods Instance Methods Concrete Methods
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)`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - ModalWffBaseListener
```
public ModalWffBaseListener()
```
- Method Detail
  - enterModalFormula
```
public void enterModalFormula(ModalWffParser.ModalFormulaContext ctx)
```
    Enter a parse tree produced by ModalWffParser.modalFormula().
    The default implementation does nothing.
    
    Specified by:
    
    enterModalFormula in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - exitModalFormula
```
public void exitModalFormula(ModalWffParser.ModalFormulaContext ctx)
```
    Exit a parse tree produced by ModalWffParser.modalFormula().
    The default implementation does nothing.
    
    Specified by:
    
    exitModalFormula in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - enterPar
```
public void enterPar(ModalWffParser.ParContext ctx)
```
    Enter a parse tree produced by the Par labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterPar in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - exitPar
```
public void exitPar(ModalWffParser.ParContext ctx)
```
    Exit a parse tree produced by the Par labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitPar in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - enterNeg
```
public void enterNeg(ModalWffParser.NegContext ctx)
```
    Enter a parse tree produced by the Neg labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterNeg in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - exitNeg
```
public void exitNeg(ModalWffParser.NegContext ctx)
```
    Exit a parse tree produced by the Neg labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitNeg in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - enterOr
```
public void enterOr(ModalWffParser.OrContext ctx)
```
    Enter a parse tree produced by the Or labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterOr in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - exitOr
```
public void exitOr(ModalWffParser.OrContext ctx)
```
    Exit a parse tree produced by the Or labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitOr in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - enterProp
```
public void enterProp(ModalWffParser.PropContext ctx)
```
    Enter a parse tree produced by the Prop labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterProp in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - exitProp
```
public void exitProp(ModalWffParser.PropContext ctx)
```
    Exit a parse tree produced by the Prop labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitProp in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - enterAnd
```
public void enterAnd(ModalWffParser.AndContext ctx)
```
    Enter a parse tree produced by the And labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterAnd in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - exitAnd
```
public void exitAnd(ModalWffParser.AndContext ctx)
```
    Exit a parse tree produced by the And labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitAnd in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - enterBox
```
public void enterBox(ModalWffParser.BoxContext ctx)
```
    Enter a parse tree produced by the Box labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterBox in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - exitBox
```
public void exitBox(ModalWffParser.BoxContext ctx)
```
    Exit a parse tree produced by the Box labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitBox in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - enterEq
```
public void enterEq(ModalWffParser.EqContext ctx)
```
    Enter a parse tree produced by the Eq labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterEq in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - exitEq
```
public void exitEq(ModalWffParser.EqContext ctx)
```
    Exit a parse tree produced by the Eq labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitEq in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - enterDia
```
public void enterDia(ModalWffParser.DiaContext ctx)
```
    Enter a parse tree produced by the Dia labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterDia in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - exitDia
```
public void exitDia(ModalWffParser.DiaContext ctx)
```
    Exit a parse tree produced by the Dia labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitDia in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - enterImp
```
public void enterImp(ModalWffParser.ImpContext ctx)
```
    Enter a parse tree produced by the Imp labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterImp in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - exitImp
```
public void exitImp(ModalWffParser.ImpContext ctx)
```
    Exit a parse tree produced by the Imp labeled alternative in ModalWffParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitImp in interface ModalWffListener
    
    Parameters:
    
    ctx - the parse tree
  - enterEveryRule
```
public void enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
```
    The default implementation does nothing.
    
    Specified by:
    
    enterEveryRule in interface org.antlr.v4.runtime.tree.ParseTreeListener
  - exitEveryRule
```
public void exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
```
    The default implementation does nothing.
    
    Specified by:
    
    exitEveryRule in interface org.antlr.v4.runtime.tree.ParseTreeListener
  - visitTerminal
```
public void visitTerminal(org.antlr.v4.runtime.tree.TerminalNode node)
```
    The default implementation does nothing.
    
    Specified by:
    
    visitTerminal in interface org.antlr.v4.runtime.tree.ParseTreeListener
  - visitErrorNode
```
public void visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node)
```
    The default implementation does nothing.
    
    Specified by:
    
    visitErrorNode in interface org.antlr.v4.runtime.tree.ParseTreeListener

Class ModalWffBaseListener

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

ModalWffBaseListener

Method Detail

enterModalFormula

exitModalFormula

enterPar

exitPar

enterNeg

exitNeg

enterOr

exitOr

enterProp

exitProp

enterAnd

exitAnd

enterBox

exitBox

enterEq

exitEq

enterDia

exitDia

enterImp

exitImp

enterEveryRule

exitEveryRule

visitTerminal

visitErrorNode