public class LTLParser
extends org.antlr.v4.runtime.Parser
Modifier and Type | Class | Description |
---|---|---|
static class |
LTLParser.AndExpressionContext |
|
static class |
LTLParser.AtomExpressionContext |
|
static class |
LTLParser.BinaryExpressionContext |
|
static class |
LTLParser.BinaryOpContext |
|
static class |
LTLParser.BinaryOperationContext |
|
static class |
LTLParser.BinaryUnaryContext |
|
static class |
LTLParser.BoolContext |
|
static class |
LTLParser.BooleanContext |
|
static class |
LTLParser.ComparisonContext |
|
static class |
LTLParser.ExpressionContext |
|
static class |
LTLParser.FormulaContext |
|
static class |
LTLParser.FractionContext |
|
static class |
LTLParser.FrequencyOpContext |
|
static class |
LTLParser.FrequencySpecContext |
|
static class |
LTLParser.NestedContext |
|
static class |
LTLParser.OrExpressionContext |
|
static class |
LTLParser.ProbabilityContext |
|
static class |
LTLParser.UnaryAtomContext |
|
static class |
LTLParser.UnaryExpressionContext |
|
static class |
LTLParser.UnaryOpContext |
|
static class |
LTLParser.UnaryOperationContext |
|
static class |
LTLParser.VariableContext |
Modifier and Type | Field | 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 |
AND |
|
static int |
BIIMP |
|
static int |
DIVISION |
|
static int |
EQ |
|
static int |
FALSE |
|
static int |
FINALLY |
|
static int |
GE |
|
static int |
GLOBALLY |
|
static int |
GT |
|
static int |
IMP |
|
static int |
INF |
|
static int |
LCPAREN |
|
static int |
LE |
|
static int |
LPAREN |
|
static int |
LT |
|
static int |
NEXT |
|
static int |
NOT |
|
static int |
OR |
|
static int |
POS_NUMBER |
|
static int |
PROBABILITY |
|
static int |
RCPAREN |
|
static int |
RELEASE |
|
static int |
RPAREN |
|
static int |
RULE_andExpression |
|
static int |
RULE_atomExpression |
|
static int |
RULE_binaryExpression |
|
static int |
RULE_binaryOp |
|
static int |
RULE_bool |
|
static int |
RULE_comparison |
|
static int |
RULE_expression |
|
static int |
RULE_formula |
|
static int |
RULE_frequencyOp |
|
static int |
RULE_frequencySpec |
|
static int |
RULE_orExpression |
|
static int |
RULE_unaryExpression |
|
static int |
RULE_unaryOp |
|
static java.lang.String[] |
ruleNames |
|
static int |
SKIP_DEF |
|
static int |
SKIP_FREQ |
|
static int |
SRELEASE |
|
static int |
SUP |
|
static java.lang.String[] |
tokenNames |
Deprecated.
Use
VOCABULARY instead. |
static int |
TRUE |
|
static int |
UNTIL |
|
static int |
VARIABLE |
|
static org.antlr.v4.runtime.Vocabulary |
VOCABULARY |
|
static int |
WUNTIL |
|
static int |
XOR |
Constructor | Description |
---|---|
LTLParser(org.antlr.v4.runtime.TokenStream input) |
Modifier and Type | Method | Description |
---|---|---|
LTLParser.AndExpressionContext |
andExpression() |
|
LTLParser.AtomExpressionContext |
atomExpression() |
|
LTLParser.BinaryExpressionContext |
binaryExpression() |
|
LTLParser.BinaryOpContext |
binaryOp() |
|
LTLParser.BoolContext |
bool() |
|
LTLParser.ComparisonContext |
comparison() |
|
LTLParser.ExpressionContext |
expression() |
|
LTLParser.FormulaContext |
formula() |
|
LTLParser.FrequencyOpContext |
frequencyOp() |
|
LTLParser.FrequencySpecContext |
frequencySpec() |
|
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() |
|
LTLParser.OrExpressionContext |
orExpression() |
|
LTLParser.UnaryExpressionContext |
unaryExpression() |
|
LTLParser.UnaryOpContext |
unaryOp() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
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
action, addErrorListener, getErrorHeader, getErrorListenerDispatch, getErrorListeners, getInterpreter, getRuleIndexMap, getState, getTokenErrorDisplay, getTokenType, getTokenTypeMap, removeErrorListener, removeErrorListeners, sempred, setInterpreter, setState
protected static final org.antlr.v4.runtime.dfa.DFA[] _decisionToDFA
protected static final org.antlr.v4.runtime.atn.PredictionContextCache _sharedContextCache
public static final int TRUE
public static final int FALSE
public static final int NOT
public static final int IMP
public static final int BIIMP
public static final int XOR
public static final int AND
public static final int OR
public static final int FINALLY
public static final int GLOBALLY
public static final int NEXT
public static final int UNTIL
public static final int WUNTIL
public static final int RELEASE
public static final int SRELEASE
public static final int LPAREN
public static final int RPAREN
public static final int LCPAREN
public static final int VARIABLE
public static final int SKIP_DEF
public static final int PROBABILITY
public static final int POS_NUMBER
public static final int DIVISION
public static final int GT
public static final int GE
public static final int LT
public static final int LE
public static final int EQ
public static final int SUP
public static final int INF
public static final int RCPAREN
public static final int SKIP_FREQ
public static final int RULE_formula
public static final int RULE_expression
public static final int RULE_orExpression
public static final int RULE_andExpression
public static final int RULE_binaryExpression
public static final int RULE_unaryExpression
public static final int RULE_atomExpression
public static final int RULE_unaryOp
public static final int RULE_binaryOp
public static final int RULE_bool
public static final int RULE_frequencyOp
public static final int RULE_frequencySpec
public static final int RULE_comparison
public static final java.lang.String[] ruleNames
public static final org.antlr.v4.runtime.Vocabulary VOCABULARY
@Deprecated public static final java.lang.String[] tokenNames
VOCABULARY
instead.public static final java.lang.String _serializedATN
public static final org.antlr.v4.runtime.atn.ATN _ATN
@Deprecated public java.lang.String[] getTokenNames()
getTokenNames
in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
public org.antlr.v4.runtime.Vocabulary getVocabulary()
getVocabulary
in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
public java.lang.String getGrammarFileName()
getGrammarFileName
in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
public java.lang.String[] getRuleNames()
getRuleNames
in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
public java.lang.String getSerializedATN()
getSerializedATN
in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
public org.antlr.v4.runtime.atn.ATN getATN()
getATN
in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
public final LTLParser.FormulaContext formula() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final LTLParser.ExpressionContext expression() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final LTLParser.OrExpressionContext orExpression() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final LTLParser.AndExpressionContext andExpression() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final LTLParser.BinaryExpressionContext binaryExpression() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final LTLParser.UnaryExpressionContext unaryExpression() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final LTLParser.AtomExpressionContext atomExpression() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final LTLParser.UnaryOpContext unaryOp() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final LTLParser.BinaryOpContext binaryOp() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final LTLParser.BoolContext bool() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final LTLParser.FrequencyOpContext frequencyOp() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final LTLParser.FrequencySpecContext frequencySpec() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final LTLParser.ComparisonContext comparison() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException