public class FormulaParser
extends org.antlr.v4.runtime.Parser
Modifier and Type | Class and Description |
---|---|
static class |
FormulaParser.AndContext |
static class |
FormulaParser.EqContext |
static class |
FormulaParser.FormulaContext |
static class |
FormulaParser.ImpContext |
static class |
FormulaParser.NegContext |
static class |
FormulaParser.OrContext |
static class |
FormulaParser.ParContext |
static class |
FormulaParser.PropContext |
static class |
FormulaParser.WffContext |
Modifier and Type | Field and Description |
---|---|
static org.antlr.v4.runtime.atn.ATN |
_ATN |
static java.lang.String |
_serializedATN |
static int |
AND |
static int |
EQ |
static int |
ID |
static int |
IMP |
static int |
NOT |
static int |
OR |
static int |
RULE_formula |
static int |
RULE_wff |
static java.lang.String[] |
ruleNames |
static int |
T__0 |
static int |
T__1 |
static java.lang.String[] |
tokenNames
Deprecated.
Use
VOCABULARY instead. |
static org.antlr.v4.runtime.Vocabulary |
VOCABULARY |
static int |
WS |
Constructor and Description |
---|
FormulaParser(org.antlr.v4.runtime.TokenStream input) |
Modifier and Type | Method and Description |
---|---|
FormulaParser.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() |
boolean |
sempred(org.antlr.v4.runtime.RuleContext _localctx,
int ruleIndex,
int predIndex) |
FormulaParser.WffContext |
wff() |
addParseListener, compileParseTreePattern, compileParseTreePattern, consume, 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, isTrace, match, matchWildcard, notifyErrorListeners, notifyErrorListeners, precpred, pushNewRecursionContext, removeParseListener, removeParseListeners, reset, setBuildParseTree, setContext, setErrorHandler, setInputStream, setProfile, setTokenFactory, setTokenStream, setTrace, setTrimParseTree, unrollRecursionContexts
action, addErrorListener, getErrorHeader, getErrorListenerDispatch, getErrorListeners, getInterpreter, getRuleIndexMap, getState, getTokenErrorDisplay, getTokenType, getTokenTypeMap, removeErrorListener, removeErrorListeners, setInterpreter, setState
public static final int T__0
public static final int T__1
public static final int ID
public static final int WS
public static final int AND
public static final int OR
public static final int NOT
public static final int IMP
public static final int EQ
public static final int RULE_formula
public static final int RULE_wff
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 FormulaParser.FormulaContext formula() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public final FormulaParser.WffContext wff() throws org.antlr.v4.runtime.RecognitionException
org.antlr.v4.runtime.RecognitionException
public boolean sempred(org.antlr.v4.runtime.RuleContext _localctx, int ruleIndex, int predIndex)
sempred
in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>