Class CTLParser.ExistsEventuallyContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

CTLParser.FormulaContext

CTLParser.ExistsEventuallyContext

All Implemented Interfaces:

org.antlr.v4.runtime.tree.ParseTree, org.antlr.v4.runtime.tree.RuleNode, org.antlr.v4.runtime.tree.SyntaxTree, org.antlr.v4.runtime.tree.Tree

Enclosing class:

CTLParser

public static class CTLParser.ExistsEventuallyContext
extends CTLParser.FormulaContext

Field Summary

Fields inherited from class org.antlr.v4.runtime.ParserRuleContext

children, exception, start, stop

Fields inherited from class org.antlr.v4.runtime.RuleContext

EMPTY, invokingState, parent

Constructor Summary

Constructors

Constructor and Description
ExistsEventuallyContext(CTLParser.FormulaContext ctx)

Method Summary

Modifier and Type	Method and Description
<T> T	accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)
org.antlr.v4.runtime.tree.TerminalNode	E()
org.antlr.v4.runtime.tree.TerminalNode	F()
CTLParser.FormulaContext	formula()

Methods inherited from class CTLParser.FormulaContext

copyFrom, getRuleIndex

Methods inherited from class org.antlr.v4.runtime.ParserRuleContext

addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, enterRule, exitRule, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString

Methods inherited from class org.antlr.v4.runtime.RuleContext

depth, getAltNumber, getPayload, getRuleContext, getText, isEmpty, setAltNumber, setParent, toString, toString, toString, toString, toString, toStringTree, toStringTree, toStringTree

Methods inherited from class java.lang.Object

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

Constructor Detail

ExistsEventuallyContext

public ExistsEventuallyContext(CTLParser.FormulaContext ctx)

Method Detail

E

public org.antlr.v4.runtime.tree.TerminalNode E()

F

public org.antlr.v4.runtime.tree.TerminalNode F()

formula

public CTLParser.FormulaContext formula()

accept

public <T> T accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)

Specified by:

accept in interface org.antlr.v4.runtime.tree.ParseTree

Overrides:

accept in class org.antlr.v4.runtime.RuleContext