Class AbstractTemporalLogicBaseVisitor<T>

java.lang.Object

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

AbstractTemporalLogicBaseVisitor<T>

Type Parameters:

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

All Implemented Interfaces:

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

public class AbstractTemporalLogicBaseVisitor<T>
extends org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T>
implements AbstractTemporalLogicVisitor<T>

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

Constructor Summary

Constructors

Constructor	Description
AbstractTemporalLogicBaseVisitor()

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 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

AbstractTemporalLogicBaseVisitor

public AbstractTemporalLogicBaseVisitor()

Method Details

visitUnaryOperator

public T visitUnaryOperator(AbstractTemporalLogicParser.UnaryOperatorContext ctx)

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

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

Specified by:

visitUnaryOperator in interface AbstractTemporalLogicVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitUnaryTemporalOperator

public T visitUnaryTemporalOperator(AbstractTemporalLogicParser.UnaryTemporalOperatorContext ctx)

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

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

Specified by:

visitUnaryTemporalOperator in interface AbstractTemporalLogicVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitBinaryOperator

public T visitBinaryOperator(AbstractTemporalLogicParser.BinaryOperatorContext ctx)

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

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

Specified by:

visitBinaryOperator in interface AbstractTemporalLogicVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitBinaryTemporalOperator

public T visitBinaryTemporalOperator(AbstractTemporalLogicParser.BinaryTemporalOperatorContext ctx)

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

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

Specified by:

visitBinaryTemporalOperator in interface AbstractTemporalLogicVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitComparisonOperator

public T visitComparisonOperator(AbstractTemporalLogicParser.ComparisonOperatorContext ctx)

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

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

Specified by:

visitComparisonOperator in interface AbstractTemporalLogicVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitValue

public T visitValue(AbstractTemporalLogicParser.ValueContext ctx)

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

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

Specified by:

visitValue in interface AbstractTemporalLogicVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitInterval

public T visitInterval(AbstractTemporalLogicParser.IntervalContext ctx)

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

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

Specified by:

visitInterval in interface AbstractTemporalLogicVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result