Interface AbstractTemporalLogicVisitor<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:

AbstractTemporalLogicBaseVisitor

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

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

Method Summary

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

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

visit, visitChildren, visitErrorNode, visitTerminal

Method Details

visitUnaryOperator

T visitUnaryOperator(AbstractTemporalLogicParser.UnaryOperatorContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitUnaryTemporalOperator

T visitUnaryTemporalOperator(AbstractTemporalLogicParser.UnaryTemporalOperatorContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitBinaryOperator

T visitBinaryOperator(AbstractTemporalLogicParser.BinaryOperatorContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitBinaryTemporalOperator

T visitBinaryTemporalOperator(AbstractTemporalLogicParser.BinaryTemporalOperatorContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitComparisonOperator

T visitComparisonOperator(AbstractTemporalLogicParser.ComparisonOperatorContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitValue

T visitValue(AbstractTemporalLogicParser.ValueContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitInterval

T visitInterval(AbstractTemporalLogicParser.IntervalContext ctx)

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

Parameters:

ctx - the parse tree

Returns:

the visitor result