Class CTLParser.FormulaContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

CTLParser.FormulaContext

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

Direct Known Subclasses:

CTLParser.AndContext, CTLParser.AtomicPropositionContext, CTLParser.BracketContext, CTLParser.ExistsAlwaysContext, CTLParser.ExistsEventuallyContext, CTLParser.ExistsNextContext, CTLParser.ExistsUntilContext, CTLParser.FalseContext, CTLParser.ForAllAlwaysContext, CTLParser.ForAllEventuallyContext, CTLParser.ForAllNextContext, CTLParser.ForAllUntilContext, CTLParser.IffContext, CTLParser.ImpliesContext, CTLParser.NotContext, CTLParser.OrContext, CTLParser.TrueContext

Enclosing class:

CTLParser

public static class CTLParser.FormulaContext
extends org.antlr.v4.runtime.ParserRuleContext

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
FormulaContext()
FormulaContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)

Method Summary

Modifier and Type	Method and Description
void	copyFrom(CTLParser.FormulaContext ctx)
int	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

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

FormulaContext

public FormulaContext(org.antlr.v4.runtime.ParserRuleContext parent,
                      int invokingState)

FormulaContext

public FormulaContext()

Method Detail

getRuleIndex

public int getRuleIndex()

Overrides:

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

copyFrom

public void copyFrom(CTLParser.FormulaContext ctx)