Class CTLParser.AtomicPropositionContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

CTLParser.FormulaContext

CTLParser.AtomicPropositionContext

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.AtomicPropositionContext
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
AtomicPropositionContext(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	ATOMIC_PROPOSITION()

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

AtomicPropositionContext

public AtomicPropositionContext(CTLParser.FormulaContext ctx)

Method Detail

ATOMIC_PROPOSITION

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

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