ogicng-parser-j11.2.6.0.source-code.LogicNGPropositionalParser Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of logicng-parser-j11 Show documentation
Show all versions of logicng-parser-j11 Show documentation
An ANTLR Parser for LogicNG
The newest version!
// Generated from LogicNGPropositional.g4 by ANTLR 4.13.1
package org.logicng.io.parsers;
import java.util.LinkedHashSet;
import org.logicng.formulas.*;
import org.antlr.v4.runtime.atn.*;
import org.antlr.v4.runtime.dfa.DFA;
import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.misc.*;
import org.antlr.v4.runtime.tree.*;
import java.util.List;
import java.util.Iterator;
import java.util.ArrayList;
@SuppressWarnings({"all", "warnings", "unchecked", "unused", "cast", "CheckReturnValue"})
public class LogicNGPropositionalParser extends ParserWithFormula {
static { RuntimeMetaData.checkVersion("4.13.1", RuntimeMetaData.VERSION); }
protected static final DFA[] _decisionToDFA;
protected static final PredictionContextCache _sharedContextCache =
new PredictionContextCache();
public static final int
VARIABLE=1, TRUE=2, FALSE=3, LBR=4, RBR=5, NOT=6, AND=7, OR=8, IMPL=9,
EQUIV=10, WS=11;
public static final int
RULE_formula = 0, RULE_constant = 1, RULE_simp = 2, RULE_lit = 3, RULE_conj = 4,
RULE_disj = 5, RULE_impl = 6, RULE_equiv = 7;
private static String[] makeRuleNames() {
return new String[] {
"formula", "constant", "simp", "lit", "conj", "disj", "impl", "equiv"
};
}
public static final String[] ruleNames = makeRuleNames();
private static String[] makeLiteralNames() {
return new String[] {
null, null, "'$true'", "'$false'", "'('", "')'", "'~'", "'&'", "'|'",
"'=>'", "'<=>'"
};
}
private static final String[] _LITERAL_NAMES = makeLiteralNames();
private static String[] makeSymbolicNames() {
return new String[] {
null, "VARIABLE", "TRUE", "FALSE", "LBR", "RBR", "NOT", "AND", "OR",
"IMPL", "EQUIV", "WS"
};
}
private static final String[] _SYMBOLIC_NAMES = makeSymbolicNames();
public static final Vocabulary VOCABULARY = new VocabularyImpl(_LITERAL_NAMES, _SYMBOLIC_NAMES);
/**
* @deprecated Use {@link #VOCABULARY} instead.
*/
@Deprecated
public static final String[] tokenNames;
static {
tokenNames = new String[_SYMBOLIC_NAMES.length];
for (int i = 0; i < tokenNames.length; i++) {
tokenNames[i] = VOCABULARY.getLiteralName(i);
if (tokenNames[i] == null) {
tokenNames[i] = VOCABULARY.getSymbolicName(i);
}
if (tokenNames[i] == null) {
tokenNames[i] = "";
}
}
}
@Override
@Deprecated
public String[] getTokenNames() {
return tokenNames;
}
@Override
public Vocabulary getVocabulary() {
return VOCABULARY;
}
@Override
public String getGrammarFileName() { return "LogicNGPropositional.g4"; }
@Override
public String[] getRuleNames() { return ruleNames; }
@Override
public String getSerializedATN() { return _serializedATN; }
@Override
public ATN getATN() { return _ATN; }
public Formula getParsedFormula() {
return formula().f;
}
public LogicNGPropositionalParser(TokenStream input) {
super(input);
_interp = new ParserATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
}
@SuppressWarnings("CheckReturnValue")
public static class FormulaContext extends ParserRuleContext {
public Formula f;
public EquivContext equiv;
public TerminalNode EOF() { return getToken(LogicNGPropositionalParser.EOF, 0); }
public EquivContext equiv() {
return getRuleContext(EquivContext.class,0);
}
public FormulaContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_formula; }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).enterFormula(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).exitFormula(this);
}
}
public final FormulaContext formula() throws RecognitionException {
FormulaContext _localctx = new FormulaContext(_ctx, getState());
enterRule(_localctx, 0, RULE_formula);
try {
setState(22);
_errHandler.sync(this);
switch (_input.LA(1)) {
case EOF:
enterOuterAlt(_localctx, 1);
{
setState(16);
match(EOF);
((FormulaContext)_localctx).f = f.verum();
}
break;
case VARIABLE:
case TRUE:
case FALSE:
case LBR:
case NOT:
enterOuterAlt(_localctx, 2);
{
setState(18);
((FormulaContext)_localctx).equiv = equiv();
setState(19);
match(EOF);
((FormulaContext)_localctx).f = ((FormulaContext)_localctx).equiv.f;
}
break;
default:
throw new NoViableAltException(this);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class ConstantContext extends ParserRuleContext {
public Formula f;
public TerminalNode TRUE() { return getToken(LogicNGPropositionalParser.TRUE, 0); }
public TerminalNode FALSE() { return getToken(LogicNGPropositionalParser.FALSE, 0); }
public ConstantContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_constant; }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).enterConstant(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).exitConstant(this);
}
}
public final ConstantContext constant() throws RecognitionException {
ConstantContext _localctx = new ConstantContext(_ctx, getState());
enterRule(_localctx, 2, RULE_constant);
try {
setState(28);
_errHandler.sync(this);
switch (_input.LA(1)) {
case TRUE:
enterOuterAlt(_localctx, 1);
{
setState(24);
match(TRUE);
((ConstantContext)_localctx).f = f.verum();
}
break;
case FALSE:
enterOuterAlt(_localctx, 2);
{
setState(26);
match(FALSE);
((ConstantContext)_localctx).f = f.falsum();
}
break;
default:
throw new NoViableAltException(this);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class SimpContext extends ParserRuleContext {
public Formula f;
public Token VARIABLE;
public ConstantContext constant;
public EquivContext equiv;
public TerminalNode VARIABLE() { return getToken(LogicNGPropositionalParser.VARIABLE, 0); }
public ConstantContext constant() {
return getRuleContext(ConstantContext.class,0);
}
public TerminalNode LBR() { return getToken(LogicNGPropositionalParser.LBR, 0); }
public EquivContext equiv() {
return getRuleContext(EquivContext.class,0);
}
public TerminalNode RBR() { return getToken(LogicNGPropositionalParser.RBR, 0); }
public SimpContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_simp; }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).enterSimp(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).exitSimp(this);
}
}
public final SimpContext simp() throws RecognitionException {
SimpContext _localctx = new SimpContext(_ctx, getState());
enterRule(_localctx, 4, RULE_simp);
try {
setState(40);
_errHandler.sync(this);
switch (_input.LA(1)) {
case VARIABLE:
enterOuterAlt(_localctx, 1);
{
setState(30);
((SimpContext)_localctx).VARIABLE = match(VARIABLE);
((SimpContext)_localctx).f = f.literal((((SimpContext)_localctx).VARIABLE!=null?((SimpContext)_localctx).VARIABLE.getText():null), true);
}
break;
case TRUE:
case FALSE:
enterOuterAlt(_localctx, 2);
{
setState(32);
((SimpContext)_localctx).constant = constant();
((SimpContext)_localctx).f = ((SimpContext)_localctx).constant.f;
}
break;
case LBR:
enterOuterAlt(_localctx, 3);
{
setState(35);
match(LBR);
setState(36);
((SimpContext)_localctx).equiv = equiv();
setState(37);
match(RBR);
((SimpContext)_localctx).f = ((SimpContext)_localctx).equiv.f;
}
break;
default:
throw new NoViableAltException(this);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class LitContext extends ParserRuleContext {
public Formula f;
public LitContext a;
public SimpContext simp;
public TerminalNode NOT() { return getToken(LogicNGPropositionalParser.NOT, 0); }
public LitContext lit() {
return getRuleContext(LitContext.class,0);
}
public SimpContext simp() {
return getRuleContext(SimpContext.class,0);
}
public LitContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_lit; }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).enterLit(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).exitLit(this);
}
}
public final LitContext lit() throws RecognitionException {
LitContext _localctx = new LitContext(_ctx, getState());
enterRule(_localctx, 6, RULE_lit);
try {
setState(49);
_errHandler.sync(this);
switch (_input.LA(1)) {
case NOT:
enterOuterAlt(_localctx, 1);
{
setState(42);
match(NOT);
setState(43);
((LitContext)_localctx).a = lit();
((LitContext)_localctx).f = f.not(((LitContext)_localctx).a.f);
}
break;
case VARIABLE:
case TRUE:
case FALSE:
case LBR:
enterOuterAlt(_localctx, 2);
{
setState(46);
((LitContext)_localctx).simp = simp();
((LitContext)_localctx).f = ((LitContext)_localctx).simp.f;
}
break;
default:
throw new NoViableAltException(this);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class ConjContext extends ParserRuleContext {
public Formula f;
public LitContext a;
public LitContext b;
public List lit() {
return getRuleContexts(LitContext.class);
}
public LitContext lit(int i) {
return getRuleContext(LitContext.class,i);
}
public List AND() { return getTokens(LogicNGPropositionalParser.AND); }
public TerminalNode AND(int i) {
return getToken(LogicNGPropositionalParser.AND, i);
}
public ConjContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_conj; }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).enterConj(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).exitConj(this);
}
}
public final ConjContext conj() throws RecognitionException {
ConjContext _localctx = new ConjContext(_ctx, getState());
enterRule(_localctx, 8, RULE_conj);
LinkedHashSet literals = new LinkedHashSet<>();
int _la;
try {
enterOuterAlt(_localctx, 1);
{
setState(51);
((ConjContext)_localctx).a = lit();
literals.add(((ConjContext)_localctx).a.f);
setState(59);
_errHandler.sync(this);
_la = _input.LA(1);
while (_la==AND) {
{
{
setState(53);
match(AND);
setState(54);
((ConjContext)_localctx).b = lit();
literals.add(((ConjContext)_localctx).b.f);
}
}
setState(61);
_errHandler.sync(this);
_la = _input.LA(1);
}
((ConjContext)_localctx).f = f.and(literals);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class DisjContext extends ParserRuleContext {
public Formula f;
public ConjContext a;
public ConjContext b;
public List conj() {
return getRuleContexts(ConjContext.class);
}
public ConjContext conj(int i) {
return getRuleContext(ConjContext.class,i);
}
public List OR() { return getTokens(LogicNGPropositionalParser.OR); }
public TerminalNode OR(int i) {
return getToken(LogicNGPropositionalParser.OR, i);
}
public DisjContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_disj; }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).enterDisj(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).exitDisj(this);
}
}
public final DisjContext disj() throws RecognitionException {
DisjContext _localctx = new DisjContext(_ctx, getState());
enterRule(_localctx, 10, RULE_disj);
LinkedHashSet conjunctions = new LinkedHashSet<>();
int _la;
try {
enterOuterAlt(_localctx, 1);
{
setState(64);
((DisjContext)_localctx).a = conj();
conjunctions.add(((DisjContext)_localctx).a.f);
setState(72);
_errHandler.sync(this);
_la = _input.LA(1);
while (_la==OR) {
{
{
setState(66);
match(OR);
setState(67);
((DisjContext)_localctx).b = conj();
conjunctions.add(((DisjContext)_localctx).b.f);
}
}
setState(74);
_errHandler.sync(this);
_la = _input.LA(1);
}
((DisjContext)_localctx).f = f.or(conjunctions);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class ImplContext extends ParserRuleContext {
public Formula f;
public DisjContext a;
public ImplContext b;
public DisjContext disj() {
return getRuleContext(DisjContext.class,0);
}
public TerminalNode IMPL() { return getToken(LogicNGPropositionalParser.IMPL, 0); }
public ImplContext impl() {
return getRuleContext(ImplContext.class,0);
}
public ImplContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_impl; }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).enterImpl(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).exitImpl(this);
}
}
public final ImplContext impl() throws RecognitionException {
ImplContext _localctx = new ImplContext(_ctx, getState());
enterRule(_localctx, 12, RULE_impl);
Formula[] operands = new Formula[2];
int _la;
try {
enterOuterAlt(_localctx, 1);
{
setState(77);
((ImplContext)_localctx).a = disj();
operands[0] =((ImplContext)_localctx).a.f;
setState(83);
_errHandler.sync(this);
_la = _input.LA(1);
if (_la==IMPL) {
{
setState(79);
match(IMPL);
setState(80);
((ImplContext)_localctx).b = impl();
operands[1] = ((ImplContext)_localctx).b.f;
}
}
((ImplContext)_localctx).f = operands[1] == null ? operands[0] : f.implication(operands[0], operands[1]);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
@SuppressWarnings("CheckReturnValue")
public static class EquivContext extends ParserRuleContext {
public Formula f;
public ImplContext a;
public EquivContext b;
public ImplContext impl() {
return getRuleContext(ImplContext.class,0);
}
public TerminalNode EQUIV() { return getToken(LogicNGPropositionalParser.EQUIV, 0); }
public EquivContext equiv() {
return getRuleContext(EquivContext.class,0);
}
public EquivContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_equiv; }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).enterEquiv(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof LogicNGPropositionalListener ) ((LogicNGPropositionalListener)listener).exitEquiv(this);
}
}
public final EquivContext equiv() throws RecognitionException {
EquivContext _localctx = new EquivContext(_ctx, getState());
enterRule(_localctx, 14, RULE_equiv);
Formula[] operands = new Formula[2];
int _la;
try {
enterOuterAlt(_localctx, 1);
{
setState(87);
((EquivContext)_localctx).a = impl();
operands[0] =((EquivContext)_localctx).a.f;
setState(93);
_errHandler.sync(this);
_la = _input.LA(1);
if (_la==EQUIV) {
{
setState(89);
match(EQUIV);
setState(90);
((EquivContext)_localctx).b = equiv();
operands[1] = ((EquivContext)_localctx).b.f;
}
}
((EquivContext)_localctx).f = operands[1] == null ? operands[0] : f.equivalence(operands[0], operands[1]);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
public static final String _serializedATN =
"\u0004\u0001\u000bb\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002"+
"\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004\u0007\u0004\u0002"+
"\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007\u0007\u0007\u0001"+
"\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0003"+
"\u0000\u0017\b\u0000\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0003"+
"\u0001\u001d\b\u0001\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001"+
"\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0003"+
"\u0002)\b\u0002\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001"+
"\u0003\u0001\u0003\u0001\u0003\u0003\u00032\b\u0003\u0001\u0004\u0001"+
"\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0005\u0004:\b"+
"\u0004\n\u0004\f\u0004=\t\u0004\u0001\u0004\u0001\u0004\u0001\u0005\u0001"+
"\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0005\u0005G\b"+
"\u0005\n\u0005\f\u0005J\t\u0005\u0001\u0005\u0001\u0005\u0001\u0006\u0001"+
"\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0003\u0006T\b"+
"\u0006\u0001\u0006\u0001\u0006\u0001\u0007\u0001\u0007\u0001\u0007\u0001"+
"\u0007\u0001\u0007\u0001\u0007\u0003\u0007^\b\u0007\u0001\u0007\u0001"+
"\u0007\u0001\u0007\u0000\u0000\b\u0000\u0002\u0004\u0006\b\n\f\u000e\u0000"+
"\u0000b\u0000\u0016\u0001\u0000\u0000\u0000\u0002\u001c\u0001\u0000\u0000"+
"\u0000\u0004(\u0001\u0000\u0000\u0000\u00061\u0001\u0000\u0000\u0000\b"+
"3\u0001\u0000\u0000\u0000\n@\u0001\u0000\u0000\u0000\fM\u0001\u0000\u0000"+
"\u0000\u000eW\u0001\u0000\u0000\u0000\u0010\u0011\u0005\u0000\u0000\u0001"+
"\u0011\u0017\u0006\u0000\uffff\uffff\u0000\u0012\u0013\u0003\u000e\u0007"+
"\u0000\u0013\u0014\u0005\u0000\u0000\u0001\u0014\u0015\u0006\u0000\uffff"+
"\uffff\u0000\u0015\u0017\u0001\u0000\u0000\u0000\u0016\u0010\u0001\u0000"+
"\u0000\u0000\u0016\u0012\u0001\u0000\u0000\u0000\u0017\u0001\u0001\u0000"+
"\u0000\u0000\u0018\u0019\u0005\u0002\u0000\u0000\u0019\u001d\u0006\u0001"+
"\uffff\uffff\u0000\u001a\u001b\u0005\u0003\u0000\u0000\u001b\u001d\u0006"+
"\u0001\uffff\uffff\u0000\u001c\u0018\u0001\u0000\u0000\u0000\u001c\u001a"+
"\u0001\u0000\u0000\u0000\u001d\u0003\u0001\u0000\u0000\u0000\u001e\u001f"+
"\u0005\u0001\u0000\u0000\u001f)\u0006\u0002\uffff\uffff\u0000 !\u0003"+
"\u0002\u0001\u0000!\"\u0006\u0002\uffff\uffff\u0000\")\u0001\u0000\u0000"+
"\u0000#$\u0005\u0004\u0000\u0000$%\u0003\u000e\u0007\u0000%&\u0005\u0005"+
"\u0000\u0000&\'\u0006\u0002\uffff\uffff\u0000\')\u0001\u0000\u0000\u0000"+
"(\u001e\u0001\u0000\u0000\u0000( \u0001\u0000\u0000\u0000(#\u0001\u0000"+
"\u0000\u0000)\u0005\u0001\u0000\u0000\u0000*+\u0005\u0006\u0000\u0000"+
"+,\u0003\u0006\u0003\u0000,-\u0006\u0003\uffff\uffff\u0000-2\u0001\u0000"+
"\u0000\u0000./\u0003\u0004\u0002\u0000/0\u0006\u0003\uffff\uffff\u0000"+
"02\u0001\u0000\u0000\u00001*\u0001\u0000\u0000\u00001.\u0001\u0000\u0000"+
"\u00002\u0007\u0001\u0000\u0000\u000034\u0003\u0006\u0003\u00004;\u0006"+
"\u0004\uffff\uffff\u000056\u0005\u0007\u0000\u000067\u0003\u0006\u0003"+
"\u000078\u0006\u0004\uffff\uffff\u00008:\u0001\u0000\u0000\u000095\u0001"+
"\u0000\u0000\u0000:=\u0001\u0000\u0000\u0000;9\u0001\u0000\u0000\u0000"+
";<\u0001\u0000\u0000\u0000<>\u0001\u0000\u0000\u0000=;\u0001\u0000\u0000"+
"\u0000>?\u0006\u0004\uffff\uffff\u0000?\t\u0001\u0000\u0000\u0000@A\u0003"+
"\b\u0004\u0000AH\u0006\u0005\uffff\uffff\u0000BC\u0005\b\u0000\u0000C"+
"D\u0003\b\u0004\u0000DE\u0006\u0005\uffff\uffff\u0000EG\u0001\u0000\u0000"+
"\u0000FB\u0001\u0000\u0000\u0000GJ\u0001\u0000\u0000\u0000HF\u0001\u0000"+
"\u0000\u0000HI\u0001\u0000\u0000\u0000IK\u0001\u0000\u0000\u0000JH\u0001"+
"\u0000\u0000\u0000KL\u0006\u0005\uffff\uffff\u0000L\u000b\u0001\u0000"+
"\u0000\u0000MN\u0003\n\u0005\u0000NS\u0006\u0006\uffff\uffff\u0000OP\u0005"+
"\t\u0000\u0000PQ\u0003\f\u0006\u0000QR\u0006\u0006\uffff\uffff\u0000R"+
"T\u0001\u0000\u0000\u0000SO\u0001\u0000\u0000\u0000ST\u0001\u0000\u0000"+
"\u0000TU\u0001\u0000\u0000\u0000UV\u0006\u0006\uffff\uffff\u0000V\r\u0001"+
"\u0000\u0000\u0000WX\u0003\f\u0006\u0000X]\u0006\u0007\uffff\uffff\u0000"+
"YZ\u0005\n\u0000\u0000Z[\u0003\u000e\u0007\u0000[\\\u0006\u0007\uffff"+
"\uffff\u0000\\^\u0001\u0000\u0000\u0000]Y\u0001\u0000\u0000\u0000]^\u0001"+
"\u0000\u0000\u0000^_\u0001\u0000\u0000\u0000_`\u0006\u0007\uffff\uffff"+
"\u0000`\u000f\u0001\u0000\u0000\u0000\b\u0016\u001c(1;HS]";
public static final ATN _ATN =
new ATNDeserializer().deserialize(_serializedATN.toCharArray());
static {
_decisionToDFA = new DFA[_ATN.getNumberOfDecisions()];
for (int i = 0; i < _ATN.getNumberOfDecisions(); i++) {
_decisionToDFA[i] = new DFA(_ATN.getDecisionState(i), i);
}
}
} © 2015 - 2025 Weber Informatics LLC | Privacy Policy