Class AbstractTemporalLogicParser

java.lang.Object

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

org.antlr.v4.runtime.Parser

AbstractTemporalLogicParser

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

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	AbstractTemporalLogicParser.BinaryOperatorContext
static class	AbstractTemporalLogicParser.BinaryTemporalOperatorContext
static class	AbstractTemporalLogicParser.ComparisonOperatorContext
static class	AbstractTemporalLogicParser.IntervalContext
static class	AbstractTemporalLogicParser.UnaryOperatorContext
static class	AbstractTemporalLogicParser.UnaryTemporalOperatorContext
static class	AbstractTemporalLogicParser.ValueContext

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	Description
static final org.antlr.v4.runtime.atn.ATN	_ATN
protected static final org.antlr.v4.runtime.dfa.DFA[]	_decisionToDFA
private static final String[]	_LITERAL_NAMES
static final String	_serializedATN
protected static final org.antlr.v4.runtime.atn.PredictionContextCache	_sharedContextCache
private static final String[]	_SYMBOLIC_NAMES
static final int	AND
static final int	COMMA
static final int	EQ
static final int	EVENTUALLY
static final int	FLOAT
static final int	GLOBALLY
static final int	GT
static final int	ID
static final int	IMPLY
static final int	LBRACKET
static final int	LPAREN
static final int	LT
static final int	MINUS
static final int	NATURAL
static final int	NE
static final int	NEWLINE
static final int	NEXT
static final int	NOT
static final int	OR
static final int	RBRACKET
static final int	RELEASE
static final int	RPAREN
static final int	RULE_binaryOperator
static final int	RULE_binaryTemporalOperator
static final int	RULE_comparisonOperator
static final int	RULE_interval
static final int	RULE_unaryOperator
static final int	RULE_unaryTemporalOperator
static final int	RULE_value
static final String[]	ruleNames
static final String[]	tokenNames	Deprecated. Use VOCABULARY instead.
static final int	UNDER
static final int	UNTIL
static final org.antlr.v4.runtime.Vocabulary	VOCABULARY
static final int	WS

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	Description
AbstractTemporalLogicParser(org.antlr.v4.runtime.TokenStream input)

Method Summary

Modifier and Type	Method	Description
final AbstractTemporalLogicParser.BinaryOperatorContext	binaryOperator()
final AbstractTemporalLogicParser.BinaryTemporalOperatorContext	binaryTemporalOperator()
final AbstractTemporalLogicParser.ComparisonOperatorContext	comparisonOperator()
org.antlr.v4.runtime.atn.ATN	getATN()
String	getGrammarFileName()
String[]	getRuleNames()
String	getSerializedATN()
String[]	getTokenNames()	Deprecated.
org.antlr.v4.runtime.Vocabulary	getVocabulary()
final AbstractTemporalLogicParser.IntervalContext	interval()
private static String[]	makeLiteralNames()
private static String[]	makeRuleNames()
private static String[]	makeSymbolicNames()
final AbstractTemporalLogicParser.UnaryOperatorContext	unaryOperator()
final AbstractTemporalLogicParser.UnaryTemporalOperatorContext	unaryTemporalOperator()
final AbstractTemporalLogicParser.ValueContext	value()

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

addContextToParseTree, addParseListener, compileParseTreePattern, compileParseTreePattern, consume, createErrorNode, createTerminalNode, dumpDFA, 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, sempred, setInterpreter, setState

Methods inherited from class java.lang.Object

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

Field Details

_decisionToDFA

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

_sharedContextCache

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

NEWLINE

public static final int NEWLINE

See Also:

• Constant Field Values

WS

public static final int WS

See Also:

• Constant Field Values

UNDER

public static final int UNDER

See Also:

• Constant Field Values

LBRACKET

public static final int LBRACKET

See Also:

• Constant Field Values

RBRACKET

public static final int RBRACKET

See Also:

• Constant Field Values

COMMA

public static final int COMMA

See Also:

• Constant Field Values

GLOBALLY

public static final int GLOBALLY

See Also:

• Constant Field Values

EVENTUALLY

public static final int EVENTUALLY

See Also:

• Constant Field Values

UNTIL

public static final int UNTIL

See Also:

• Constant Field Values

RELEASE

public static final int RELEASE

See Also:

• Constant Field Values

NEXT

public static final int NEXT

See Also:

• Constant Field Values

OR

public static final int OR

See Also:

• Constant Field Values

AND

public static final int AND

See Also:

• Constant Field Values

IMPLY

public static final int IMPLY

See Also:

• Constant Field Values

NOT

public static final int NOT

See Also:

• Constant Field Values

EQ

public static final int EQ

See Also:

• Constant Field Values

NE

public static final int NE

See Also:

• Constant Field Values

LT

public static final int LT

See Also:

• Constant Field Values

GT

public static final int GT

See Also:

• Constant Field Values

NATURAL

public static final int NATURAL

See Also:

• Constant Field Values

MINUS

public static final int MINUS

See Also:

• Constant Field Values

FLOAT

public static final int FLOAT

See Also:

• Constant Field Values

LPAREN

public static final int LPAREN

See Also:

• Constant Field Values

RPAREN

public static final int RPAREN

See Also:

• Constant Field Values

ID

public static final int ID

See Also:

• Constant Field Values

RULE_unaryOperator

public static final int RULE_unaryOperator

See Also:

• Constant Field Values

RULE_unaryTemporalOperator

public static final int RULE_unaryTemporalOperator

See Also:

• Constant Field Values

RULE_binaryOperator

public static final int RULE_binaryOperator

See Also:

• Constant Field Values

RULE_binaryTemporalOperator

public static final int RULE_binaryTemporalOperator

See Also:

• Constant Field Values

RULE_comparisonOperator

public static final int RULE_comparisonOperator

See Also:

• Constant Field Values

RULE_value

public static final int RULE_value

See Also:

• Constant Field Values

RULE_interval

public static final int RULE_interval

See Also:

• Constant Field Values

ruleNames

public static final String[] ruleNames

_LITERAL_NAMES

private static final String[] _LITERAL_NAMES

_SYMBOLIC_NAMES

private static final String[] _SYMBOLIC_NAMES

VOCABULARY

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

tokenNames

@Deprecated
public static final String[] tokenNames

Deprecated.

Use VOCABULARY instead.

_serializedATN

public static final String _serializedATN

See Also:

• Constant Field Values

_ATN

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

Constructor Details

AbstractTemporalLogicParser

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

Method Details

makeRuleNames

private static String[] makeRuleNames()

makeLiteralNames

private static String[] makeLiteralNames()

makeSymbolicNames

private static String[] makeSymbolicNames()

getTokenNames

@Deprecated
public 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 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 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 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>

unaryOperator

public final AbstractTemporalLogicParser.UnaryOperatorContext unaryOperator()
                                                                     throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

unaryTemporalOperator

public final AbstractTemporalLogicParser.UnaryTemporalOperatorContext unaryTemporalOperator()
                                                                                     throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

binaryOperator

public final AbstractTemporalLogicParser.BinaryOperatorContext binaryOperator()
                                                                       throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

binaryTemporalOperator

public final AbstractTemporalLogicParser.BinaryTemporalOperatorContext binaryTemporalOperator()
                                                                                       throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

comparisonOperator

public final AbstractTemporalLogicParser.ComparisonOperatorContext comparisonOperator()
                                                                               throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

value

public final AbstractTemporalLogicParser.ValueContext value()
                                                     throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

interval

public final AbstractTemporalLogicParser.IntervalContext interval()
                                                           throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException