Class CTLBaseVisitor<T>

java.lang.Object

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

CTLBaseVisitor<T>

Type Parameters:

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

All Implemented Interfaces:

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

public class CTLBaseVisitor<T>
extends org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T>
implements CTLVisitor<T>

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

Constructor Summary

Constructors

Constructor and Description
CTLBaseVisitor()

Method Summary

Modifier and Type	Method and Description
T	visitAnd(CTLParser.AndContext ctx) Visit a parse tree produced by the And labeled alternative in CTLParser.formula().
T	visitAtomicProposition(CTLParser.AtomicPropositionContext ctx) Visit a parse tree produced by the AtomicProposition labeled alternative in CTLParser.formula().
T	visitBracket(CTLParser.BracketContext ctx) Visit a parse tree produced by the Bracket labeled alternative in CTLParser.formula().
T	visitExistsAlways(CTLParser.ExistsAlwaysContext ctx) Visit a parse tree produced by the ExistsAlways labeled alternative in CTLParser.formula().
T	visitExistsEventually(CTLParser.ExistsEventuallyContext ctx) Visit a parse tree produced by the ExistsEventually labeled alternative in CTLParser.formula().
T	visitExistsNext(CTLParser.ExistsNextContext ctx) Visit a parse tree produced by the ExistsNext labeled alternative in CTLParser.formula().
T	visitExistsUntil(CTLParser.ExistsUntilContext ctx) Visit a parse tree produced by the ExistsUntil labeled alternative in CTLParser.formula().
T	visitFalse(CTLParser.FalseContext ctx) Visit a parse tree produced by the False labeled alternative in CTLParser.formula().
T	visitForAllAlways(CTLParser.ForAllAlwaysContext ctx) Visit a parse tree produced by the ForAllAlways labeled alternative in CTLParser.formula().
T	visitForAllEventually(CTLParser.ForAllEventuallyContext ctx) Visit a parse tree produced by the ForAllEventually labeled alternative in CTLParser.formula().
T	visitForAllNext(CTLParser.ForAllNextContext ctx) Visit a parse tree produced by the ForAllNext labeled alternative in CTLParser.formula().
T	visitForAllUntil(CTLParser.ForAllUntilContext ctx) Visit a parse tree produced by the ForAllUntil labeled alternative in CTLParser.formula().
T	visitIff(CTLParser.IffContext ctx) Visit a parse tree produced by the Iff labeled alternative in CTLParser.formula().
T	visitImplies(CTLParser.ImpliesContext ctx) Visit a parse tree produced by the Implies labeled alternative in CTLParser.formula().
T	visitNot(CTLParser.NotContext ctx) Visit a parse tree produced by the Not labeled alternative in CTLParser.formula().
T	visitOr(CTLParser.OrContext ctx) Visit a parse tree produced by the Or labeled alternative in CTLParser.formula().
T	visitRoot(CTLParser.RootContext ctx) Visit a parse tree produced by CTLParser.root().
T	visitTrue(CTLParser.TrueContext ctx) Visit a parse tree produced by the True labeled alternative in CTLParser.formula().

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 Detail

CTLBaseVisitor

public CTLBaseVisitor()

Method Detail

visitRoot

public T visitRoot(CTLParser.RootContext ctx)

Visit a parse tree produced by CTLParser.root().

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

Specified by:

visitRoot in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitBracket

public T visitBracket(CTLParser.BracketContext ctx)

Visit a parse tree produced by the Bracket labeled alternative in CTLParser.formula().

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

Specified by:

visitBracket in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitForAllAlways

public T visitForAllAlways(CTLParser.ForAllAlwaysContext ctx)

Visit a parse tree produced by the ForAllAlways labeled alternative in CTLParser.formula().

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

Specified by:

visitForAllAlways in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitOr

public T visitOr(CTLParser.OrContext ctx)

Visit a parse tree produced by the Or labeled alternative in CTLParser.formula().

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

Specified by:

visitOr in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitIff

public T visitIff(CTLParser.IffContext ctx)

Visit a parse tree produced by the Iff labeled alternative in CTLParser.formula().

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

Specified by:

visitIff in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitTrue

public T visitTrue(CTLParser.TrueContext ctx)

Visit a parse tree produced by the True labeled alternative in CTLParser.formula().

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

Specified by:

visitTrue in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitFalse

public T visitFalse(CTLParser.FalseContext ctx)

Visit a parse tree produced by the False labeled alternative in CTLParser.formula().

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

Specified by:

visitFalse in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitExistsEventually

public T visitExistsEventually(CTLParser.ExistsEventuallyContext ctx)

Visit a parse tree produced by the ExistsEventually labeled alternative in CTLParser.formula().

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

Specified by:

visitExistsEventually in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitAtomicProposition

public T visitAtomicProposition(CTLParser.AtomicPropositionContext ctx)

Visit a parse tree produced by the AtomicProposition labeled alternative in CTLParser.formula().

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

Specified by:

visitAtomicProposition in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitForAllEventually

public T visitForAllEventually(CTLParser.ForAllEventuallyContext ctx)

Visit a parse tree produced by the ForAllEventually labeled alternative in CTLParser.formula().

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

Specified by:

visitForAllEventually in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitNot

public T visitNot(CTLParser.NotContext ctx)

Visit a parse tree produced by the Not labeled alternative in CTLParser.formula().

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

Specified by:

visitNot in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitForAllUntil

public T visitForAllUntil(CTLParser.ForAllUntilContext ctx)

Visit a parse tree produced by the ForAllUntil labeled alternative in CTLParser.formula().

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

Specified by:

visitForAllUntil in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitImplies

public T visitImplies(CTLParser.ImpliesContext ctx)

Visit a parse tree produced by the Implies labeled alternative in CTLParser.formula().

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

Specified by:

visitImplies in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitForAllNext

public T visitForAllNext(CTLParser.ForAllNextContext ctx)

Visit a parse tree produced by the ForAllNext labeled alternative in CTLParser.formula().

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

Specified by:

visitForAllNext in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitAnd

public T visitAnd(CTLParser.AndContext ctx)

Visit a parse tree produced by the And labeled alternative in CTLParser.formula().

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

Specified by:

visitAnd in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitExistsAlways

public T visitExistsAlways(CTLParser.ExistsAlwaysContext ctx)

Visit a parse tree produced by the ExistsAlways labeled alternative in CTLParser.formula().

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

Specified by:

visitExistsAlways in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitExistsUntil

public T visitExistsUntil(CTLParser.ExistsUntilContext ctx)

Visit a parse tree produced by the ExistsUntil labeled alternative in CTLParser.formula().

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

Specified by:

visitExistsUntil in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitExistsNext

public T visitExistsNext(CTLParser.ExistsNextContext ctx)

Visit a parse tree produced by the ExistsNext labeled alternative in CTLParser.formula().

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

Specified by:

visitExistsNext in interface CTLVisitor<T>

Parameters:

ctx - the parse tree

Returns:

the visitor result