hu.bme.mit.theta.sts.dsl.gen.StsDslLexer Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of theta-sts Show documentation
Show all versions of theta-sts Show documentation
Sts subproject in the Theta model checking framework
// Generated from StsDsl.g4 by ANTLR 4.9.2
package hu.bme.mit.theta.sts.dsl.gen;
import org.antlr.v4.runtime.Lexer;
import org.antlr.v4.runtime.CharStream;
import org.antlr.v4.runtime.Token;
import org.antlr.v4.runtime.TokenStream;
import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.atn.*;
import org.antlr.v4.runtime.dfa.DFA;
import org.antlr.v4.runtime.misc.*;
@SuppressWarnings({"all", "warnings", "unchecked", "unused", "cast"})
public class StsDslLexer extends Lexer {
static { RuntimeMetaData.checkVersion("4.9.2", RuntimeMetaData.VERSION); }
protected static final DFA[] _decisionToDFA;
protected static final PredictionContextCache _sharedContextCache =
new PredictionContextCache();
public static final int
SPECIFICATION=1, CONST=2, VAR=3, PROPERTY=4, MODELS=5, GLOBALLY=6, SYSTEM=7,
INVARIANT=8, INITIAL=9, TRANSITION=10, BOOLTYPE=11, INTTYPE=12, RATTYPE=13,
IF=14, THEN=15, ELSE=16, IFF=17, IMPLY=18, FORALL=19, EXISTS=20, OR=21,
AND=22, XOR=23, NOT=24, EQ=25, NEQ=26, LT=27, LEQ=28, GT=29, GEQ=30, PLUS=31,
MINUS=32, MUL=33, DIV=34, MOD=35, REM=36, PERCENT=37, TRUE=38, FALSE=39,
ASSIGN=40, HAVOC=41, ASSUME=42, INT=43, NAT=44, SIGN=45, DOT=46, ID=47,
UNDERSCORE=48, DIGIT=49, LETTER=50, LPAREN=51, RPAREN=52, LBRACK=53, RBRACK=54,
LBRAC=55, RBRAC=56, COMMA=57, COLON=58, SEMICOLON=59, QUOT=60, LARROW=61,
RARROW=62, WS=63, COMMENT=64, LINE_COMMENT=65;
public static String[] channelNames = {
"DEFAULT_TOKEN_CHANNEL", "HIDDEN"
};
public static String[] modeNames = {
"DEFAULT_MODE"
};
private static String[] makeRuleNames() {
return new String[] {
"SPECIFICATION", "CONST", "VAR", "PROPERTY", "MODELS", "GLOBALLY", "SYSTEM",
"INVARIANT", "INITIAL", "TRANSITION", "BOOLTYPE", "INTTYPE", "RATTYPE",
"IF", "THEN", "ELSE", "IFF", "IMPLY", "FORALL", "EXISTS", "OR", "AND",
"XOR", "NOT", "EQ", "NEQ", "LT", "LEQ", "GT", "GEQ", "PLUS", "MINUS",
"MUL", "DIV", "MOD", "REM", "PERCENT", "TRUE", "FALSE", "ASSIGN", "HAVOC",
"ASSUME", "INT", "NAT", "SIGN", "DOT", "ID", "UNDERSCORE", "DIGIT", "LETTER",
"LPAREN", "RPAREN", "LBRACK", "RBRACK", "LBRAC", "RBRAC", "COMMA", "COLON",
"SEMICOLON", "QUOT", "LARROW", "RARROW", "WS", "COMMENT", "LINE_COMMENT"
};
}
public static final String[] ruleNames = makeRuleNames();
private static String[] makeLiteralNames() {
return new String[] {
null, "'specification'", "'const'", "'var'", "'property'", "'models'",
"'G'", "'system'", "'invariant'", "'initial'", "'transition'", "'bool'",
"'int'", "'rat'", "'if'", "'then'", "'else'", "'equal'", "'imply'", "'forall'",
"'exists'", "'or'", "'and'", "'xor'", "'not'", "'='", "'/='", "'<'",
"'<='", "'>'", "'>='", "'+'", "'-'", "'*'", "'/'", "'mod'", "'rem'",
"'%'", "'true'", "'false'", "':='", "'havoc'", "'assume'", null, null,
null, "'.'", null, "'_'", null, null, "'('", "')'", "'['", "']'", "'{'",
"'}'", "','", "':'", "';'", "'''", "'<-'", "'->'"
};
}
private static final String[] _LITERAL_NAMES = makeLiteralNames();
private static String[] makeSymbolicNames() {
return new String[] {
null, "SPECIFICATION", "CONST", "VAR", "PROPERTY", "MODELS", "GLOBALLY",
"SYSTEM", "INVARIANT", "INITIAL", "TRANSITION", "BOOLTYPE", "INTTYPE",
"RATTYPE", "IF", "THEN", "ELSE", "IFF", "IMPLY", "FORALL", "EXISTS",
"OR", "AND", "XOR", "NOT", "EQ", "NEQ", "LT", "LEQ", "GT", "GEQ", "PLUS",
"MINUS", "MUL", "DIV", "MOD", "REM", "PERCENT", "TRUE", "FALSE", "ASSIGN",
"HAVOC", "ASSUME", "INT", "NAT", "SIGN", "DOT", "ID", "UNDERSCORE", "DIGIT",
"LETTER", "LPAREN", "RPAREN", "LBRACK", "RBRACK", "LBRAC", "RBRAC", "COMMA",
"COLON", "SEMICOLON", "QUOT", "LARROW", "RARROW", "WS", "COMMENT", "LINE_COMMENT"
};
}
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;
}
public StsDslLexer(CharStream input) {
super(input);
_interp = new LexerATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
}
@Override
public String getGrammarFileName() { return "StsDsl.g4"; }
@Override
public String[] getRuleNames() { return ruleNames; }
@Override
public String getSerializedATN() { return _serializedATN; }
@Override
public String[] getChannelNames() { return channelNames; }
@Override
public String[] getModeNames() { return modeNames; }
@Override
public ATN getATN() { return _ATN; }
public static final String _serializedATN =
"\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2C\u01ae\b\1\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\4\t\t\t\4\n\t\n\4\13"+
"\t\13\4\f\t\f\4\r\t\r\4\16\t\16\4\17\t\17\4\20\t\20\4\21\t\21\4\22\t\22"+
"\4\23\t\23\4\24\t\24\4\25\t\25\4\26\t\26\4\27\t\27\4\30\t\30\4\31\t\31"+
"\4\32\t\32\4\33\t\33\4\34\t\34\4\35\t\35\4\36\t\36\4\37\t\37\4 \t \4!"+
"\t!\4\"\t\"\4#\t#\4$\t$\4%\t%\4&\t&\4\'\t\'\4(\t(\4)\t)\4*\t*\4+\t+\4"+
",\t,\4-\t-\4.\t.\4/\t/\4\60\t\60\4\61\t\61\4\62\t\62\4\63\t\63\4\64\t"+
"\64\4\65\t\65\4\66\t\66\4\67\t\67\48\t8\49\t9\4:\t:\4;\t;\4<\t<\4=\t="+
"\4>\t>\4?\t?\4@\t@\4A\tA\4B\tB\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\3\3\3\3\3\3\3\3\3\3\3\3\4\3\4\3\4\3\4\3\5\3\5\3\5\3"+
"\5\3\5\3\5\3\5\3\5\3\5\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\7\3\7\3\b\3\b\3\b"+
"\3\b\3\b\3\b\3\b\3\t\3\t\3\t\3\t\3\t\3\t\3\t\3\t\3\t\3\t\3\n\3\n\3\n\3"+
"\n\3\n\3\n\3\n\3\n\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3"+
"\13\3\f\3\f\3\f\3\f\3\f\3\r\3\r\3\r\3\r\3\16\3\16\3\16\3\16\3\17\3\17"+
"\3\17\3\20\3\20\3\20\3\20\3\20\3\21\3\21\3\21\3\21\3\21\3\22\3\22\3\22"+
"\3\22\3\22\3\22\3\23\3\23\3\23\3\23\3\23\3\23\3\24\3\24\3\24\3\24\3\24"+
"\3\24\3\24\3\25\3\25\3\25\3\25\3\25\3\25\3\25\3\26\3\26\3\26\3\27\3\27"+
"\3\27\3\27\3\30\3\30\3\30\3\30\3\31\3\31\3\31\3\31\3\32\3\32\3\33\3\33"+
"\3\33\3\34\3\34\3\35\3\35\3\35\3\36\3\36\3\37\3\37\3\37\3 \3 \3!\3!\3"+
"\"\3\"\3#\3#\3$\3$\3$\3$\3%\3%\3%\3%\3&\3&\3\'\3\'\3\'\3\'\3\'\3(\3(\3"+
"(\3(\3(\3(\3)\3)\3)\3*\3*\3*\3*\3*\3*\3+\3+\3+\3+\3+\3+\3+\3,\5,\u0154"+
"\n,\3,\3,\3-\6-\u0159\n-\r-\16-\u015a\3.\3.\5.\u015f\n.\3/\3/\3\60\3\60"+
"\5\60\u0165\n\60\3\60\3\60\3\60\7\60\u016a\n\60\f\60\16\60\u016d\13\60"+
"\3\61\3\61\3\62\3\62\3\63\3\63\3\64\3\64\3\65\3\65\3\66\3\66\3\67\3\67"+
"\38\38\39\39\3:\3:\3;\3;\3<\3<\3=\3=\3>\3>\3>\3?\3?\3?\3@\6@\u0190\n@"+
"\r@\16@\u0191\3@\3@\3A\3A\3A\3A\7A\u019a\nA\fA\16A\u019d\13A\3A\3A\3A"+
"\3A\3A\3B\3B\3B\3B\7B\u01a8\nB\fB\16B\u01ab\13B\3B\3B\3\u019b\2C\3\3\5"+
"\4\7\5\t\6\13\7\r\b\17\t\21\n\23\13\25\f\27\r\31\16\33\17\35\20\37\21"+
"!\22#\23%\24\'\25)\26+\27-\30/\31\61\32\63\33\65\34\67\359\36;\37= ?!"+
"A\"C#E$G%I&K\'M(O)Q*S+U,W-Y.[/]\60_\61a\62c\63e\64g\65i\66k\67m8o9q:s"+
";u{?}@\177A\u0081B\u0083C\3\2\6\3\2\62;\4\2C\\c|\5\2\13\f\16\17\""+
"\"\4\2\f\f\17\17\2\u01b7\2\3\3\2\2\2\2\5\3\2\2\2\2\7\3\2\2\2\2\t\3\2\2"+
"\2\2\13\3\2\2\2\2\r\3\2\2\2\2\17\3\2\2\2\2\21\3\2\2\2\2\23\3\2\2\2\2\25"+
"\3\2\2\2\2\27\3\2\2\2\2\31\3\2\2\2\2\33\3\2\2\2\2\35\3\2\2\2\2\37\3\2"+
"\2\2\2!\3\2\2\2\2#\3\2\2\2\2%\3\2\2\2\2\'\3\2\2\2\2)\3\2\2\2\2+\3\2\2"+
"\2\2-\3\2\2\2\2/\3\2\2\2\2\61\3\2\2\2\2\63\3\2\2\2\2\65\3\2\2\2\2\67\3"+
"\2\2\2\29\3\2\2\2\2;\3\2\2\2\2=\3\2\2\2\2?\3\2\2\2\2A\3\2\2\2\2C\3\2\2"+
"\2\2E\3\2\2\2\2G\3\2\2\2\2I\3\2\2\2\2K\3\2\2\2\2M\3\2\2\2\2O\3\2\2\2\2"+
"Q\3\2\2\2\2S\3\2\2\2\2U\3\2\2\2\2W\3\2\2\2\2Y\3\2\2\2\2[\3\2\2\2\2]\3"+
"\2\2\2\2_\3\2\2\2\2a\3\2\2\2\2c\3\2\2\2\2e\3\2\2\2\2g\3\2\2\2\2i\3\2\2"+
"\2\2k\3\2\2\2\2m\3\2\2\2\2o\3\2\2\2\2q\3\2\2\2\2s\3\2\2\2\2u\3\2\2\2\2"+
"w\3\2\2\2\2y\3\2\2\2\2{\3\2\2\2\2}\3\2\2\2\2\177\3\2\2\2\2\u0081\3\2\2"+
"\2\2\u0083\3\2\2\2\3\u0085\3\2\2\2\5\u0093\3\2\2\2\7\u0099\3\2\2\2\t\u009d"+
"\3\2\2\2\13\u00a6\3\2\2\2\r\u00ad\3\2\2\2\17\u00af\3\2\2\2\21\u00b6\3"+
"\2\2\2\23\u00c0\3\2\2\2\25\u00c8\3\2\2\2\27\u00d3\3\2\2\2\31\u00d8\3\2"+
"\2\2\33\u00dc\3\2\2\2\35\u00e0\3\2\2\2\37\u00e3\3\2\2\2!\u00e8\3\2\2\2"+
"#\u00ed\3\2\2\2%\u00f3\3\2\2\2\'\u00f9\3\2\2\2)\u0100\3\2\2\2+\u0107\3"+
"\2\2\2-\u010a\3\2\2\2/\u010e\3\2\2\2\61\u0112\3\2\2\2\63\u0116\3\2\2\2"+
"\65\u0118\3\2\2\2\67\u011b\3\2\2\29\u011d\3\2\2\2;\u0120\3\2\2\2=\u0122"+
"\3\2\2\2?\u0125\3\2\2\2A\u0127\3\2\2\2C\u0129\3\2\2\2E\u012b\3\2\2\2G"+
"\u012d\3\2\2\2I\u0131\3\2\2\2K\u0135\3\2\2\2M\u0137\3\2\2\2O\u013c\3\2"+
"\2\2Q\u0142\3\2\2\2S\u0145\3\2\2\2U\u014b\3\2\2\2W\u0153\3\2\2\2Y\u0158"+
"\3\2\2\2[\u015e\3\2\2\2]\u0160\3\2\2\2_\u0164\3\2\2\2a\u016e\3\2\2\2c"+
"\u0170\3\2\2\2e\u0172\3\2\2\2g\u0174\3\2\2\2i\u0176\3\2\2\2k\u0178\3\2"+
"\2\2m\u017a\3\2\2\2o\u017c\3\2\2\2q\u017e\3\2\2\2s\u0180\3\2\2\2u\u0182"+
"\3\2\2\2w\u0184\3\2\2\2y\u0186\3\2\2\2{\u0188\3\2\2\2}\u018b\3\2\2\2\177"+
"\u018f\3\2\2\2\u0081\u0195\3\2\2\2\u0083\u01a3\3\2\2\2\u0085\u0086\7u"+
"\2\2\u0086\u0087\7r\2\2\u0087\u0088\7g\2\2\u0088\u0089\7e\2\2\u0089\u008a"+
"\7k\2\2\u008a\u008b\7h\2\2\u008b\u008c\7k\2\2\u008c\u008d\7e\2\2\u008d"+
"\u008e\7c\2\2\u008e\u008f\7v\2\2\u008f\u0090\7k\2\2\u0090\u0091\7q\2\2"+
"\u0091\u0092\7p\2\2\u0092\4\3\2\2\2\u0093\u0094\7e\2\2\u0094\u0095\7q"+
"\2\2\u0095\u0096\7p\2\2\u0096\u0097\7u\2\2\u0097\u0098\7v\2\2\u0098\6"+
"\3\2\2\2\u0099\u009a\7x\2\2\u009a\u009b\7c\2\2\u009b\u009c\7t\2\2\u009c"+
"\b\3\2\2\2\u009d\u009e\7r\2\2\u009e\u009f\7t\2\2\u009f\u00a0\7q\2\2\u00a0"+
"\u00a1\7r\2\2\u00a1\u00a2\7g\2\2\u00a2\u00a3\7t\2\2\u00a3\u00a4\7v\2\2"+
"\u00a4\u00a5\7{\2\2\u00a5\n\3\2\2\2\u00a6\u00a7\7o\2\2\u00a7\u00a8\7q"+
"\2\2\u00a8\u00a9\7f\2\2\u00a9\u00aa\7g\2\2\u00aa\u00ab\7n\2\2\u00ab\u00ac"+
"\7u\2\2\u00ac\f\3\2\2\2\u00ad\u00ae\7I\2\2\u00ae\16\3\2\2\2\u00af\u00b0"+
"\7u\2\2\u00b0\u00b1\7{\2\2\u00b1\u00b2\7u\2\2\u00b2\u00b3\7v\2\2\u00b3"+
"\u00b4\7g\2\2\u00b4\u00b5\7o\2\2\u00b5\20\3\2\2\2\u00b6\u00b7\7k\2\2\u00b7"+
"\u00b8\7p\2\2\u00b8\u00b9\7x\2\2\u00b9\u00ba\7c\2\2\u00ba\u00bb\7t\2\2"+
"\u00bb\u00bc\7k\2\2\u00bc\u00bd\7c\2\2\u00bd\u00be\7p\2\2\u00be\u00bf"+
"\7v\2\2\u00bf\22\3\2\2\2\u00c0\u00c1\7k\2\2\u00c1\u00c2\7p\2\2\u00c2\u00c3"+
"\7k\2\2\u00c3\u00c4\7v\2\2\u00c4\u00c5\7k\2\2\u00c5\u00c6\7c\2\2\u00c6"+
"\u00c7\7n\2\2\u00c7\24\3\2\2\2\u00c8\u00c9\7v\2\2\u00c9\u00ca\7t\2\2\u00ca"+
"\u00cb\7c\2\2\u00cb\u00cc\7p\2\2\u00cc\u00cd\7u\2\2\u00cd\u00ce\7k\2\2"+
"\u00ce\u00cf\7v\2\2\u00cf\u00d0\7k\2\2\u00d0\u00d1\7q\2\2\u00d1\u00d2"+
"\7p\2\2\u00d2\26\3\2\2\2\u00d3\u00d4\7d\2\2\u00d4\u00d5\7q\2\2\u00d5\u00d6"+
"\7q\2\2\u00d6\u00d7\7n\2\2\u00d7\30\3\2\2\2\u00d8\u00d9\7k\2\2\u00d9\u00da"+
"\7p\2\2\u00da\u00db\7v\2\2\u00db\32\3\2\2\2\u00dc\u00dd\7t\2\2\u00dd\u00de"+
"\7c\2\2\u00de\u00df\7v\2\2\u00df\34\3\2\2\2\u00e0\u00e1\7k\2\2\u00e1\u00e2"+
"\7h\2\2\u00e2\36\3\2\2\2\u00e3\u00e4\7v\2\2\u00e4\u00e5\7j\2\2\u00e5\u00e6"+
"\7g\2\2\u00e6\u00e7\7p\2\2\u00e7 \3\2\2\2\u00e8\u00e9\7g\2\2\u00e9\u00ea"+
"\7n\2\2\u00ea\u00eb\7u\2\2\u00eb\u00ec\7g\2\2\u00ec\"\3\2\2\2\u00ed\u00ee"+
"\7g\2\2\u00ee\u00ef\7s\2\2\u00ef\u00f0\7w\2\2\u00f0\u00f1\7c\2\2\u00f1"+
"\u00f2\7n\2\2\u00f2$\3\2\2\2\u00f3\u00f4\7k\2\2\u00f4\u00f5\7o\2\2\u00f5"+
"\u00f6\7r\2\2\u00f6\u00f7\7n\2\2\u00f7\u00f8\7{\2\2\u00f8&\3\2\2\2\u00f9"+
"\u00fa\7h\2\2\u00fa\u00fb\7q\2\2\u00fb\u00fc\7t\2\2\u00fc\u00fd\7c\2\2"+
"\u00fd\u00fe\7n\2\2\u00fe\u00ff\7n\2\2\u00ff(\3\2\2\2\u0100\u0101\7g\2"+
"\2\u0101\u0102\7z\2\2\u0102\u0103\7k\2\2\u0103\u0104\7u\2\2\u0104\u0105"+
"\7v\2\2\u0105\u0106\7u\2\2\u0106*\3\2\2\2\u0107\u0108\7q\2\2\u0108\u0109"+
"\7t\2\2\u0109,\3\2\2\2\u010a\u010b\7c\2\2\u010b\u010c\7p\2\2\u010c\u010d"+
"\7f\2\2\u010d.\3\2\2\2\u010e\u010f\7z\2\2\u010f\u0110\7q\2\2\u0110\u0111"+
"\7t\2\2\u0111\60\3\2\2\2\u0112\u0113\7p\2\2\u0113\u0114\7q\2\2\u0114\u0115"+
"\7v\2\2\u0115\62\3\2\2\2\u0116\u0117\7?\2\2\u0117\64\3\2\2\2\u0118\u0119"+
"\7\61\2\2\u0119\u011a\7?\2\2\u011a\66\3\2\2\2\u011b\u011c\7>\2\2\u011c"+
"8\3\2\2\2\u011d\u011e\7>\2\2\u011e\u011f\7?\2\2\u011f:\3\2\2\2\u0120\u0121"+
"\7@\2\2\u0121<\3\2\2\2\u0122\u0123\7@\2\2\u0123\u0124\7?\2\2\u0124>\3"+
"\2\2\2\u0125\u0126\7-\2\2\u0126@\3\2\2\2\u0127\u0128\7/\2\2\u0128B\3\2"+
"\2\2\u0129\u012a\7,\2\2\u012aD\3\2\2\2\u012b\u012c\7\61\2\2\u012cF\3\2"+
"\2\2\u012d\u012e\7o\2\2\u012e\u012f\7q\2\2\u012f\u0130\7f\2\2\u0130H\3"+
"\2\2\2\u0131\u0132\7t\2\2\u0132\u0133\7g\2\2\u0133\u0134\7o\2\2\u0134"+
"J\3\2\2\2\u0135\u0136\7\'\2\2\u0136L\3\2\2\2\u0137\u0138\7v\2\2\u0138"+
"\u0139\7t\2\2\u0139\u013a\7w\2\2\u013a\u013b\7g\2\2\u013bN\3\2\2\2\u013c"+
"\u013d\7h\2\2\u013d\u013e\7c\2\2\u013e\u013f\7n\2\2\u013f\u0140\7u\2\2"+
"\u0140\u0141\7g\2\2\u0141P\3\2\2\2\u0142\u0143\7<\2\2\u0143\u0144\7?\2"+
"\2\u0144R\3\2\2\2\u0145\u0146\7j\2\2\u0146\u0147\7c\2\2\u0147\u0148\7"+
"x\2\2\u0148\u0149\7q\2\2\u0149\u014a\7e\2\2\u014aT\3\2\2\2\u014b\u014c"+
"\7c\2\2\u014c\u014d\7u\2\2\u014d\u014e\7u\2\2\u014e\u014f\7w\2\2\u014f"+
"\u0150\7o\2\2\u0150\u0151\7g\2\2\u0151V\3\2\2\2\u0152\u0154\5[.\2\u0153"+
"\u0152\3\2\2\2\u0153\u0154\3\2\2\2\u0154\u0155\3\2\2\2\u0155\u0156\5Y"+
"-\2\u0156X\3\2\2\2\u0157\u0159\5c\62\2\u0158\u0157\3\2\2\2\u0159\u015a"+
"\3\2\2\2\u015a\u0158\3\2\2\2\u015a\u015b\3\2\2\2\u015bZ\3\2\2\2\u015c"+
"\u015f\5? \2\u015d\u015f\5A!\2\u015e\u015c\3\2\2\2\u015e\u015d\3\2\2\2"+
"\u015f\\\3\2\2\2\u0160\u0161\7\60\2\2\u0161^\3\2\2\2\u0162\u0165\5e\63"+
"\2\u0163\u0165\5a\61\2\u0164\u0162\3\2\2\2\u0164\u0163\3\2\2\2\u0165\u016b"+
"\3\2\2\2\u0166\u016a\5e\63\2\u0167\u016a\5a\61\2\u0168\u016a\5c\62\2\u0169"+
"\u0166\3\2\2\2\u0169\u0167\3\2\2\2\u0169\u0168\3\2\2\2\u016a\u016d\3\2"+
"\2\2\u016b\u0169\3\2\2\2\u016b\u016c\3\2\2\2\u016c`\3\2\2\2\u016d\u016b"+
"\3\2\2\2\u016e\u016f\7a\2\2\u016fb\3\2\2\2\u0170\u0171\t\2\2\2\u0171d"+
"\3\2\2\2\u0172\u0173\t\3\2\2\u0173f\3\2\2\2\u0174\u0175\7*\2\2\u0175h"+
"\3\2\2\2\u0176\u0177\7+\2\2\u0177j\3\2\2\2\u0178\u0179\7]\2\2\u0179l\3"+
"\2\2\2\u017a\u017b\7_\2\2\u017bn\3\2\2\2\u017c\u017d\7}\2\2\u017dp\3\2"+
"\2\2\u017e\u017f\7\177\2\2\u017fr\3\2\2\2\u0180\u0181\7.\2\2\u0181t\3"+
"\2\2\2\u0182\u0183\7<\2\2\u0183v\3\2\2\2\u0184\u0185\7=\2\2\u0185x\3\2"+
"\2\2\u0186\u0187\7)\2\2\u0187z\3\2\2\2\u0188\u0189\7>\2\2\u0189\u018a"+
"\7/\2\2\u018a|\3\2\2\2\u018b\u018c\7/\2\2\u018c\u018d\7@\2\2\u018d~\3"+
"\2\2\2\u018e\u0190\t\4\2\2\u018f\u018e\3\2\2\2\u0190\u0191\3\2\2\2\u0191"+
"\u018f\3\2\2\2\u0191\u0192\3\2\2\2\u0192\u0193\3\2\2\2\u0193\u0194\b@"+
"\2\2\u0194\u0080\3\2\2\2\u0195\u0196\7\61\2\2\u0196\u0197\7,\2\2\u0197"+
"\u019b\3\2\2\2\u0198\u019a\13\2\2\2\u0199\u0198\3\2\2\2\u019a\u019d\3"+
"\2\2\2\u019b\u019c\3\2\2\2\u019b\u0199\3\2\2\2\u019c\u019e\3\2\2\2\u019d"+
"\u019b\3\2\2\2\u019e\u019f\7,\2\2\u019f\u01a0\7\61\2\2\u01a0\u01a1\3\2"+
"\2\2\u01a1\u01a2\bA\2\2\u01a2\u0082\3\2\2\2\u01a3\u01a4\7\61\2\2\u01a4"+
"\u01a5\7\61\2\2\u01a5\u01a9\3\2\2\2\u01a6\u01a8\n\5\2\2\u01a7\u01a6\3"+
"\2\2\2\u01a8\u01ab\3\2\2\2\u01a9\u01a7\3\2\2\2\u01a9\u01aa\3\2\2\2\u01aa"+
"\u01ac\3\2\2\2\u01ab\u01a9\3\2\2\2\u01ac\u01ad\bB\2\2\u01ad\u0084\3\2"+
"\2\2\f\2\u0153\u015a\u015e\u0164\u0169\u016b\u0191\u019b\u01a9\3\b\2\2";
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);
}
}
}