Package net.maswag.falcaun

Class LTLBaseVisitor<T>

java.lang.Object

org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T>

net.maswag.falcaun.LTLBaseVisitor<T>

Type Parameters:

T - The return type of the visit operation. Use Void for operations with no return type.

All Implemented Interfaces:

LTLVisitor<T>, org.antlr.v4.runtime.tree.ParseTreeVisitor<T>

Direct Known Subclasses:

LTLVisitorImpl

public class LTLBaseVisitor<T>
extends org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T>
implements LTLVisitor<T>

This class provides an empty implementation of LTLVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.

Constructor Summary

Constructors

Constructor	Description
LTLBaseVisitor()

Method Summary

Modifier and Type	Method	Description
T	visitBinaryOperator(LTLParser.BinaryOperatorContext ctx)	Visit a parse tree produced by LTLParser.binaryOperator().
T	visitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)	Visit a parse tree produced by LTLParser.binaryTemporalOperator().
T	visitComparisonOperator(LTLParser.ComparisonOperatorContext ctx)	Visit a parse tree produced by LTLParser.comparisonOperator().
T	visitExpr(LTLParser.ExprContext ctx)	Visit a parse tree produced by LTLParser.expr().
T	visitInterval(LTLParser.IntervalContext ctx)	Visit a parse tree produced by LTLParser.interval().
T	visitUnaryOperator(LTLParser.UnaryOperatorContext ctx)	Visit a parse tree produced by LTLParser.unaryOperator().
T	visitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)	Visit a parse tree produced by LTLParser.unaryTemporalOperator().
T	visitValue(LTLParser.ValueContext ctx)	Visit a parse tree produced by LTLParser.value().

Methods inherited from class org.antlr.v4.runtime.tree.AbstractParseTreeVisitor

aggregateResult, defaultResult, shouldVisitNextChild, visit, visitChildren, visitErrorNode, visitTerminal

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.antlr.v4.runtime.tree.ParseTreeVisitor

visit, visitChildren, visitErrorNode, visitTerminal

Constructor Details

LTLBaseVisitor

public LTLBaseVisitor()

Method Details

visitExpr

public T visitExpr(LTLParser.ExprContext ctx)

Visit a parse tree produced by LTLParser.expr().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitExpr in interface LTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitUnaryOperator

public T visitUnaryOperator(LTLParser.UnaryOperatorContext ctx)

Visit a parse tree produced by LTLParser.unaryOperator().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitUnaryOperator in interface LTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitUnaryTemporalOperator

public T visitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)

Visit a parse tree produced by LTLParser.unaryTemporalOperator().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitUnaryTemporalOperator in interface LTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitBinaryOperator

public T visitBinaryOperator(LTLParser.BinaryOperatorContext ctx)

Visit a parse tree produced by LTLParser.binaryOperator().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitBinaryOperator in interface LTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitBinaryTemporalOperator

public T visitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)

Visit a parse tree produced by LTLParser.binaryTemporalOperator().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitBinaryTemporalOperator in interface LTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitComparisonOperator

public T visitComparisonOperator(LTLParser.ComparisonOperatorContext ctx)

Visit a parse tree produced by LTLParser.comparisonOperator().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitComparisonOperator in interface LTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitValue

public T visitValue(LTLParser.ValueContext ctx)

Visit a parse tree produced by LTLParser.value().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitValue in interface LTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitInterval

public T visitInterval(LTLParser.IntervalContext ctx)

Visit a parse tree produced by LTLParser.interval().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitInterval in interface LTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result