Class CstrSpecBaseListener
- All Implemented Interfaces:
org.antlr.v4.runtime.tree.ParseTreeListener
,CstrSpecListener
public class CstrSpecBaseListener extends Object implements CstrSpecListener
CstrSpecListener
,
which can be extended to create a listener which only needs to handle a subset
of the available methods.-
Constructor Summary
Constructors Constructor Description CstrSpecBaseListener()
-
Method Summary
Modifier and Type Method Description void
enterAll(CstrSpecParser.AllContext ctx)
Enter a parse tree produced by theall
labeled alternative inCstrSpecParser.formula()
.void
enterArrayTerm(CstrSpecParser.ArrayTermContext ctx)
Enter a parse tree produced by thearrayTerm
labeled alternative inCstrSpecParser.term()
.void
enterCall(CstrSpecParser.CallContext ctx)
Enter a parse tree produced byCstrSpecParser.call()
.void
enterComparison(CstrSpecParser.ComparisonContext ctx)
Enter a parse tree produced byCstrSpecParser.comparison()
.void
enterCstrCall(CstrSpecParser.CstrCallContext ctx)
Enter a parse tree produced by thecstrCall
labeled alternative inCstrSpecParser.formula()
.void
enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
void
enterExists(CstrSpecParser.ExistsContext ctx)
Enter a parse tree produced by theexists
labeled alternative inCstrSpecParser.formula()
.void
enterFormulaOp(CstrSpecParser.FormulaOpContext ctx)
Enter a parse tree produced by theformulaOp
labeled alternative inCstrSpecParser.formula()
.void
enterIdTerm(CstrSpecParser.IdTermContext ctx)
Enter a parse tree produced by theidTerm
labeled alternative inCstrSpecParser.term()
.void
enterIntTerm(CstrSpecParser.IntTermContext ctx)
Enter a parse tree produced by theintTerm
labeled alternative inCstrSpecParser.term()
.void
enterListInComprehension(CstrSpecParser.ListInComprehensionContext ctx)
Enter a parse tree produced by thelistInComprehension
labeled alternative inCstrSpecParser.list()
.void
enterListInExtension(CstrSpecParser.ListInExtensionContext ctx)
Enter a parse tree produced by thelistInExtension
labeled alternative inCstrSpecParser.list()
.void
enterListTerm(CstrSpecParser.ListTermContext ctx)
Enter a parse tree produced by thelistTerm
labeled alternative inCstrSpecParser.term()
.void
enterProtectedFormula(CstrSpecParser.ProtectedFormulaContext ctx)
Enter a parse tree produced by theprotectedFormula
labeled alternative inCstrSpecParser.formula()
.void
enterProtectedTerm(CstrSpecParser.ProtectedTermContext ctx)
Enter a parse tree produced by theprotectedTerm
labeled alternative inCstrSpecParser.term()
.void
enterSetInComprehension(CstrSpecParser.SetInComprehensionContext ctx)
Enter a parse tree produced by thesetInComprehension
labeled alternative inCstrSpecParser.set()
.void
enterSetInExtension(CstrSpecParser.SetInExtensionContext ctx)
Enter a parse tree produced by thesetInExtension
labeled alternative inCstrSpecParser.set()
.void
enterSetTerm(CstrSpecParser.SetTermContext ctx)
Enter a parse tree produced by thesetTerm
labeled alternative inCstrSpecParser.term()
.void
enterStringTerm(CstrSpecParser.StringTermContext ctx)
Enter a parse tree produced by thestringTerm
labeled alternative inCstrSpecParser.term()
.void
enterTermComparison(CstrSpecParser.TermComparisonContext ctx)
Enter a parse tree produced by thetermComparison
labeled alternative inCstrSpecParser.formula()
.void
enterTermFunc(CstrSpecParser.TermFuncContext ctx)
Enter a parse tree produced by thetermFunc
labeled alternative inCstrSpecParser.term()
.void
enterTermOp(CstrSpecParser.TermOpContext ctx)
Enter a parse tree produced by thetermOp
labeled alternative inCstrSpecParser.term()
.void
enterTypedef(CstrSpecParser.TypedefContext ctx)
Enter a parse tree produced byCstrSpecParser.typedef()
.void
exitAll(CstrSpecParser.AllContext ctx)
Exit a parse tree produced by theall
labeled alternative inCstrSpecParser.formula()
.void
exitArrayTerm(CstrSpecParser.ArrayTermContext ctx)
Exit a parse tree produced by thearrayTerm
labeled alternative inCstrSpecParser.term()
.void
exitCall(CstrSpecParser.CallContext ctx)
Exit a parse tree produced byCstrSpecParser.call()
.void
exitComparison(CstrSpecParser.ComparisonContext ctx)
Exit a parse tree produced byCstrSpecParser.comparison()
.void
exitCstrCall(CstrSpecParser.CstrCallContext ctx)
Exit a parse tree produced by thecstrCall
labeled alternative inCstrSpecParser.formula()
.void
exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
void
exitExists(CstrSpecParser.ExistsContext ctx)
Exit a parse tree produced by theexists
labeled alternative inCstrSpecParser.formula()
.void
exitFormulaOp(CstrSpecParser.FormulaOpContext ctx)
Exit a parse tree produced by theformulaOp
labeled alternative inCstrSpecParser.formula()
.void
exitIdTerm(CstrSpecParser.IdTermContext ctx)
Exit a parse tree produced by theidTerm
labeled alternative inCstrSpecParser.term()
.void
exitIntTerm(CstrSpecParser.IntTermContext ctx)
Exit a parse tree produced by theintTerm
labeled alternative inCstrSpecParser.term()
.void
exitListInComprehension(CstrSpecParser.ListInComprehensionContext ctx)
Exit a parse tree produced by thelistInComprehension
labeled alternative inCstrSpecParser.list()
.void
exitListInExtension(CstrSpecParser.ListInExtensionContext ctx)
Exit a parse tree produced by thelistInExtension
labeled alternative inCstrSpecParser.list()
.void
exitListTerm(CstrSpecParser.ListTermContext ctx)
Exit a parse tree produced by thelistTerm
labeled alternative inCstrSpecParser.term()
.void
exitProtectedFormula(CstrSpecParser.ProtectedFormulaContext ctx)
Exit a parse tree produced by theprotectedFormula
labeled alternative inCstrSpecParser.formula()
.void
exitProtectedTerm(CstrSpecParser.ProtectedTermContext ctx)
Exit a parse tree produced by theprotectedTerm
labeled alternative inCstrSpecParser.term()
.void
exitSetInComprehension(CstrSpecParser.SetInComprehensionContext ctx)
Exit a parse tree produced by thesetInComprehension
labeled alternative inCstrSpecParser.set()
.void
exitSetInExtension(CstrSpecParser.SetInExtensionContext ctx)
Exit a parse tree produced by thesetInExtension
labeled alternative inCstrSpecParser.set()
.void
exitSetTerm(CstrSpecParser.SetTermContext ctx)
Exit a parse tree produced by thesetTerm
labeled alternative inCstrSpecParser.term()
.void
exitStringTerm(CstrSpecParser.StringTermContext ctx)
Exit a parse tree produced by thestringTerm
labeled alternative inCstrSpecParser.term()
.void
exitTermComparison(CstrSpecParser.TermComparisonContext ctx)
Exit a parse tree produced by thetermComparison
labeled alternative inCstrSpecParser.formula()
.void
exitTermFunc(CstrSpecParser.TermFuncContext ctx)
Exit a parse tree produced by thetermFunc
labeled alternative inCstrSpecParser.term()
.void
exitTermOp(CstrSpecParser.TermOpContext ctx)
Exit a parse tree produced by thetermOp
labeled alternative inCstrSpecParser.term()
.void
exitTypedef(CstrSpecParser.TypedefContext ctx)
Exit a parse tree produced byCstrSpecParser.typedef()
.void
visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node)
void
visitTerminal(org.antlr.v4.runtime.tree.TerminalNode node)
-
Constructor Details
-
CstrSpecBaseListener
public CstrSpecBaseListener()
-
-
Method Details
-
enterStringTerm
Enter a parse tree produced by thestringTerm
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
enterStringTerm
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitStringTerm
Exit a parse tree produced by thestringTerm
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
exitStringTerm
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterProtectedTerm
Enter a parse tree produced by theprotectedTerm
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
enterProtectedTerm
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitProtectedTerm
Exit a parse tree produced by theprotectedTerm
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
exitProtectedTerm
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterIdTerm
Enter a parse tree produced by theidTerm
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
enterIdTerm
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitIdTerm
Exit a parse tree produced by theidTerm
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
exitIdTerm
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterArrayTerm
Enter a parse tree produced by thearrayTerm
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
enterArrayTerm
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitArrayTerm
Exit a parse tree produced by thearrayTerm
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
exitArrayTerm
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterIntTerm
Enter a parse tree produced by theintTerm
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
enterIntTerm
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitIntTerm
Exit a parse tree produced by theintTerm
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
exitIntTerm
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterTermFunc
Enter a parse tree produced by thetermFunc
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
enterTermFunc
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitTermFunc
Exit a parse tree produced by thetermFunc
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
exitTermFunc
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterTermOp
Enter a parse tree produced by thetermOp
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
enterTermOp
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitTermOp
Exit a parse tree produced by thetermOp
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
exitTermOp
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterSetTerm
Enter a parse tree produced by thesetTerm
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
enterSetTerm
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitSetTerm
Exit a parse tree produced by thesetTerm
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
exitSetTerm
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterListTerm
Enter a parse tree produced by thelistTerm
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
enterListTerm
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitListTerm
Exit a parse tree produced by thelistTerm
labeled alternative inCstrSpecParser.term()
.The default implementation does nothing.
- Specified by:
exitListTerm
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterSetInComprehension
Enter a parse tree produced by thesetInComprehension
labeled alternative inCstrSpecParser.set()
.The default implementation does nothing.
- Specified by:
enterSetInComprehension
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitSetInComprehension
Exit a parse tree produced by thesetInComprehension
labeled alternative inCstrSpecParser.set()
.The default implementation does nothing.
- Specified by:
exitSetInComprehension
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterSetInExtension
Enter a parse tree produced by thesetInExtension
labeled alternative inCstrSpecParser.set()
.The default implementation does nothing.
- Specified by:
enterSetInExtension
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitSetInExtension
Exit a parse tree produced by thesetInExtension
labeled alternative inCstrSpecParser.set()
.The default implementation does nothing.
- Specified by:
exitSetInExtension
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterListInComprehension
Enter a parse tree produced by thelistInComprehension
labeled alternative inCstrSpecParser.list()
.The default implementation does nothing.
- Specified by:
enterListInComprehension
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitListInComprehension
Exit a parse tree produced by thelistInComprehension
labeled alternative inCstrSpecParser.list()
.The default implementation does nothing.
- Specified by:
exitListInComprehension
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterListInExtension
Enter a parse tree produced by thelistInExtension
labeled alternative inCstrSpecParser.list()
.The default implementation does nothing.
- Specified by:
enterListInExtension
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitListInExtension
Exit a parse tree produced by thelistInExtension
labeled alternative inCstrSpecParser.list()
.The default implementation does nothing.
- Specified by:
exitListInExtension
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterComparison
Enter a parse tree produced byCstrSpecParser.comparison()
.The default implementation does nothing.
- Specified by:
enterComparison
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitComparison
Exit a parse tree produced byCstrSpecParser.comparison()
.The default implementation does nothing.
- Specified by:
exitComparison
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterTypedef
Enter a parse tree produced byCstrSpecParser.typedef()
.The default implementation does nothing.
- Specified by:
enterTypedef
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitTypedef
Exit a parse tree produced byCstrSpecParser.typedef()
.The default implementation does nothing.
- Specified by:
exitTypedef
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterAll
Enter a parse tree produced by theall
labeled alternative inCstrSpecParser.formula()
.The default implementation does nothing.
- Specified by:
enterAll
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitAll
Exit a parse tree produced by theall
labeled alternative inCstrSpecParser.formula()
.The default implementation does nothing.
- Specified by:
exitAll
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterProtectedFormula
Enter a parse tree produced by theprotectedFormula
labeled alternative inCstrSpecParser.formula()
.The default implementation does nothing.
- Specified by:
enterProtectedFormula
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitProtectedFormula
Exit a parse tree produced by theprotectedFormula
labeled alternative inCstrSpecParser.formula()
.The default implementation does nothing.
- Specified by:
exitProtectedFormula
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterCstrCall
Enter a parse tree produced by thecstrCall
labeled alternative inCstrSpecParser.formula()
.The default implementation does nothing.
- Specified by:
enterCstrCall
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitCstrCall
Exit a parse tree produced by thecstrCall
labeled alternative inCstrSpecParser.formula()
.The default implementation does nothing.
- Specified by:
exitCstrCall
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterFormulaOp
Enter a parse tree produced by theformulaOp
labeled alternative inCstrSpecParser.formula()
.The default implementation does nothing.
- Specified by:
enterFormulaOp
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitFormulaOp
Exit a parse tree produced by theformulaOp
labeled alternative inCstrSpecParser.formula()
.The default implementation does nothing.
- Specified by:
exitFormulaOp
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterExists
Enter a parse tree produced by theexists
labeled alternative inCstrSpecParser.formula()
.The default implementation does nothing.
- Specified by:
enterExists
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitExists
Exit a parse tree produced by theexists
labeled alternative inCstrSpecParser.formula()
.The default implementation does nothing.
- Specified by:
exitExists
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterTermComparison
Enter a parse tree produced by thetermComparison
labeled alternative inCstrSpecParser.formula()
.The default implementation does nothing.
- Specified by:
enterTermComparison
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitTermComparison
Exit a parse tree produced by thetermComparison
labeled alternative inCstrSpecParser.formula()
.The default implementation does nothing.
- Specified by:
exitTermComparison
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterCall
Enter a parse tree produced byCstrSpecParser.call()
.The default implementation does nothing.
- Specified by:
enterCall
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
exitCall
Exit a parse tree produced byCstrSpecParser.call()
.The default implementation does nothing.
- Specified by:
exitCall
in interfaceCstrSpecListener
- Parameters:
ctx
- the parse tree
-
enterEveryRule
public void enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)The default implementation does nothing.
- Specified by:
enterEveryRule
in interfaceorg.antlr.v4.runtime.tree.ParseTreeListener
-
exitEveryRule
public void exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)The default implementation does nothing.
- Specified by:
exitEveryRule
in interfaceorg.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 interfaceorg.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 interfaceorg.antlr.v4.runtime.tree.ParseTreeListener
-