org.btrplace.safeplace.spec.antlr.CstrSpecParser Maven / Gradle / Ivy
// Generated from org/btrplace/safeplace/spec/antlr/CstrSpec.g4 by ANTLR 4.5
package org.btrplace.safeplace.spec.antlr;
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"})
public class CstrSpecParser extends Parser {
static { RuntimeMetaData.checkVersion("4.5", RuntimeMetaData.VERSION); }
protected static final DFA[] _decisionToDFA;
protected static final PredictionContextCache _sharedContextCache =
new PredictionContextCache();
public static final int
BLOCK_COMMENT=1, LINE_COMMENT=2, WS=3, SUCH_AS=4, LACC=5, RACC=6, COMMA=7,
IN=8, NOT_IN=9, INCL=10, NOT_INCL=11, PART=12, NOT_PART=13, PLUS=14, MINUS=15,
MULT=16, DIV=17, ALL=18, EXISTS=19, INT=20, UNION=21, INTER=22, AND=23,
OR=24, EQ=25, NOT_EQ=26, LPARA=27, RPARA=28, DEF_CONTENT=29, IMPLIES=30,
IFF=31, LT=32, LEQ=33, GT=34, GEQ=35, LBRACK=36, RBRACK=37, STRING=38,
BEGIN=39, ID=40;
public static final int
RULE_term = 0, RULE_set = 1, RULE_list = 2, RULE_comparison = 3, RULE_typedef = 4,
RULE_formula = 5, RULE_call = 6;
public static final String[] ruleNames = {
"term", "set", "list", "comparison", "typedef", "formula", "call"
};
private static final String[] _LITERAL_NAMES = {
null, null, null, null, "'.'", "'{'", "'}'", "','", "':'", "'/:'", "'<:'",
"'/<:'", "'<<:'", "'/<<:'", "'+'", "'-'", "'*'", "'/'", "'!'", "'?'",
null, "'\\/'", "'/\\'", "'&'", "'|'", "'='", "'/='", "'('", "')'", "'::='",
"'-->'", "'<-->'", "'<'", "'<='", "'>'", "'>='", "'['", "']'", null, "'^'"
};
private static final String[] _SYMBOLIC_NAMES = {
null, "BLOCK_COMMENT", "LINE_COMMENT", "WS", "SUCH_AS", "LACC", "RACC",
"COMMA", "IN", "NOT_IN", "INCL", "NOT_INCL", "PART", "NOT_PART", "PLUS",
"MINUS", "MULT", "DIV", "ALL", "EXISTS", "INT", "UNION", "INTER", "AND",
"OR", "EQ", "NOT_EQ", "LPARA", "RPARA", "DEF_CONTENT", "IMPLIES", "IFF",
"LT", "LEQ", "GT", "GEQ", "LBRACK", "RBRACK", "STRING", "BEGIN", "ID"
};
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 "CstrSpec.g4"; }
@Override
public String[] getRuleNames() { return ruleNames; }
@Override
public String getSerializedATN() { return _serializedATN; }
@Override
public ATN getATN() { return _ATN; }
public CstrSpecParser(TokenStream input) {
super(input);
_interp = new ParserATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
}
public static class TermContext extends ParserRuleContext {
public TermContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_term; }
public TermContext() { }
public void copyFrom(TermContext ctx) {
super.copyFrom(ctx);
}
}
public static class StringTermContext extends TermContext {
public TerminalNode STRING() { return getToken(CstrSpecParser.STRING, 0); }
public StringTermContext(TermContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterStringTerm(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitStringTerm(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitStringTerm(this);
else return visitor.visitChildren(this);
}
}
public static class ProtectedTermContext extends TermContext {
public TerminalNode LPARA() { return getToken(CstrSpecParser.LPARA, 0); }
public TermContext term() {
return getRuleContext(TermContext.class,0);
}
public TerminalNode RPARA() { return getToken(CstrSpecParser.RPARA, 0); }
public ProtectedTermContext(TermContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterProtectedTerm(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitProtectedTerm(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitProtectedTerm(this);
else return visitor.visitChildren(this);
}
}
public static class IdTermContext extends TermContext {
public TerminalNode ID() { return getToken(CstrSpecParser.ID, 0); }
public IdTermContext(TermContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterIdTerm(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitIdTerm(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitIdTerm(this);
else return visitor.visitChildren(this);
}
}
public static class ArrayTermContext extends TermContext {
public TerminalNode ID() { return getToken(CstrSpecParser.ID, 0); }
public TerminalNode LBRACK() { return getToken(CstrSpecParser.LBRACK, 0); }
public TermContext term() {
return getRuleContext(TermContext.class,0);
}
public TerminalNode RBRACK() { return getToken(CstrSpecParser.RBRACK, 0); }
public ArrayTermContext(TermContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterArrayTerm(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitArrayTerm(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitArrayTerm(this);
else return visitor.visitChildren(this);
}
}
public static class IntTermContext extends TermContext {
public TerminalNode INT() { return getToken(CstrSpecParser.INT, 0); }
public IntTermContext(TermContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterIntTerm(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitIntTerm(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitIntTerm(this);
else return visitor.visitChildren(this);
}
}
public static class TermFuncContext extends TermContext {
public CallContext call() {
return getRuleContext(CallContext.class,0);
}
public TermFuncContext(TermContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterTermFunc(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitTermFunc(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitTermFunc(this);
else return visitor.visitChildren(this);
}
}
public static class TermOpContext extends TermContext {
public TermContext t1;
public Token op;
public TermContext t2;
public List term() {
return getRuleContexts(TermContext.class);
}
public TermContext term(int i) {
return getRuleContext(TermContext.class,i);
}
public TerminalNode INTER() { return getToken(CstrSpecParser.INTER, 0); }
public TerminalNode UNION() { return getToken(CstrSpecParser.UNION, 0); }
public TerminalNode PLUS() { return getToken(CstrSpecParser.PLUS, 0); }
public TerminalNode MINUS() { return getToken(CstrSpecParser.MINUS, 0); }
public TerminalNode MULT() { return getToken(CstrSpecParser.MULT, 0); }
public TerminalNode DIV() { return getToken(CstrSpecParser.DIV, 0); }
public TermOpContext(TermContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterTermOp(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitTermOp(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitTermOp(this);
else return visitor.visitChildren(this);
}
}
public static class SetTermContext extends TermContext {
public SetContext set() {
return getRuleContext(SetContext.class,0);
}
public SetTermContext(TermContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterSetTerm(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitSetTerm(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitSetTerm(this);
else return visitor.visitChildren(this);
}
}
public static class ListTermContext extends TermContext {
public ListContext list() {
return getRuleContext(ListContext.class,0);
}
public ListTermContext(TermContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterListTerm(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitListTerm(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitListTerm(this);
else return visitor.visitChildren(this);
}
}
public final TermContext term() throws RecognitionException {
return term(0);
}
private TermContext term(int _p) throws RecognitionException {
ParserRuleContext _parentctx = _ctx;
int _parentState = getState();
TermContext _localctx = new TermContext(_ctx, _parentState);
TermContext _prevctx = _localctx;
int _startState = 0;
enterRecursionRule(_localctx, 0, RULE_term, _p);
int _la;
try {
int _alt;
enterOuterAlt(_localctx, 1);
{
setState(30);
switch ( getInterpreter().adaptivePredict(_input,0,_ctx) ) {
case 1:
{
_localctx = new ProtectedTermContext(_localctx);
_ctx = _localctx;
_prevctx = _localctx;
setState(15);
match(LPARA);
setState(16);
term(0);
setState(17);
match(RPARA);
}
break;
case 2:
{
_localctx = new TermFuncContext(_localctx);
_ctx = _localctx;
_prevctx = _localctx;
setState(19);
call();
}
break;
case 3:
{
_localctx = new IdTermContext(_localctx);
_ctx = _localctx;
_prevctx = _localctx;
setState(20);
match(ID);
}
break;
case 4:
{
_localctx = new ArrayTermContext(_localctx);
_ctx = _localctx;
_prevctx = _localctx;
setState(21);
match(ID);
setState(22);
match(LBRACK);
setState(23);
term(0);
setState(24);
match(RBRACK);
}
break;
case 5:
{
_localctx = new SetTermContext(_localctx);
_ctx = _localctx;
_prevctx = _localctx;
setState(26);
set();
}
break;
case 6:
{
_localctx = new ListTermContext(_localctx);
_ctx = _localctx;
_prevctx = _localctx;
setState(27);
list();
}
break;
case 7:
{
_localctx = new IntTermContext(_localctx);
_ctx = _localctx;
_prevctx = _localctx;
setState(28);
match(INT);
}
break;
case 8:
{
_localctx = new StringTermContext(_localctx);
_ctx = _localctx;
_prevctx = _localctx;
setState(29);
match(STRING);
}
break;
}
_ctx.stop = _input.LT(-1);
setState(37);
_errHandler.sync(this);
_alt = getInterpreter().adaptivePredict(_input,1,_ctx);
while ( _alt!=2 && _alt!=org.antlr.v4.runtime.atn.ATN.INVALID_ALT_NUMBER ) {
if ( _alt==1 ) {
if ( _parseListeners!=null ) triggerExitRuleEvent();
_prevctx = _localctx;
{
{
_localctx = new TermOpContext(new TermContext(_parentctx, _parentState));
((TermOpContext)_localctx).t1 = _prevctx;
pushNewRecursionContext(_localctx, _startState, RULE_term);
setState(32);
if (!(precpred(_ctx, 9))) throw new FailedPredicateException(this, "precpred(_ctx, 9)");
setState(33);
((TermOpContext)_localctx).op = _input.LT(1);
_la = _input.LA(1);
if ( !((((_la) & ~0x3f) == 0 && ((1L << _la) & ((1L << PLUS) | (1L << MINUS) | (1L << MULT) | (1L << DIV) | (1L << UNION) | (1L << INTER))) != 0)) ) {
((TermOpContext)_localctx).op = (Token)_errHandler.recoverInline(this);
} else {
consume();
}
setState(34);
((TermOpContext)_localctx).t2 = term(10);
}
}
}
setState(39);
_errHandler.sync(this);
_alt = getInterpreter().adaptivePredict(_input,1,_ctx);
}
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
unrollRecursionContexts(_parentctx);
}
return _localctx;
}
public static class SetContext extends ParserRuleContext {
public SetContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_set; }
public SetContext() { }
public void copyFrom(SetContext ctx) {
super.copyFrom(ctx);
}
}
public static class SetInComprehensionContext extends SetContext {
public TerminalNode LACC() { return getToken(CstrSpecParser.LACC, 0); }
public TermContext term() {
return getRuleContext(TermContext.class,0);
}
public TerminalNode SUCH_AS() { return getToken(CstrSpecParser.SUCH_AS, 0); }
public TypedefContext typedef() {
return getRuleContext(TypedefContext.class,0);
}
public TerminalNode RACC() { return getToken(CstrSpecParser.RACC, 0); }
public TerminalNode COMMA() { return getToken(CstrSpecParser.COMMA, 0); }
public FormulaContext formula() {
return getRuleContext(FormulaContext.class,0);
}
public SetInComprehensionContext(SetContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterSetInComprehension(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitSetInComprehension(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitSetInComprehension(this);
else return visitor.visitChildren(this);
}
}
public static class SetInExtensionContext extends SetContext {
public TerminalNode LACC() { return getToken(CstrSpecParser.LACC, 0); }
public List term() {
return getRuleContexts(TermContext.class);
}
public TermContext term(int i) {
return getRuleContext(TermContext.class,i);
}
public TerminalNode RACC() { return getToken(CstrSpecParser.RACC, 0); }
public List COMMA() { return getTokens(CstrSpecParser.COMMA); }
public TerminalNode COMMA(int i) {
return getToken(CstrSpecParser.COMMA, i);
}
public SetInExtensionContext(SetContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterSetInExtension(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitSetInExtension(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitSetInExtension(this);
else return visitor.visitChildren(this);
}
}
public final SetContext set() throws RecognitionException {
SetContext _localctx = new SetContext(_ctx, getState());
enterRule(_localctx, 2, RULE_set);
int _la;
try {
setState(61);
switch ( getInterpreter().adaptivePredict(_input,4,_ctx) ) {
case 1:
_localctx = new SetInComprehensionContext(_localctx);
enterOuterAlt(_localctx, 1);
{
setState(40);
match(LACC);
setState(41);
term(0);
setState(42);
match(SUCH_AS);
setState(43);
typedef();
setState(46);
_la = _input.LA(1);
if (_la==COMMA) {
{
setState(44);
match(COMMA);
setState(45);
formula(0);
}
}
setState(48);
match(RACC);
}
break;
case 2:
_localctx = new SetInExtensionContext(_localctx);
enterOuterAlt(_localctx, 2);
{
setState(50);
match(LACC);
setState(51);
term(0);
setState(56);
_errHandler.sync(this);
_la = _input.LA(1);
while (_la==COMMA) {
{
{
setState(52);
match(COMMA);
setState(53);
term(0);
}
}
setState(58);
_errHandler.sync(this);
_la = _input.LA(1);
}
setState(59);
match(RACC);
}
break;
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
public static class ListContext extends ParserRuleContext {
public ListContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_list; }
public ListContext() { }
public void copyFrom(ListContext ctx) {
super.copyFrom(ctx);
}
}
public static class ListInExtensionContext extends ListContext {
public TerminalNode LBRACK() { return getToken(CstrSpecParser.LBRACK, 0); }
public List term() {
return getRuleContexts(TermContext.class);
}
public TermContext term(int i) {
return getRuleContext(TermContext.class,i);
}
public TerminalNode RBRACK() { return getToken(CstrSpecParser.RBRACK, 0); }
public List COMMA() { return getTokens(CstrSpecParser.COMMA); }
public TerminalNode COMMA(int i) {
return getToken(CstrSpecParser.COMMA, i);
}
public ListInExtensionContext(ListContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterListInExtension(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitListInExtension(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitListInExtension(this);
else return visitor.visitChildren(this);
}
}
public static class ListInComprehensionContext extends ListContext {
public TerminalNode LBRACK() { return getToken(CstrSpecParser.LBRACK, 0); }
public TermContext term() {
return getRuleContext(TermContext.class,0);
}
public TerminalNode SUCH_AS() { return getToken(CstrSpecParser.SUCH_AS, 0); }
public TypedefContext typedef() {
return getRuleContext(TypedefContext.class,0);
}
public TerminalNode RBRACK() { return getToken(CstrSpecParser.RBRACK, 0); }
public TerminalNode COMMA() { return getToken(CstrSpecParser.COMMA, 0); }
public FormulaContext formula() {
return getRuleContext(FormulaContext.class,0);
}
public ListInComprehensionContext(ListContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterListInComprehension(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitListInComprehension(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitListInComprehension(this);
else return visitor.visitChildren(this);
}
}
public final ListContext list() throws RecognitionException {
ListContext _localctx = new ListContext(_ctx, getState());
enterRule(_localctx, 4, RULE_list);
int _la;
try {
setState(84);
switch ( getInterpreter().adaptivePredict(_input,7,_ctx) ) {
case 1:
_localctx = new ListInComprehensionContext(_localctx);
enterOuterAlt(_localctx, 1);
{
setState(63);
match(LBRACK);
setState(64);
term(0);
setState(65);
match(SUCH_AS);
setState(66);
typedef();
setState(69);
_la = _input.LA(1);
if (_la==COMMA) {
{
setState(67);
match(COMMA);
setState(68);
formula(0);
}
}
setState(71);
match(RBRACK);
}
break;
case 2:
_localctx = new ListInExtensionContext(_localctx);
enterOuterAlt(_localctx, 2);
{
setState(73);
match(LBRACK);
setState(74);
term(0);
setState(79);
_errHandler.sync(this);
_la = _input.LA(1);
while (_la==COMMA) {
{
{
setState(75);
match(COMMA);
setState(76);
term(0);
}
}
setState(81);
_errHandler.sync(this);
_la = _input.LA(1);
}
setState(82);
match(RBRACK);
}
break;
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
public static class ComparisonContext extends ParserRuleContext {
public TermContext t1;
public Token op;
public TermContext t2;
public List term() {
return getRuleContexts(TermContext.class);
}
public TermContext term(int i) {
return getRuleContext(TermContext.class,i);
}
public TerminalNode EQ() { return getToken(CstrSpecParser.EQ, 0); }
public TerminalNode NOT_EQ() { return getToken(CstrSpecParser.NOT_EQ, 0); }
public TerminalNode LT() { return getToken(CstrSpecParser.LT, 0); }
public TerminalNode LEQ() { return getToken(CstrSpecParser.LEQ, 0); }
public TerminalNode GT() { return getToken(CstrSpecParser.GT, 0); }
public TerminalNode GEQ() { return getToken(CstrSpecParser.GEQ, 0); }
public TerminalNode IN() { return getToken(CstrSpecParser.IN, 0); }
public TerminalNode NOT_IN() { return getToken(CstrSpecParser.NOT_IN, 0); }
public TerminalNode INCL() { return getToken(CstrSpecParser.INCL, 0); }
public TerminalNode NOT_INCL() { return getToken(CstrSpecParser.NOT_INCL, 0); }
public TerminalNode PART() { return getToken(CstrSpecParser.PART, 0); }
public TerminalNode NOT_PART() { return getToken(CstrSpecParser.NOT_PART, 0); }
public ComparisonContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_comparison; }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterComparison(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitComparison(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitComparison(this);
else return visitor.visitChildren(this);
}
}
public final ComparisonContext comparison() throws RecognitionException {
ComparisonContext _localctx = new ComparisonContext(_ctx, getState());
enterRule(_localctx, 6, RULE_comparison);
int _la;
try {
enterOuterAlt(_localctx, 1);
{
setState(86);
((ComparisonContext)_localctx).t1 = term(0);
setState(87);
((ComparisonContext)_localctx).op = _input.LT(1);
_la = _input.LA(1);
if ( !((((_la) & ~0x3f) == 0 && ((1L << _la) & ((1L << IN) | (1L << NOT_IN) | (1L << INCL) | (1L << NOT_INCL) | (1L << PART) | (1L << NOT_PART) | (1L << EQ) | (1L << NOT_EQ) | (1L << LT) | (1L << LEQ) | (1L << GT) | (1L << GEQ))) != 0)) ) {
((ComparisonContext)_localctx).op = (Token)_errHandler.recoverInline(this);
} else {
consume();
}
setState(88);
((ComparisonContext)_localctx).t2 = term(0);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
public static class TypedefContext extends ParserRuleContext {
public Token op;
public TermContext i2;
public List ID() { return getTokens(CstrSpecParser.ID); }
public TerminalNode ID(int i) {
return getToken(CstrSpecParser.ID, i);
}
public TermContext term() {
return getRuleContext(TermContext.class,0);
}
public TerminalNode IN() { return getToken(CstrSpecParser.IN, 0); }
public TerminalNode INCL() { return getToken(CstrSpecParser.INCL, 0); }
public TerminalNode NOT_IN() { return getToken(CstrSpecParser.NOT_IN, 0); }
public TerminalNode NOT_INCL() { return getToken(CstrSpecParser.NOT_INCL, 0); }
public TerminalNode PART() { return getToken(CstrSpecParser.PART, 0); }
public TerminalNode NOT_PART() { return getToken(CstrSpecParser.NOT_PART, 0); }
public List COMMA() { return getTokens(CstrSpecParser.COMMA); }
public TerminalNode COMMA(int i) {
return getToken(CstrSpecParser.COMMA, i);
}
public TypedefContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_typedef; }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterTypedef(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitTypedef(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitTypedef(this);
else return visitor.visitChildren(this);
}
}
public final TypedefContext typedef() throws RecognitionException {
TypedefContext _localctx = new TypedefContext(_ctx, getState());
enterRule(_localctx, 8, RULE_typedef);
int _la;
try {
enterOuterAlt(_localctx, 1);
{
setState(90);
match(ID);
setState(95);
_errHandler.sync(this);
_la = _input.LA(1);
while (_la==COMMA) {
{
{
setState(91);
match(COMMA);
setState(92);
match(ID);
}
}
setState(97);
_errHandler.sync(this);
_la = _input.LA(1);
}
setState(98);
((TypedefContext)_localctx).op = _input.LT(1);
_la = _input.LA(1);
if ( !((((_la) & ~0x3f) == 0 && ((1L << _la) & ((1L << IN) | (1L << NOT_IN) | (1L << INCL) | (1L << NOT_INCL) | (1L << PART) | (1L << NOT_PART))) != 0)) ) {
((TypedefContext)_localctx).op = (Token)_errHandler.recoverInline(this);
} else {
consume();
}
setState(99);
((TypedefContext)_localctx).i2 = term(0);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
public static class FormulaContext extends ParserRuleContext {
public FormulaContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_formula; }
public FormulaContext() { }
public void copyFrom(FormulaContext ctx) {
super.copyFrom(ctx);
}
}
public static class AllContext extends FormulaContext {
public TerminalNode ALL() { return getToken(CstrSpecParser.ALL, 0); }
public TerminalNode LPARA() { return getToken(CstrSpecParser.LPARA, 0); }
public TypedefContext typedef() {
return getRuleContext(TypedefContext.class,0);
}
public TerminalNode RPARA() { return getToken(CstrSpecParser.RPARA, 0); }
public FormulaContext formula() {
return getRuleContext(FormulaContext.class,0);
}
public AllContext(FormulaContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterAll(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitAll(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitAll(this);
else return visitor.visitChildren(this);
}
}
public static class ProtectedFormulaContext extends FormulaContext {
public TerminalNode LPARA() { return getToken(CstrSpecParser.LPARA, 0); }
public FormulaContext formula() {
return getRuleContext(FormulaContext.class,0);
}
public TerminalNode RPARA() { return getToken(CstrSpecParser.RPARA, 0); }
public ProtectedFormulaContext(FormulaContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterProtectedFormula(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitProtectedFormula(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitProtectedFormula(this);
else return visitor.visitChildren(this);
}
}
public static class CstrCallContext extends FormulaContext {
public CallContext call() {
return getRuleContext(CallContext.class,0);
}
public CstrCallContext(FormulaContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterCstrCall(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitCstrCall(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitCstrCall(this);
else return visitor.visitChildren(this);
}
}
public static class FormulaOpContext extends FormulaContext {
public FormulaContext f1;
public Token op;
public FormulaContext f2;
public List formula() {
return getRuleContexts(FormulaContext.class);
}
public FormulaContext formula(int i) {
return getRuleContext(FormulaContext.class,i);
}
public TerminalNode IMPLIES() { return getToken(CstrSpecParser.IMPLIES, 0); }
public TerminalNode OR() { return getToken(CstrSpecParser.OR, 0); }
public TerminalNode AND() { return getToken(CstrSpecParser.AND, 0); }
public TerminalNode IFF() { return getToken(CstrSpecParser.IFF, 0); }
public FormulaOpContext(FormulaContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterFormulaOp(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitFormulaOp(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitFormulaOp(this);
else return visitor.visitChildren(this);
}
}
public static class ExistsContext extends FormulaContext {
public TerminalNode EXISTS() { return getToken(CstrSpecParser.EXISTS, 0); }
public TerminalNode LPARA() { return getToken(CstrSpecParser.LPARA, 0); }
public TypedefContext typedef() {
return getRuleContext(TypedefContext.class,0);
}
public TerminalNode RPARA() { return getToken(CstrSpecParser.RPARA, 0); }
public FormulaContext formula() {
return getRuleContext(FormulaContext.class,0);
}
public ExistsContext(FormulaContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterExists(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitExists(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitExists(this);
else return visitor.visitChildren(this);
}
}
public static class TermComparisonContext extends FormulaContext {
public ComparisonContext comparison() {
return getRuleContext(ComparisonContext.class,0);
}
public TermComparisonContext(FormulaContext ctx) { copyFrom(ctx); }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterTermComparison(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitTermComparison(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitTermComparison(this);
else return visitor.visitChildren(this);
}
}
public final FormulaContext formula() throws RecognitionException {
return formula(0);
}
private FormulaContext formula(int _p) throws RecognitionException {
ParserRuleContext _parentctx = _ctx;
int _parentState = getState();
FormulaContext _localctx = new FormulaContext(_ctx, _parentState);
FormulaContext _prevctx = _localctx;
int _startState = 10;
enterRecursionRule(_localctx, 10, RULE_formula, _p);
int _la;
try {
int _alt;
enterOuterAlt(_localctx, 1);
{
setState(120);
switch ( getInterpreter().adaptivePredict(_input,9,_ctx) ) {
case 1:
{
_localctx = new AllContext(_localctx);
_ctx = _localctx;
_prevctx = _localctx;
setState(102);
match(ALL);
setState(103);
match(LPARA);
setState(104);
typedef();
setState(105);
match(RPARA);
setState(106);
formula(3);
}
break;
case 2:
{
_localctx = new ExistsContext(_localctx);
_ctx = _localctx;
_prevctx = _localctx;
setState(108);
match(EXISTS);
setState(109);
match(LPARA);
setState(110);
typedef();
setState(111);
match(RPARA);
setState(112);
formula(2);
}
break;
case 3:
{
_localctx = new ProtectedFormulaContext(_localctx);
_ctx = _localctx;
_prevctx = _localctx;
setState(114);
match(LPARA);
setState(115);
formula(0);
setState(116);
match(RPARA);
}
break;
case 4:
{
_localctx = new TermComparisonContext(_localctx);
_ctx = _localctx;
_prevctx = _localctx;
setState(118);
comparison();
}
break;
case 5:
{
_localctx = new CstrCallContext(_localctx);
_ctx = _localctx;
_prevctx = _localctx;
setState(119);
call();
}
break;
}
_ctx.stop = _input.LT(-1);
setState(127);
_errHandler.sync(this);
_alt = getInterpreter().adaptivePredict(_input,10,_ctx);
while ( _alt!=2 && _alt!=org.antlr.v4.runtime.atn.ATN.INVALID_ALT_NUMBER ) {
if ( _alt==1 ) {
if ( _parseListeners!=null ) triggerExitRuleEvent();
_prevctx = _localctx;
{
{
_localctx = new FormulaOpContext(new FormulaContext(_parentctx, _parentState));
((FormulaOpContext)_localctx).f1 = _prevctx;
pushNewRecursionContext(_localctx, _startState, RULE_formula);
setState(122);
if (!(precpred(_ctx, 5))) throw new FailedPredicateException(this, "precpred(_ctx, 5)");
setState(123);
((FormulaOpContext)_localctx).op = _input.LT(1);
_la = _input.LA(1);
if ( !((((_la) & ~0x3f) == 0 && ((1L << _la) & ((1L << AND) | (1L << OR) | (1L << IMPLIES) | (1L << IFF))) != 0)) ) {
((FormulaOpContext)_localctx).op = (Token)_errHandler.recoverInline(this);
} else {
consume();
}
setState(124);
((FormulaOpContext)_localctx).f2 = formula(6);
}
}
}
setState(129);
_errHandler.sync(this);
_alt = getInterpreter().adaptivePredict(_input,10,_ctx);
}
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
unrollRecursionContexts(_parentctx);
}
return _localctx;
}
public static class CallContext extends ParserRuleContext {
public TerminalNode ID() { return getToken(CstrSpecParser.ID, 0); }
public TerminalNode LPARA() { return getToken(CstrSpecParser.LPARA, 0); }
public List term() {
return getRuleContexts(TermContext.class);
}
public TermContext term(int i) {
return getRuleContext(TermContext.class,i);
}
public TerminalNode RPARA() { return getToken(CstrSpecParser.RPARA, 0); }
public TerminalNode BEGIN() { return getToken(CstrSpecParser.BEGIN, 0); }
public List COMMA() { return getTokens(CstrSpecParser.COMMA); }
public TerminalNode COMMA(int i) {
return getToken(CstrSpecParser.COMMA, i);
}
public CallContext(ParserRuleContext parent, int invokingState) {
super(parent, invokingState);
}
@Override public int getRuleIndex() { return RULE_call; }
@Override
public void enterRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).enterCall(this);
}
@Override
public void exitRule(ParseTreeListener listener) {
if ( listener instanceof CstrSpecListener ) ((CstrSpecListener)listener).exitCall(this);
}
@Override
public T accept(ParseTreeVisitor visitor) {
if ( visitor instanceof CstrSpecVisitor ) return ((CstrSpecVisitor)visitor).visitCall(this);
else return visitor.visitChildren(this);
}
}
public final CallContext call() throws RecognitionException {
CallContext _localctx = new CallContext(_ctx, getState());
enterRule(_localctx, 12, RULE_call);
int _la;
try {
enterOuterAlt(_localctx, 1);
{
setState(131);
_la = _input.LA(1);
if (_la==BEGIN) {
{
setState(130);
match(BEGIN);
}
}
setState(133);
match(ID);
setState(134);
match(LPARA);
setState(135);
term(0);
setState(140);
_errHandler.sync(this);
_la = _input.LA(1);
while (_la==COMMA) {
{
{
setState(136);
match(COMMA);
setState(137);
term(0);
}
}
setState(142);
_errHandler.sync(this);
_la = _input.LA(1);
}
setState(143);
match(RPARA);
}
}
catch (RecognitionException re) {
_localctx.exception = re;
_errHandler.reportError(this, re);
_errHandler.recover(this, re);
}
finally {
exitRule();
}
return _localctx;
}
public boolean sempred(RuleContext _localctx, int ruleIndex, int predIndex) {
switch (ruleIndex) {
case 0:
return term_sempred((TermContext)_localctx, predIndex);
case 5:
return formula_sempred((FormulaContext)_localctx, predIndex);
}
return true;
}
private boolean term_sempred(TermContext _localctx, int predIndex) {
switch (predIndex) {
case 0:
return precpred(_ctx, 9);
}
return true;
}
private boolean formula_sempred(FormulaContext _localctx, int predIndex) {
switch (predIndex) {
case 1:
return precpred(_ctx, 5);
}
return true;
}
public static final String _serializedATN =
"\3\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\3*\u0094\4\2\t\2\4"+
"\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4\7\t\7\4\b\t\b\3\2\3\2\3\2\3\2\3\2\3\2"+
"\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\5\2!\n\2\3\2\3\2\3\2\7\2&\n\2"+
"\f\2\16\2)\13\2\3\3\3\3\3\3\3\3\3\3\3\3\5\3\61\n\3\3\3\3\3\3\3\3\3\3\3"+
"\3\3\7\39\n\3\f\3\16\3<\13\3\3\3\3\3\5\3@\n\3\3\4\3\4\3\4\3\4\3\4\3\4"+
"\5\4H\n\4\3\4\3\4\3\4\3\4\3\4\3\4\7\4P\n\4\f\4\16\4S\13\4\3\4\3\4\5\4"+
"W\n\4\3\5\3\5\3\5\3\5\3\6\3\6\3\6\7\6`\n\6\f\6\16\6c\13\6\3\6\3\6\3\6"+
"\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3"+
"\7\3\7\5\7{\n\7\3\7\3\7\3\7\7\7\u0080\n\7\f\7\16\7\u0083\13\7\3\b\5\b"+
"\u0086\n\b\3\b\3\b\3\b\3\b\3\b\7\b\u008d\n\b\f\b\16\b\u0090\13\b\3\b\3"+
"\b\3\b\2\4\2\f\t\2\4\6\b\n\f\16\2\6\4\2\20\23\27\30\5\2\n\17\33\34\"%"+
"\3\2\n\17\4\2\31\32 !\u00a2\2 \3\2\2\2\4?\3\2\2\2\6V\3\2\2\2\bX\3\2\2"+
"\2\n\\\3\2\2\2\fz\3\2\2\2\16\u0085\3\2\2\2\20\21\b\2\1\2\21\22\7\35\2"+
"\2\22\23\5\2\2\2\23\24\7\36\2\2\24!\3\2\2\2\25!\5\16\b\2\26!\7*\2\2\27"+
"\30\7*\2\2\30\31\7&\2\2\31\32\5\2\2\2\32\33\7\'\2\2\33!\3\2\2\2\34!\5"+
"\4\3\2\35!\5\6\4\2\36!\7\26\2\2\37!\7(\2\2 \20\3\2\2\2 \25\3\2\2\2 \26"+
"\3\2\2\2 \27\3\2\2\2 \34\3\2\2\2 \35\3\2\2\2 \36\3\2\2\2 \37\3\2\2\2!"+
"\'\3\2\2\2\"#\f\13\2\2#$\t\2\2\2$&\5\2\2\f%\"\3\2\2\2&)\3\2\2\2\'%\3\2"+
"\2\2\'(\3\2\2\2(\3\3\2\2\2)\'\3\2\2\2*+\7\7\2\2+,\5\2\2\2,-\7\6\2\2-\60"+
"\5\n\6\2./\7\t\2\2/\61\5\f\7\2\60.\3\2\2\2\60\61\3\2\2\2\61\62\3\2\2\2"+
"\62\63\7\b\2\2\63@\3\2\2\2\64\65\7\7\2\2\65:\5\2\2\2\66\67\7\t\2\2\67"+
"9\5\2\2\28\66\3\2\2\29<\3\2\2\2:8\3\2\2\2:;\3\2\2\2;=\3\2\2\2<:\3\2\2"+
"\2=>\7\b\2\2>@\3\2\2\2?*\3\2\2\2?\64\3\2\2\2@\5\3\2\2\2AB\7&\2\2BC\5\2"+
"\2\2CD\7\6\2\2DG\5\n\6\2EF\7\t\2\2FH\5\f\7\2GE\3\2\2\2GH\3\2\2\2HI\3\2"+
"\2\2IJ\7\'\2\2JW\3\2\2\2KL\7&\2\2LQ\5\2\2\2MN\7\t\2\2NP\5\2\2\2OM\3\2"+
"\2\2PS\3\2\2\2QO\3\2\2\2QR\3\2\2\2RT\3\2\2\2SQ\3\2\2\2TU\7\'\2\2UW\3\2"+
"\2\2VA\3\2\2\2VK\3\2\2\2W\7\3\2\2\2XY\5\2\2\2YZ\t\3\2\2Z[\5\2\2\2[\t\3"+
"\2\2\2\\a\7*\2\2]^\7\t\2\2^`\7*\2\2_]\3\2\2\2`c\3\2\2\2a_\3\2\2\2ab\3"+
"\2\2\2bd\3\2\2\2ca\3\2\2\2de\t\4\2\2ef\5\2\2\2f\13\3\2\2\2gh\b\7\1\2h"+
"i\7\24\2\2ij\7\35\2\2jk\5\n\6\2kl\7\36\2\2lm\5\f\7\5m{\3\2\2\2no\7\25"+
"\2\2op\7\35\2\2pq\5\n\6\2qr\7\36\2\2rs\5\f\7\4s{\3\2\2\2tu\7\35\2\2uv"+
"\5\f\7\2vw\7\36\2\2w{\3\2\2\2x{\5\b\5\2y{\5\16\b\2zg\3\2\2\2zn\3\2\2\2"+
"zt\3\2\2\2zx\3\2\2\2zy\3\2\2\2{\u0081\3\2\2\2|}\f\7\2\2}~\t\5\2\2~\u0080"+
"\5\f\7\b\177|\3\2\2\2\u0080\u0083\3\2\2\2\u0081\177\3\2\2\2\u0081\u0082"+
"\3\2\2\2\u0082\r\3\2\2\2\u0083\u0081\3\2\2\2\u0084\u0086\7)\2\2\u0085"+
"\u0084\3\2\2\2\u0085\u0086\3\2\2\2\u0086\u0087\3\2\2\2\u0087\u0088\7*"+
"\2\2\u0088\u0089\7\35\2\2\u0089\u008e\5\2\2\2\u008a\u008b\7\t\2\2\u008b"+
"\u008d\5\2\2\2\u008c\u008a\3\2\2\2\u008d\u0090\3\2\2\2\u008e\u008c\3\2"+
"\2\2\u008e\u008f\3\2\2\2\u008f\u0091\3\2\2\2\u0090\u008e\3\2\2\2\u0091"+
"\u0092\7\36\2\2\u0092\17\3\2\2\2\17 \'\60:?GQVaz\u0081\u0085\u008e";
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