org.antlr.v4.runtime.tree.ParseTreeListener
, LTLParserListener
public class LTLParserBaseListener extends java.lang.Object implements LTLParserListener
LTLParserListener
,
which can be extended to create a listener which only needs to handle a subset
of the available methods.Constructor | Description |
---|---|
LTLParserBaseListener() |
Modifier and Type | Method | Description |
---|---|---|
void |
enterAndExpression(LTLParser.AndExpressionContext ctx) |
Enter a parse tree produced by
LTLParser.andExpression() . |
void |
enterBinaryOp(LTLParser.BinaryOpContext ctx) |
Enter a parse tree produced by
LTLParser.binaryOp() . |
void |
enterBinaryOperation(LTLParser.BinaryOperationContext ctx) |
Enter a parse tree produced by the
binaryOperation
labeled alternative in LTLParser.binaryExpression() . |
void |
enterBinaryUnary(LTLParser.BinaryUnaryContext ctx) |
Enter a parse tree produced by the
binaryUnary
labeled alternative in LTLParser.binaryExpression() . |
void |
enterBool(LTLParser.BoolContext ctx) |
Enter a parse tree produced by
LTLParser.bool() . |
void |
enterBoolean(LTLParser.BooleanContext ctx) |
Enter a parse tree produced by the
boolean
labeled alternative in LTLParser.atomExpression() . |
void |
enterComparison(LTLParser.ComparisonContext ctx) |
Enter a parse tree produced by
LTLParser.comparison() . |
void |
enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx) |
|
void |
enterExpression(LTLParser.ExpressionContext ctx) |
Enter a parse tree produced by
LTLParser.expression() . |
void |
enterFormula(LTLParser.FormulaContext ctx) |
Enter a parse tree produced by
LTLParser.formula() . |
void |
enterFraction(LTLParser.FractionContext ctx) |
Enter a parse tree produced by the
fraction
labeled alternative in LTLParser.frequencySpec() . |
void |
enterFrequencyOp(LTLParser.FrequencyOpContext ctx) |
Enter a parse tree produced by
LTLParser.frequencyOp() . |
void |
enterNested(LTLParser.NestedContext ctx) |
Enter a parse tree produced by the
nested
labeled alternative in LTLParser.atomExpression() . |
void |
enterOrExpression(LTLParser.OrExpressionContext ctx) |
Enter a parse tree produced by
LTLParser.orExpression() . |
void |
enterProbability(LTLParser.ProbabilityContext ctx) |
Enter a parse tree produced by the
probability
labeled alternative in LTLParser.frequencySpec() . |
void |
enterUnaryAtom(LTLParser.UnaryAtomContext ctx) |
Enter a parse tree produced by the
unaryAtom
labeled alternative in LTLParser.unaryExpression() . |
void |
enterUnaryOp(LTLParser.UnaryOpContext ctx) |
Enter a parse tree produced by
LTLParser.unaryOp() . |
void |
enterUnaryOperation(LTLParser.UnaryOperationContext ctx) |
Enter a parse tree produced by the
unaryOperation
labeled alternative in LTLParser.unaryExpression() . |
void |
enterVariable(LTLParser.VariableContext ctx) |
Enter a parse tree produced by the
variable
labeled alternative in LTLParser.atomExpression() . |
void |
exitAndExpression(LTLParser.AndExpressionContext ctx) |
Exit a parse tree produced by
LTLParser.andExpression() . |
void |
exitBinaryOp(LTLParser.BinaryOpContext ctx) |
Exit a parse tree produced by
LTLParser.binaryOp() . |
void |
exitBinaryOperation(LTLParser.BinaryOperationContext ctx) |
Exit a parse tree produced by the
binaryOperation
labeled alternative in LTLParser.binaryExpression() . |
void |
exitBinaryUnary(LTLParser.BinaryUnaryContext ctx) |
Exit a parse tree produced by the
binaryUnary
labeled alternative in LTLParser.binaryExpression() . |
void |
exitBool(LTLParser.BoolContext ctx) |
Exit a parse tree produced by
LTLParser.bool() . |
void |
exitBoolean(LTLParser.BooleanContext ctx) |
Exit a parse tree produced by the
boolean
labeled alternative in LTLParser.atomExpression() . |
void |
exitComparison(LTLParser.ComparisonContext ctx) |
Exit a parse tree produced by
LTLParser.comparison() . |
void |
exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx) |
|
void |
exitExpression(LTLParser.ExpressionContext ctx) |
Exit a parse tree produced by
LTLParser.expression() . |
void |
exitFormula(LTLParser.FormulaContext ctx) |
Exit a parse tree produced by
LTLParser.formula() . |
void |
exitFraction(LTLParser.FractionContext ctx) |
Exit a parse tree produced by the
fraction
labeled alternative in LTLParser.frequencySpec() . |
void |
exitFrequencyOp(LTLParser.FrequencyOpContext ctx) |
Exit a parse tree produced by
LTLParser.frequencyOp() . |
void |
exitNested(LTLParser.NestedContext ctx) |
Exit a parse tree produced by the
nested
labeled alternative in LTLParser.atomExpression() . |
void |
exitOrExpression(LTLParser.OrExpressionContext ctx) |
Exit a parse tree produced by
LTLParser.orExpression() . |
void |
exitProbability(LTLParser.ProbabilityContext ctx) |
Exit a parse tree produced by the
probability
labeled alternative in LTLParser.frequencySpec() . |
void |
exitUnaryAtom(LTLParser.UnaryAtomContext ctx) |
Exit a parse tree produced by the
unaryAtom
labeled alternative in LTLParser.unaryExpression() . |
void |
exitUnaryOp(LTLParser.UnaryOpContext ctx) |
Exit a parse tree produced by
LTLParser.unaryOp() . |
void |
exitUnaryOperation(LTLParser.UnaryOperationContext ctx) |
Exit a parse tree produced by the
unaryOperation
labeled alternative in LTLParser.unaryExpression() . |
void |
exitVariable(LTLParser.VariableContext ctx) |
Exit a parse tree produced by the
variable
labeled alternative in LTLParser.atomExpression() . |
void |
visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node) |
|
void |
visitTerminal(org.antlr.v4.runtime.tree.TerminalNode node) |
public void enterFormula(LTLParser.FormulaContext ctx)
LTLParser.formula()
.
The default implementation does nothing.
enterFormula
in interface LTLParserListener
ctx
- the parse treepublic void exitFormula(LTLParser.FormulaContext ctx)
LTLParser.formula()
.
The default implementation does nothing.
exitFormula
in interface LTLParserListener
ctx
- the parse treepublic void enterExpression(LTLParser.ExpressionContext ctx)
LTLParser.expression()
.
The default implementation does nothing.
enterExpression
in interface LTLParserListener
ctx
- the parse treepublic void exitExpression(LTLParser.ExpressionContext ctx)
LTLParser.expression()
.
The default implementation does nothing.
exitExpression
in interface LTLParserListener
ctx
- the parse treepublic void enterOrExpression(LTLParser.OrExpressionContext ctx)
LTLParser.orExpression()
.
The default implementation does nothing.
enterOrExpression
in interface LTLParserListener
ctx
- the parse treepublic void exitOrExpression(LTLParser.OrExpressionContext ctx)
LTLParser.orExpression()
.
The default implementation does nothing.
exitOrExpression
in interface LTLParserListener
ctx
- the parse treepublic void enterAndExpression(LTLParser.AndExpressionContext ctx)
LTLParser.andExpression()
.
The default implementation does nothing.
enterAndExpression
in interface LTLParserListener
ctx
- the parse treepublic void exitAndExpression(LTLParser.AndExpressionContext ctx)
LTLParser.andExpression()
.
The default implementation does nothing.
exitAndExpression
in interface LTLParserListener
ctx
- the parse treepublic void enterBinaryOperation(LTLParser.BinaryOperationContext ctx)
binaryOperation
labeled alternative in LTLParser.binaryExpression()
.
The default implementation does nothing.
enterBinaryOperation
in interface LTLParserListener
ctx
- the parse treepublic void exitBinaryOperation(LTLParser.BinaryOperationContext ctx)
binaryOperation
labeled alternative in LTLParser.binaryExpression()
.
The default implementation does nothing.
exitBinaryOperation
in interface LTLParserListener
ctx
- the parse treepublic void enterBinaryUnary(LTLParser.BinaryUnaryContext ctx)
binaryUnary
labeled alternative in LTLParser.binaryExpression()
.
The default implementation does nothing.
enterBinaryUnary
in interface LTLParserListener
ctx
- the parse treepublic void exitBinaryUnary(LTLParser.BinaryUnaryContext ctx)
binaryUnary
labeled alternative in LTLParser.binaryExpression()
.
The default implementation does nothing.
exitBinaryUnary
in interface LTLParserListener
ctx
- the parse treepublic void enterUnaryOperation(LTLParser.UnaryOperationContext ctx)
unaryOperation
labeled alternative in LTLParser.unaryExpression()
.
The default implementation does nothing.
enterUnaryOperation
in interface LTLParserListener
ctx
- the parse treepublic void exitUnaryOperation(LTLParser.UnaryOperationContext ctx)
unaryOperation
labeled alternative in LTLParser.unaryExpression()
.
The default implementation does nothing.
exitUnaryOperation
in interface LTLParserListener
ctx
- the parse treepublic void enterUnaryAtom(LTLParser.UnaryAtomContext ctx)
unaryAtom
labeled alternative in LTLParser.unaryExpression()
.
The default implementation does nothing.
enterUnaryAtom
in interface LTLParserListener
ctx
- the parse treepublic void exitUnaryAtom(LTLParser.UnaryAtomContext ctx)
unaryAtom
labeled alternative in LTLParser.unaryExpression()
.
The default implementation does nothing.
exitUnaryAtom
in interface LTLParserListener
ctx
- the parse treepublic void enterBoolean(LTLParser.BooleanContext ctx)
boolean
labeled alternative in LTLParser.atomExpression()
.
The default implementation does nothing.
enterBoolean
in interface LTLParserListener
ctx
- the parse treepublic void exitBoolean(LTLParser.BooleanContext ctx)
boolean
labeled alternative in LTLParser.atomExpression()
.
The default implementation does nothing.
exitBoolean
in interface LTLParserListener
ctx
- the parse treepublic void enterVariable(LTLParser.VariableContext ctx)
variable
labeled alternative in LTLParser.atomExpression()
.
The default implementation does nothing.
enterVariable
in interface LTLParserListener
ctx
- the parse treepublic void exitVariable(LTLParser.VariableContext ctx)
variable
labeled alternative in LTLParser.atomExpression()
.
The default implementation does nothing.
exitVariable
in interface LTLParserListener
ctx
- the parse treepublic void enterNested(LTLParser.NestedContext ctx)
nested
labeled alternative in LTLParser.atomExpression()
.
The default implementation does nothing.
enterNested
in interface LTLParserListener
ctx
- the parse treepublic void exitNested(LTLParser.NestedContext ctx)
nested
labeled alternative in LTLParser.atomExpression()
.
The default implementation does nothing.
exitNested
in interface LTLParserListener
ctx
- the parse treepublic void enterUnaryOp(LTLParser.UnaryOpContext ctx)
LTLParser.unaryOp()
.
The default implementation does nothing.
enterUnaryOp
in interface LTLParserListener
ctx
- the parse treepublic void exitUnaryOp(LTLParser.UnaryOpContext ctx)
LTLParser.unaryOp()
.
The default implementation does nothing.
exitUnaryOp
in interface LTLParserListener
ctx
- the parse treepublic void enterBinaryOp(LTLParser.BinaryOpContext ctx)
LTLParser.binaryOp()
.
The default implementation does nothing.
enterBinaryOp
in interface LTLParserListener
ctx
- the parse treepublic void exitBinaryOp(LTLParser.BinaryOpContext ctx)
LTLParser.binaryOp()
.
The default implementation does nothing.
exitBinaryOp
in interface LTLParserListener
ctx
- the parse treepublic void enterBool(LTLParser.BoolContext ctx)
LTLParser.bool()
.
The default implementation does nothing.
enterBool
in interface LTLParserListener
ctx
- the parse treepublic void exitBool(LTLParser.BoolContext ctx)
LTLParser.bool()
.
The default implementation does nothing.
exitBool
in interface LTLParserListener
ctx
- the parse treepublic void enterFrequencyOp(LTLParser.FrequencyOpContext ctx)
LTLParser.frequencyOp()
.
The default implementation does nothing.
enterFrequencyOp
in interface LTLParserListener
ctx
- the parse treepublic void exitFrequencyOp(LTLParser.FrequencyOpContext ctx)
LTLParser.frequencyOp()
.
The default implementation does nothing.
exitFrequencyOp
in interface LTLParserListener
ctx
- the parse treepublic void enterFraction(LTLParser.FractionContext ctx)
fraction
labeled alternative in LTLParser.frequencySpec()
.
The default implementation does nothing.
enterFraction
in interface LTLParserListener
ctx
- the parse treepublic void exitFraction(LTLParser.FractionContext ctx)
fraction
labeled alternative in LTLParser.frequencySpec()
.
The default implementation does nothing.
exitFraction
in interface LTLParserListener
ctx
- the parse treepublic void enterProbability(LTLParser.ProbabilityContext ctx)
probability
labeled alternative in LTLParser.frequencySpec()
.
The default implementation does nothing.
enterProbability
in interface LTLParserListener
ctx
- the parse treepublic void exitProbability(LTLParser.ProbabilityContext ctx)
probability
labeled alternative in LTLParser.frequencySpec()
.
The default implementation does nothing.
exitProbability
in interface LTLParserListener
ctx
- the parse treepublic void enterComparison(LTLParser.ComparisonContext ctx)
LTLParser.comparison()
.
The default implementation does nothing.
enterComparison
in interface LTLParserListener
ctx
- the parse treepublic void exitComparison(LTLParser.ComparisonContext ctx)
LTLParser.comparison()
.
The default implementation does nothing.
exitComparison
in interface LTLParserListener
ctx
- the parse treepublic void enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
The default implementation does nothing.
enterEveryRule
in interface org.antlr.v4.runtime.tree.ParseTreeListener
public void exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
The default implementation does nothing.
exitEveryRule
in interface org.antlr.v4.runtime.tree.ParseTreeListener
public void visitTerminal(org.antlr.v4.runtime.tree.TerminalNode node)
The default implementation does nothing.
visitTerminal
in interface org.antlr.v4.runtime.tree.ParseTreeListener
public void visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node)
The default implementation does nothing.
visitErrorNode
in interface org.antlr.v4.runtime.tree.ParseTreeListener