FormulaBaseListener

java.lang.Object
- jtabwbx.prop.parser.FormulaBaseListener

All Implemented Interfaces:

FormulaListener, org.antlr.v4.runtime.tree.ParseTreeListener
```
public class FormulaBaseListener
extends java.lang.Object
implements FormulaListener
```
This class provides an empty implementation of FormulaListener, 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

FormulaBaseListener()

Constructors
Constructor and Description
`FormulaBaseListener()`

Method Summary

All Methods Instance Methods Concrete Methods
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`	`enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)`
`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`	`exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)`
`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`	`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
  - FormulaBaseListener
```
public FormulaBaseListener()
```
- Method Detail
  - enterFormula
```
public void enterFormula(FormulaParser.FormulaContext ctx)
```
    Enter a parse tree produced by FormulaParser.formula().
    The default implementation does nothing.
    
    Specified by:
    
    enterFormula in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - exitFormula
```
public void exitFormula(FormulaParser.FormulaContext ctx)
```
    Exit a parse tree produced by FormulaParser.formula().
    The default implementation does nothing.
    
    Specified by:
    
    exitFormula in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - enterPar
```
public void enterPar(FormulaParser.ParContext ctx)
```
    Enter a parse tree produced by the Par labeled alternative in FormulaParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterPar in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - exitPar
```
public void exitPar(FormulaParser.ParContext ctx)
```
    Exit a parse tree produced by the Par labeled alternative in FormulaParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitPar in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - enterNeg
```
public void enterNeg(FormulaParser.NegContext ctx)
```
    Enter a parse tree produced by the Neg labeled alternative in FormulaParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterNeg in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - exitNeg
```
public void exitNeg(FormulaParser.NegContext ctx)
```
    Exit a parse tree produced by the Neg labeled alternative in FormulaParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitNeg in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - enterOr
```
public void enterOr(FormulaParser.OrContext ctx)
```
    Enter a parse tree produced by the Or labeled alternative in FormulaParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterOr in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - exitOr
```
public void exitOr(FormulaParser.OrContext ctx)
```
    Exit a parse tree produced by the Or labeled alternative in FormulaParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitOr in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - enterProp
```
public void enterProp(FormulaParser.PropContext ctx)
```
    Enter a parse tree produced by the Prop labeled alternative in FormulaParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterProp in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - exitProp
```
public void exitProp(FormulaParser.PropContext ctx)
```
    Exit a parse tree produced by the Prop labeled alternative in FormulaParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitProp in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - enterAnd
```
public void enterAnd(FormulaParser.AndContext ctx)
```
    Enter a parse tree produced by the And labeled alternative in FormulaParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterAnd in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - exitAnd
```
public void exitAnd(FormulaParser.AndContext ctx)
```
    Exit a parse tree produced by the And labeled alternative in FormulaParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitAnd in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - enterEq
```
public void enterEq(FormulaParser.EqContext ctx)
```
    Enter a parse tree produced by the Eq labeled alternative in FormulaParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterEq in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - exitEq
```
public void exitEq(FormulaParser.EqContext ctx)
```
    Exit a parse tree produced by the Eq labeled alternative in FormulaParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitEq in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - enterImp
```
public void enterImp(FormulaParser.ImpContext ctx)
```
    Enter a parse tree produced by the Imp labeled alternative in FormulaParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    enterImp in interface FormulaListener
    
    Parameters:
    
    ctx - the parse tree
  - exitImp
```
public void exitImp(FormulaParser.ImpContext ctx)
```
    Exit a parse tree produced by the Imp labeled alternative in FormulaParser.wff().
    The default implementation does nothing.
    
    Specified by:
    
    exitImp in interface FormulaListener
    
    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 FormulaBaseListener

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

FormulaBaseListener

Method Detail

enterFormula

exitFormula

enterPar

exitPar

enterNeg

exitNeg

enterOr

exitOr

enterProp

exitProp

enterAnd

exitAnd

enterEq

exitEq

enterImp

exitImp

enterEveryRule

exitEveryRule

visitTerminal

visitErrorNode