T
- The return type of the visit operation. Use Void
for
operations with no return type.org.antlr.v4.runtime.tree.ParseTreeVisitor<T>
LTLParserBaseVisitor
public interface LTLParserVisitor<T>
extends org.antlr.v4.runtime.tree.ParseTreeVisitor<T>
LTLParser
.T visitFormula(LTLParser.FormulaContext ctx)
LTLParser.formula()
.ctx
- the parse treeT visitExpression(LTLParser.ExpressionContext ctx)
LTLParser.expression()
.ctx
- the parse treeT visitOrExpression(LTLParser.OrExpressionContext ctx)
LTLParser.orExpression()
.ctx
- the parse treeT visitAndExpression(LTLParser.AndExpressionContext ctx)
LTLParser.andExpression()
.ctx
- the parse treeT visitBinaryOperation(LTLParser.BinaryOperationContext ctx)
binaryOperation
labeled alternative in LTLParser.binaryExpression()
.ctx
- the parse treeT visitBinaryUnary(LTLParser.BinaryUnaryContext ctx)
binaryUnary
labeled alternative in LTLParser.binaryExpression()
.ctx
- the parse treeT visitUnaryOperation(LTLParser.UnaryOperationContext ctx)
unaryOperation
labeled alternative in LTLParser.unaryExpression()
.ctx
- the parse treeT visitUnaryAtom(LTLParser.UnaryAtomContext ctx)
unaryAtom
labeled alternative in LTLParser.unaryExpression()
.ctx
- the parse treeT visitBoolean(LTLParser.BooleanContext ctx)
boolean
labeled alternative in LTLParser.atomExpression()
.ctx
- the parse treeT visitVariable(LTLParser.VariableContext ctx)
variable
labeled alternative in LTLParser.atomExpression()
.ctx
- the parse treeT visitNested(LTLParser.NestedContext ctx)
nested
labeled alternative in LTLParser.atomExpression()
.ctx
- the parse treeT visitUnaryOp(LTLParser.UnaryOpContext ctx)
LTLParser.unaryOp()
.ctx
- the parse treeT visitBinaryOp(LTLParser.BinaryOpContext ctx)
LTLParser.binaryOp()
.ctx
- the parse treeT visitBool(LTLParser.BoolContext ctx)
LTLParser.bool()
.ctx
- the parse treeT visitFrequencyOp(LTLParser.FrequencyOpContext ctx)
LTLParser.frequencyOp()
.ctx
- the parse treeT visitFraction(LTLParser.FractionContext ctx)
fraction
labeled alternative in LTLParser.frequencySpec()
.ctx
- the parse treeT visitProbability(LTLParser.ProbabilityContext ctx)
probability
labeled alternative in LTLParser.frequencySpec()
.ctx
- the parse treeT visitComparison(LTLParser.ComparisonContext ctx)
LTLParser.comparison()
.ctx
- the parse tree