T
- The return type of the visit operation. Use Void
for
operations with no return type.org.antlr.v4.runtime.tree.ParseTreeVisitor<T>
, LTLParserVisitor<T>
public class LTLParserBaseVisitor<T> extends org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T> implements LTLParserVisitor<T>
LTLParserVisitor
,
which can be extended to create a visitor which only needs to handle a subset
of the available methods.Constructor | Description |
---|---|
LTLParserBaseVisitor() |
aggregateResult, defaultResult, shouldVisitNextChild, visit, visitChildren, visitErrorNode, visitTerminal
public T visitFormula(LTLParser.FormulaContext ctx)
LTLParser.formula()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitFormula
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitExpression(LTLParser.ExpressionContext ctx)
LTLParser.expression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitExpression
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitOrExpression(LTLParser.OrExpressionContext ctx)
LTLParser.orExpression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitOrExpression
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitAndExpression(LTLParser.AndExpressionContext ctx)
LTLParser.andExpression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitAndExpression
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitBinaryOperation(LTLParser.BinaryOperationContext ctx)
binaryOperation
labeled alternative in LTLParser.binaryExpression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBinaryOperation
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitBinaryUnary(LTLParser.BinaryUnaryContext ctx)
binaryUnary
labeled alternative in LTLParser.binaryExpression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBinaryUnary
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitUnaryOperation(LTLParser.UnaryOperationContext ctx)
unaryOperation
labeled alternative in LTLParser.unaryExpression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitUnaryOperation
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitUnaryAtom(LTLParser.UnaryAtomContext ctx)
unaryAtom
labeled alternative in LTLParser.unaryExpression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitUnaryAtom
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitBoolean(LTLParser.BooleanContext ctx)
boolean
labeled alternative in LTLParser.atomExpression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBoolean
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitVariable(LTLParser.VariableContext ctx)
variable
labeled alternative in LTLParser.atomExpression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitVariable
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitNested(LTLParser.NestedContext ctx)
nested
labeled alternative in LTLParser.atomExpression()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitNested
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitUnaryOp(LTLParser.UnaryOpContext ctx)
LTLParser.unaryOp()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitUnaryOp
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitBinaryOp(LTLParser.BinaryOpContext ctx)
LTLParser.binaryOp()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBinaryOp
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitBool(LTLParser.BoolContext ctx)
LTLParser.bool()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitBool
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitFrequencyOp(LTLParser.FrequencyOpContext ctx)
LTLParser.frequencyOp()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitFrequencyOp
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitFraction(LTLParser.FractionContext ctx)
fraction
labeled alternative in LTLParser.frequencySpec()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitFraction
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitProbability(LTLParser.ProbabilityContext ctx)
probability
labeled alternative in LTLParser.frequencySpec()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitProbability
in interface LTLParserVisitor<T>
ctx
- the parse treepublic T visitComparison(LTLParser.ComparisonContext ctx)
LTLParser.comparison()
.
The default implementation returns the result of calling
AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode)
on ctx
.
visitComparison
in interface LTLParserVisitor<T>
ctx
- the parse tree