Package net.maswag.falcaun

Class LTLParser

java.lang.Object

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

org.antlr.v4.runtime.Parser

net.maswag.falcaun.LTLParser

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

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	LTLParser.BinaryOperatorContext
static class	LTLParser.BinaryTemporalOperatorContext
static class	LTLParser.ComparisonOperatorContext
static class	LTLParser.ExprContext
static class	LTLParser.IntervalContext
static class	LTLParser.UnaryOperatorContext
static class	LTLParser.UnaryTemporalOperatorContext
static class	LTLParser.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	INPUT
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	OUTPUT
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_expr
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
LTLParser(org.antlr.v4.runtime.TokenStream input)

Method Summary

Modifier and Type	Method	Description
final LTLParser.BinaryOperatorContext	binaryOperator()
final LTLParser.BinaryTemporalOperatorContext	binaryTemporalOperator()
final LTLParser.ComparisonOperatorContext	comparisonOperator()
final LTLParser.ExprContext	expr()
private LTLParser.ExprContext	expr(int _p)
private boolean	expr_sempred(LTLParser.ExprContext _localctx, int predIndex)
org.antlr.v4.runtime.atn.ATN	getATN()
String	getGrammarFileName()
String[]	getRuleNames()
String	getSerializedATN()
String[]	getTokenNames()	Deprecated.
org.antlr.v4.runtime.Vocabulary	getVocabulary()
final LTLParser.IntervalContext	interval()
private static String[]	makeLiteralNames()
private static String[]	makeRuleNames()
private static String[]	makeSymbolicNames()
boolean	sempred(org.antlr.v4.runtime.RuleContext _localctx, int ruleIndex, int predIndex)
final LTLParser.UnaryOperatorContext	unaryOperator()
final LTLParser.UnaryTemporalOperatorContext	unaryTemporalOperator()
final LTLParser.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, 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

INPUT

public static final int INPUT

See Also:

• Constant Field Values

OUTPUT

public static final int OUTPUT

See Also:

• Constant Field Values

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_expr

public static final int RULE_expr

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

LTLParser

public LTLParser(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>

expr

public final LTLParser.ExprContext expr()
                                 throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

expr

private LTLParser.ExprContext expr(int _p)
                            throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

unaryOperator

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

Throws:

org.antlr.v4.runtime.RecognitionException

unaryTemporalOperator

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

Throws:

org.antlr.v4.runtime.RecognitionException

binaryOperator

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

Throws:

org.antlr.v4.runtime.RecognitionException

binaryTemporalOperator

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

Throws:

org.antlr.v4.runtime.RecognitionException

comparisonOperator

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

Throws:

org.antlr.v4.runtime.RecognitionException

value

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

Throws:

org.antlr.v4.runtime.RecognitionException

interval

public final LTLParser.IntervalContext interval()
                                         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>

expr_sempred

private boolean expr_sempred(LTLParser.ExprContext _localctx,
 int predIndex)