Package owl.grammar
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
-
- owl.grammar.LTLParser
-
public class LTLParser extends org.antlr.v4.runtime.Parser
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classLTLParser.AndExpressionContextstatic classLTLParser.AtomExpressionContextstatic classLTLParser.BinaryExpressionContextstatic classLTLParser.BinaryOpContextstatic classLTLParser.BinaryOperationContextstatic classLTLParser.BinaryUnaryContextstatic classLTLParser.BoolContextstatic classLTLParser.BooleanContextstatic classLTLParser.DoubleQuotedVariableContextstatic classLTLParser.ExpressionContextstatic classLTLParser.FormulaContextstatic classLTLParser.NestedContextstatic classLTLParser.OrExpressionContextstatic classLTLParser.SingleQuotedVariableContextstatic classLTLParser.UnaryAtomContextstatic classLTLParser.UnaryExpressionContextstatic classLTLParser.UnaryOpContextstatic classLTLParser.UnaryOperationContextstatic classLTLParser.VariableContext
-
Field Summary
Fields Modifier and Type Field Description static org.antlr.v4.runtime.atn.ATN_ATNprotected static org.antlr.v4.runtime.dfa.DFA[]_decisionToDFAstatic String_serializedATNprotected static org.antlr.v4.runtime.atn.PredictionContextCache_sharedContextCachestatic intANDstatic intBIIMPstatic intDOUBLE_QUOTED_VARIABLEstatic intERRORstatic intFALSEstatic intFINALLYstatic intGLOBALLYstatic intIMPstatic intLDQUOTEstatic intLPARENstatic intLSQUOTEstatic intNEXTstatic intNOTstatic intORstatic intRDQUOTEstatic intRELEASEstatic intRPARENstatic intRSQUOTEstatic intRULE_andExpressionstatic intRULE_atomExpressionstatic intRULE_binaryExpressionstatic intRULE_binaryOpstatic intRULE_boolstatic intRULE_expressionstatic intRULE_formulastatic intRULE_orExpressionstatic intRULE_unaryExpressionstatic intRULE_unaryOpstatic String[]ruleNamesstatic intSINGLE_QUOTED_VARIABLEstatic intSKIP_DEFstatic intSRELEASEstatic String[]tokenNamesDeprecated.UseVOCABULARYinstead.static intTRUEstatic intUNTILstatic intVARIABLEstatic org.antlr.v4.runtime.VocabularyVOCABULARYstatic intWUNTILstatic intXOR
-
Constructor Summary
Constructors Constructor Description LTLParser(org.antlr.v4.runtime.TokenStream input)
-
Method Summary
All Methods Instance Methods Concrete Methods Deprecated Methods Modifier and Type Method Description LTLParser.AndExpressionContextandExpression()LTLParser.AtomExpressionContextatomExpression()LTLParser.BinaryExpressionContextbinaryExpression()LTLParser.BinaryOpContextbinaryOp()LTLParser.BoolContextbool()LTLParser.ExpressionContextexpression()LTLParser.FormulaContextformula()org.antlr.v4.runtime.atn.ATNgetATN()StringgetGrammarFileName()String[]getRuleNames()StringgetSerializedATN()String[]getTokenNames()Deprecated.org.antlr.v4.runtime.VocabularygetVocabulary()LTLParser.OrExpressionContextorExpression()LTLParser.UnaryExpressionContextunaryExpression()LTLParser.UnaryOpContextunaryOp()-
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, sempred, setInterpreter, setState
-
-
-
-
Field Detail
-
_decisionToDFA
protected static final org.antlr.v4.runtime.dfa.DFA[] _decisionToDFA
-
_sharedContextCache
protected static final org.antlr.v4.runtime.atn.PredictionContextCache _sharedContextCache
-
TRUE
public static final int TRUE
- See Also:
- Constant Field Values
-
FALSE
public static final int FALSE
- See Also:
- Constant Field Values
-
NOT
public static final int NOT
- See Also:
- Constant Field Values
-
IMP
public static final int IMP
- See Also:
- Constant Field Values
-
BIIMP
public static final int BIIMP
- See Also:
- Constant Field Values
-
XOR
public static final int XOR
- See Also:
- Constant Field Values
-
AND
public static final int AND
- See Also:
- Constant Field Values
-
OR
public static final int OR
- See Also:
- Constant Field Values
-
FINALLY
public static final int FINALLY
- See Also:
- Constant Field Values
-
GLOBALLY
public static final int GLOBALLY
- See Also:
- Constant Field Values
-
NEXT
public static final int NEXT
- See Also:
- Constant Field Values
-
UNTIL
public static final int UNTIL
- See Also:
- Constant Field Values
-
WUNTIL
public static final int WUNTIL
- See Also:
- Constant Field Values
-
RELEASE
public static final int RELEASE
- See Also:
- Constant Field Values
-
SRELEASE
public static final int SRELEASE
- 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
-
LDQUOTE
public static final int LDQUOTE
- See Also:
- Constant Field Values
-
LSQUOTE
public static final int LSQUOTE
- See Also:
- Constant Field Values
-
VARIABLE
public static final int VARIABLE
- See Also:
- Constant Field Values
-
SKIP_DEF
public static final int SKIP_DEF
- See Also:
- Constant Field Values
-
RDQUOTE
public static final int RDQUOTE
- See Also:
- Constant Field Values
-
DOUBLE_QUOTED_VARIABLE
public static final int DOUBLE_QUOTED_VARIABLE
- See Also:
- Constant Field Values
-
RSQUOTE
public static final int RSQUOTE
- See Also:
- Constant Field Values
-
SINGLE_QUOTED_VARIABLE
public static final int SINGLE_QUOTED_VARIABLE
- See Also:
- Constant Field Values
-
ERROR
public static final int ERROR
- See Also:
- Constant Field Values
-
RULE_formula
public static final int RULE_formula
- See Also:
- Constant Field Values
-
RULE_expression
public static final int RULE_expression
- See Also:
- Constant Field Values
-
RULE_orExpression
public static final int RULE_orExpression
- See Also:
- Constant Field Values
-
RULE_andExpression
public static final int RULE_andExpression
- See Also:
- Constant Field Values
-
RULE_binaryExpression
public static final int RULE_binaryExpression
- See Also:
- Constant Field Values
-
RULE_unaryExpression
public static final int RULE_unaryExpression
- See Also:
- Constant Field Values
-
RULE_atomExpression
public static final int RULE_atomExpression
- See Also:
- Constant Field Values
-
RULE_unaryOp
public static final int RULE_unaryOp
- See Also:
- Constant Field Values
-
RULE_binaryOp
public static final int RULE_binaryOp
- See Also:
- Constant Field Values
-
RULE_bool
public static final int RULE_bool
- See Also:
- Constant Field Values
-
ruleNames
public static final String[] ruleNames
-
VOCABULARY
public static final org.antlr.v4.runtime.Vocabulary VOCABULARY
-
tokenNames
@Deprecated public static final String[] tokenNames
Deprecated.UseVOCABULARYinstead.
-
_serializedATN
public static final String _serializedATN
- See Also:
- Constant Field Values
-
_ATN
public static final org.antlr.v4.runtime.atn.ATN _ATN
-
-
Method Detail
-
getTokenNames
@Deprecated public String[] getTokenNames()
Deprecated.- Specified by:
getTokenNamesin classorg.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
-
getVocabulary
public org.antlr.v4.runtime.Vocabulary getVocabulary()
- Overrides:
getVocabularyin classorg.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
-
getGrammarFileName
public String getGrammarFileName()
- Specified by:
getGrammarFileNamein classorg.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
-
getRuleNames
public String[] getRuleNames()
- Specified by:
getRuleNamesin classorg.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
-
getSerializedATN
public String getSerializedATN()
- Overrides:
getSerializedATNin classorg.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:
getATNin classorg.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>
-
formula
public final LTLParser.FormulaContext formula() throws org.antlr.v4.runtime.RecognitionException
- Throws:
org.antlr.v4.runtime.RecognitionException
-
expression
public final LTLParser.ExpressionContext expression() throws org.antlr.v4.runtime.RecognitionException
- Throws:
org.antlr.v4.runtime.RecognitionException
-
orExpression
public final LTLParser.OrExpressionContext orExpression() throws org.antlr.v4.runtime.RecognitionException
- Throws:
org.antlr.v4.runtime.RecognitionException
-
andExpression
public final LTLParser.AndExpressionContext andExpression() throws org.antlr.v4.runtime.RecognitionException
- Throws:
org.antlr.v4.runtime.RecognitionException
-
binaryExpression
public final LTLParser.BinaryExpressionContext binaryExpression() throws org.antlr.v4.runtime.RecognitionException
- Throws:
org.antlr.v4.runtime.RecognitionException
-
unaryExpression
public final LTLParser.UnaryExpressionContext unaryExpression() throws org.antlr.v4.runtime.RecognitionException
- Throws:
org.antlr.v4.runtime.RecognitionException
-
atomExpression
public final LTLParser.AtomExpressionContext atomExpression() throws org.antlr.v4.runtime.RecognitionException
- Throws:
org.antlr.v4.runtime.RecognitionException
-
unaryOp
public final LTLParser.UnaryOpContext unaryOp() throws org.antlr.v4.runtime.RecognitionException
- Throws:
org.antlr.v4.runtime.RecognitionException
-
binaryOp
public final LTLParser.BinaryOpContext binaryOp() throws org.antlr.v4.runtime.RecognitionException
- Throws:
org.antlr.v4.runtime.RecognitionException
-
bool
public final LTLParser.BoolContext bool() throws org.antlr.v4.runtime.RecognitionException
- Throws:
org.antlr.v4.runtime.RecognitionException
-
-