org.antlr.v4.runtime.tree.ParseTreeListener
LTLParserBaseListener
public interface LTLParserListener
extends org.antlr.v4.runtime.tree.ParseTreeListener
LTLParser
.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 |
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 |
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 enterFormula(LTLParser.FormulaContext ctx)
LTLParser.formula()
.ctx
- the parse treevoid exitFormula(LTLParser.FormulaContext ctx)
LTLParser.formula()
.ctx
- the parse treevoid enterExpression(LTLParser.ExpressionContext ctx)
LTLParser.expression()
.ctx
- the parse treevoid exitExpression(LTLParser.ExpressionContext ctx)
LTLParser.expression()
.ctx
- the parse treevoid enterOrExpression(LTLParser.OrExpressionContext ctx)
LTLParser.orExpression()
.ctx
- the parse treevoid exitOrExpression(LTLParser.OrExpressionContext ctx)
LTLParser.orExpression()
.ctx
- the parse treevoid enterAndExpression(LTLParser.AndExpressionContext ctx)
LTLParser.andExpression()
.ctx
- the parse treevoid exitAndExpression(LTLParser.AndExpressionContext ctx)
LTLParser.andExpression()
.ctx
- the parse treevoid enterBinaryOperation(LTLParser.BinaryOperationContext ctx)
binaryOperation
labeled alternative in LTLParser.binaryExpression()
.ctx
- the parse treevoid exitBinaryOperation(LTLParser.BinaryOperationContext ctx)
binaryOperation
labeled alternative in LTLParser.binaryExpression()
.ctx
- the parse treevoid enterBinaryUnary(LTLParser.BinaryUnaryContext ctx)
binaryUnary
labeled alternative in LTLParser.binaryExpression()
.ctx
- the parse treevoid exitBinaryUnary(LTLParser.BinaryUnaryContext ctx)
binaryUnary
labeled alternative in LTLParser.binaryExpression()
.ctx
- the parse treevoid enterUnaryOperation(LTLParser.UnaryOperationContext ctx)
unaryOperation
labeled alternative in LTLParser.unaryExpression()
.ctx
- the parse treevoid exitUnaryOperation(LTLParser.UnaryOperationContext ctx)
unaryOperation
labeled alternative in LTLParser.unaryExpression()
.ctx
- the parse treevoid enterUnaryAtom(LTLParser.UnaryAtomContext ctx)
unaryAtom
labeled alternative in LTLParser.unaryExpression()
.ctx
- the parse treevoid exitUnaryAtom(LTLParser.UnaryAtomContext ctx)
unaryAtom
labeled alternative in LTLParser.unaryExpression()
.ctx
- the parse treevoid enterBoolean(LTLParser.BooleanContext ctx)
boolean
labeled alternative in LTLParser.atomExpression()
.ctx
- the parse treevoid exitBoolean(LTLParser.BooleanContext ctx)
boolean
labeled alternative in LTLParser.atomExpression()
.ctx
- the parse treevoid enterVariable(LTLParser.VariableContext ctx)
variable
labeled alternative in LTLParser.atomExpression()
.ctx
- the parse treevoid exitVariable(LTLParser.VariableContext ctx)
variable
labeled alternative in LTLParser.atomExpression()
.ctx
- the parse treevoid enterNested(LTLParser.NestedContext ctx)
nested
labeled alternative in LTLParser.atomExpression()
.ctx
- the parse treevoid exitNested(LTLParser.NestedContext ctx)
nested
labeled alternative in LTLParser.atomExpression()
.ctx
- the parse treevoid enterUnaryOp(LTLParser.UnaryOpContext ctx)
LTLParser.unaryOp()
.ctx
- the parse treevoid exitUnaryOp(LTLParser.UnaryOpContext ctx)
LTLParser.unaryOp()
.ctx
- the parse treevoid enterBinaryOp(LTLParser.BinaryOpContext ctx)
LTLParser.binaryOp()
.ctx
- the parse treevoid exitBinaryOp(LTLParser.BinaryOpContext ctx)
LTLParser.binaryOp()
.ctx
- the parse treevoid enterBool(LTLParser.BoolContext ctx)
LTLParser.bool()
.ctx
- the parse treevoid exitBool(LTLParser.BoolContext ctx)
LTLParser.bool()
.ctx
- the parse treevoid enterFrequencyOp(LTLParser.FrequencyOpContext ctx)
LTLParser.frequencyOp()
.ctx
- the parse treevoid exitFrequencyOp(LTLParser.FrequencyOpContext ctx)
LTLParser.frequencyOp()
.ctx
- the parse treevoid enterFraction(LTLParser.FractionContext ctx)
fraction
labeled alternative in LTLParser.frequencySpec()
.ctx
- the parse treevoid exitFraction(LTLParser.FractionContext ctx)
fraction
labeled alternative in LTLParser.frequencySpec()
.ctx
- the parse treevoid enterProbability(LTLParser.ProbabilityContext ctx)
probability
labeled alternative in LTLParser.frequencySpec()
.ctx
- the parse treevoid exitProbability(LTLParser.ProbabilityContext ctx)
probability
labeled alternative in LTLParser.frequencySpec()
.ctx
- the parse treevoid enterComparison(LTLParser.ComparisonContext ctx)
LTLParser.comparison()
.ctx
- the parse treevoid exitComparison(LTLParser.ComparisonContext ctx)
LTLParser.comparison()
.ctx
- the parse tree