Package net.maswag.falcaun

Interface LTLVisitor<T>

Type Parameters:

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

All Superinterfaces:

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

All Known Implementing Classes:

LTLBaseVisitor, LTLVisitorImpl

public interface LTLVisitor<T>
extends org.antlr.v4.runtime.tree.ParseTreeVisitor<T>

This interface defines a complete generic visitor for a parse tree produced by LTLParser.

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 interface org.antlr.v4.runtime.tree.ParseTreeVisitor

visit, visitChildren, visitErrorNode, visitTerminal

Method Details

visitExpr

T visitExpr(LTLParser.ExprContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitUnaryOperator

T visitUnaryOperator(LTLParser.UnaryOperatorContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitUnaryTemporalOperator

T visitUnaryTemporalOperator(LTLParser.UnaryTemporalOperatorContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitBinaryOperator

T visitBinaryOperator(LTLParser.BinaryOperatorContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitBinaryTemporalOperator

T visitBinaryTemporalOperator(LTLParser.BinaryTemporalOperatorContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitComparisonOperator

T visitComparisonOperator(LTLParser.ComparisonOperatorContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitValue

T visitValue(LTLParser.ValueContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitInterval

T visitInterval(LTLParser.IntervalContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result