Class CTLParser

java.lang.Object

org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

org.antlr.v4.runtime.Parser

CTLParser

public class CTLParser
extends org.antlr.v4.runtime.Parser

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	CTLParser.AndContext
static class	CTLParser.AtomicPropositionContext
static class	CTLParser.BracketContext
static class	CTLParser.ExistsAlwaysContext
static class	CTLParser.ExistsEventuallyContext
static class	CTLParser.ExistsNextContext
static class	CTLParser.ExistsUntilContext
static class	CTLParser.FalseContext
static class	CTLParser.ForAllAlwaysContext
static class	CTLParser.ForAllEventuallyContext
static class	CTLParser.ForAllNextContext
static class	CTLParser.ForAllUntilContext
static class	CTLParser.FormulaContext
static class	CTLParser.IffContext
static class	CTLParser.ImpliesContext
static class	CTLParser.NotContext
static class	CTLParser.OrContext
static class	CTLParser.RootContext
static class	CTLParser.TrueContext

Nested classes/interfaces inherited from class org.antlr.v4.runtime.Parser

org.antlr.v4.runtime.Parser.TraceListener, org.antlr.v4.runtime.Parser.TrimToSizeListener

Field Summary

Fields

Modifier and Type	Field and Description
static org.antlr.v4.runtime.atn.ATN	_ATN
protected static org.antlr.v4.runtime.dfa.DFA[]	_decisionToDFA
static java.lang.String	_serializedATN
protected static org.antlr.v4.runtime.atn.PredictionContextCache	_sharedContextCache
static int	A
static int	ATOMIC_PROPOSITION
static int	E
static int	EQUIV
static int	F
static int	FALSE
static int	G
static int	NEG
static int	RULE_formula
static int	RULE_root
static java.lang.String[]	ruleNames
static int	T__0
static int	T__1
static int	TO
static java.lang.String[]	tokenNames Deprecated. Use VOCABULARY instead.
static int	TRUE
static int	U
static int	VEE
static org.antlr.v4.runtime.Vocabulary	VOCABULARY
static int	WEDGE
static int	WS
static int	X

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

_buildParseTrees, _ctx, _errHandler, _input, _parseListeners, _precedenceStack, _syntaxErrors, matchedEOF

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

_interp, EOF

Constructor Summary

Constructors

Constructor and Description
CTLParser(org.antlr.v4.runtime.TokenStream input)

Method Summary

Modifier and Type	Method and Description
CTLParser.FormulaContext	formula()
org.antlr.v4.runtime.atn.ATN	getATN()
java.lang.String	getGrammarFileName()
java.lang.String[]	getRuleNames()
java.lang.String	getSerializedATN()
java.lang.String[]	getTokenNames() Deprecated.
org.antlr.v4.runtime.Vocabulary	getVocabulary()
CTLParser.RootContext	root()
boolean	sempred(org.antlr.v4.runtime.RuleContext _localctx, int ruleIndex, int predIndex)

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

addContextToParseTree, addParseListener, compileParseTreePattern, compileParseTreePattern, consume, createErrorNode, createTerminalNode, dumpDFA, enterOuterAlt, enterRecursionRule, enterRecursionRule, enterRule, exitRule, getATNWithBypassAlts, getBuildParseTree, getContext, getCurrentToken, getDFAStrings, getErrorHandler, getExpectedTokens, getExpectedTokensWithinCurrentRule, getInputStream, getInvokingContext, getNumberOfSyntaxErrors, getParseInfo, getParseListeners, getPrecedence, getRuleContext, getRuleIndex, getRuleInvocationStack, getRuleInvocationStack, getSourceName, getTokenFactory, getTokenStream, getTrimParseTree, inContext, isExpectedToken, isMatchedEOF, isTrace, match, matchWildcard, notifyErrorListeners, notifyErrorListeners, precpred, pushNewRecursionContext, removeParseListener, removeParseListeners, reset, setBuildParseTree, setContext, setErrorHandler, setInputStream, setProfile, setTokenFactory, setTokenStream, setTrace, setTrimParseTree, triggerEnterRuleEvent, triggerExitRuleEvent, unrollRecursionContexts

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

action, addErrorListener, getErrorHeader, getErrorListenerDispatch, getErrorListeners, getInterpreter, getRuleIndexMap, getState, getTokenErrorDisplay, getTokenType, getTokenTypeMap, removeErrorListener, removeErrorListeners, setInterpreter, setState

Methods inherited from class java.lang.Object

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

Field Detail

_decisionToDFA

protected static final org.antlr.v4.runtime.dfa.DFA[] _decisionToDFA

_sharedContextCache

protected static final org.antlr.v4.runtime.atn.PredictionContextCache _sharedContextCache

T__0

public static final int T__0

See Also:

Constant Field Values

T__1

public static final int T__1

See Also:

Constant Field Values

TRUE

public static final int TRUE

See Also:

Constant Field Values

FALSE

public static final int FALSE

See Also:

Constant Field Values

E

public static final int E

See Also:

Constant Field Values

A

public static final int A

See Also:

Constant Field Values

X

public static final int X

See Also:

Constant Field Values

U

public static final int U

See Also:

Constant Field Values

F

public static final int F

See Also:

Constant Field Values

G

public static final int G

See Also:

Constant Field Values

WEDGE

public static final int WEDGE

See Also:

Constant Field Values

VEE

public static final int VEE

See Also:

Constant Field Values

NEG

public static final int NEG

See Also:

Constant Field Values

TO

public static final int TO

See Also:

Constant Field Values

EQUIV

public static final int EQUIV

See Also:

Constant Field Values

ATOMIC_PROPOSITION

public static final int ATOMIC_PROPOSITION

See Also:

Constant Field Values

WS

public static final int WS

See Also:

Constant Field Values

RULE_root

public static final int RULE_root

See Also:

Constant Field Values

RULE_formula

public static final int RULE_formula

See Also:

Constant Field Values

ruleNames

public static final java.lang.String[] ruleNames

VOCABULARY

public static final org.antlr.v4.runtime.Vocabulary VOCABULARY

tokenNames

@Deprecated
public static final java.lang.String[] tokenNames

Deprecated. Use VOCABULARY instead.

_serializedATN

public static final java.lang.String _serializedATN

See Also:

Constant Field Values

_ATN

public static final org.antlr.v4.runtime.atn.ATN _ATN

Constructor Detail

CTLParser

public CTLParser(org.antlr.v4.runtime.TokenStream input)

Method Detail

getTokenNames

@Deprecated
public java.lang.String[] getTokenNames()

Deprecated.

Specified by:

getTokenNames in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getVocabulary

public org.antlr.v4.runtime.Vocabulary getVocabulary()

Overrides:

getVocabulary in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getGrammarFileName

public java.lang.String getGrammarFileName()

Specified by:

getGrammarFileName in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getRuleNames

public java.lang.String[] getRuleNames()

Specified by:

getRuleNames in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getSerializedATN

public java.lang.String getSerializedATN()

Overrides:

getSerializedATN in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getATN

public org.antlr.v4.runtime.atn.ATN getATN()

Specified by:

getATN in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

root

public final CTLParser.RootContext root()
                                 throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

formula

public final CTLParser.FormulaContext formula()
                                       throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

sempred

public boolean sempred(org.antlr.v4.runtime.RuleContext _localctx,
                       int ruleIndex,
                       int predIndex)

Overrides:

sempred in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>