jtabwbx.prop.parser

Class FormulaParser

java.lang.Object

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

org.antlr.v4.runtime.Parser

jtabwbx.prop.parser.FormulaParser

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

Nested Class Summary

Nested Classes

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

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 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

Fields inherited from class org.antlr.v4.runtime.Recognizer

EOF

Constructor Summary

Constructors

Constructor and Description
FormulaParser(org.antlr.v4.runtime.TokenStream input)

Method Summary

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()

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

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

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

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

Field Detail

T__0

public static final int T__0

See Also:

Constant Field Values

T__1

public static final int T__1

See Also:

Constant Field Values

ID

public static final int ID

See Also:

Constant Field Values

WS

public static final int WS

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

NOT

public static final int NOT

See Also:

Constant Field Values

IMP

public static final int IMP

See Also:

Constant Field Values

EQ

public static final int EQ

See Also:

Constant Field Values

RULE_formula

public static final int RULE_formula

See Also:

Constant Field Values

RULE_wff

public static final int RULE_wff

See Also:

Constant Field Values

ruleNames

public static final java.lang.String[] ruleNames

VOCABULARY

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

tokenNames

@Deprecated
public static final java.lang.String[] tokenNames

Deprecated. Use VOCABULARY instead.

_serializedATN

public static final java.lang.String _serializedATN

See Also:

Constant Field Values

_ATN

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

Constructor Detail

FormulaParser

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

Method Detail

getTokenNames

@Deprecated
public java.lang.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 java.lang.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 java.lang.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 java.lang.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>

formula

public final FormulaParser.FormulaContext formula()
                                           throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

wff

public final FormulaParser.WffContext wff()
                                   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>