Class CTLParser.ForAllAlwaysContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

CTLParser.FormulaContext

CTLParser.ForAllAlwaysContext

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.ForAllAlwaysContext
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
ForAllAlwaysContext(CTLParser.FormulaContext ctx)

Method Summary

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

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

ForAllAlwaysContext

public ForAllAlwaysContext(CTLParser.FormulaContext ctx)

Method Detail

A

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

G

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

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