hu.bme.mit.theta.cat.dsl.gen.CatLexer Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of theta-cat Show documentation
Show all versions of theta-cat Show documentation
Cat subproject in the Theta model checking framework
// Generated from Cat.g4 by ANTLR 4.9.2
package hu.bme.mit.theta.cat.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 CatLexer 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
T__0=1, T__1=2, T__2=3, LET=4, REC=5, AND=6, AS=7, TRY=8, WITH=9, CALL=10,
PROCEDURE=11, END=12, INCLUDE=13, ACYCLIC=14, IRREFLEXIVE=15, EMPTY=16,
DOMAIN=17, RANGE=18, EQ=19, STAR=20, PLUS=21, OPT=22, INV=23, NOT=24,
AMP=25, BAR=26, SEMI=27, BSLASH=28, POW=29, LPAR=30, RPAR=31, LBRAC=32,
RBRAC=33, COMMA=34, QUOT=35, NAME=36, LINE_COMMENT=37, BLOCK_COMMENT=38,
WS=39, SHOW=40;
public static String[] channelNames = {
"DEFAULT_TOKEN_CHANNEL", "HIDDEN"
};
public static String[] modeNames = {
"DEFAULT_MODE"
};
private static String[] makeRuleNames() {
return new String[] {
"T__0", "T__1", "T__2", "LET", "REC", "AND", "AS", "TRY", "WITH", "CALL",
"PROCEDURE", "END", "INCLUDE", "ACYCLIC", "IRREFLEXIVE", "EMPTY", "DOMAIN",
"RANGE", "EQ", "STAR", "PLUS", "OPT", "INV", "NOT", "AMP", "BAR", "SEMI",
"BSLASH", "POW", "LPAR", "RPAR", "LBRAC", "RBRAC", "COMMA", "QUOT", "NAME",
"LINE_COMMENT", "BLOCK_COMMENT", "WS", "SHOW"
};
}
public static final String[] ruleNames = makeRuleNames();
private static String[] makeLiteralNames() {
return new String[] {
null, "'0'", "'{'", "'}'", "'let'", "'rec'", "'and'", "'as'", "'try'",
"'with'", "'call'", "'procedure'", "'end'", "'include'", "'acyclic'",
"'irreflexive'", "'empty'", "'domain'", "'range'", "'='", "'*'", "'+'",
"'?'", "'-1'", "'~'", "'&'", "'|'", "';'", "'\\'", null, "'('", "')'",
"'['", "']'", "','", "'\"'"
};
}
private static final String[] _LITERAL_NAMES = makeLiteralNames();
private static String[] makeSymbolicNames() {
return new String[] {
null, null, null, null, "LET", "REC", "AND", "AS", "TRY", "WITH", "CALL",
"PROCEDURE", "END", "INCLUDE", "ACYCLIC", "IRREFLEXIVE", "EMPTY", "DOMAIN",
"RANGE", "EQ", "STAR", "PLUS", "OPT", "INV", "NOT", "AMP", "BAR", "SEMI",
"BSLASH", "POW", "LPAR", "RPAR", "LBRAC", "RBRAC", "COMMA", "QUOT", "NAME",
"LINE_COMMENT", "BLOCK_COMMENT", "WS", "SHOW"
};
}
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 CatLexer(CharStream input) {
super(input);
_interp = new LexerATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
}
@Override
public String getGrammarFileName() { return "Cat.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\2*\u010b\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)\3\2\3\2\3\3\3"+
"\3\3\4\3\4\3\5\3\5\3\5\3\5\3\6\3\6\3\6\3\6\3\7\3\7\3\7\3\7\3\b\3\b\3\b"+
"\3\t\3\t\3\t\3\t\3\n\3\n\3\n\3\n\3\n\3\13\3\13\3\13\3\13\3\13\3\f\3\f"+
"\3\f\3\f\3\f\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"+
"\16\3\16\3\16\3\16\3\17\3\17\3\17\3\17\3\17\3\17\3\17\3\17\3\20\3\20\3"+
"\20\3\20\3\20\3\20\3\20\3\20\3\20\3\20\3\20\3\20\3\21\3\21\3\21\3\21\3"+
"\21\3\21\3\22\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\25\3\25\3\26\3\26\3\27\3\27\3\30\3\30\3\30\3\31\3\31\3"+
"\32\3\32\3\33\3\33\3\34\3\34\3\35\3\35\3\36\3\36\3\37\3\37\3 \3 \3!\3"+
"!\3\"\3\"\3#\3#\3$\3$\3%\6%\u00d8\n%\r%\16%\u00d9\3&\3&\3&\3&\7&\u00e0"+
"\n&\f&\16&\u00e3\13&\3&\3&\3\'\3\'\3\'\3\'\7\'\u00eb\n\'\f\'\16\'\u00ee"+
"\13\'\3\'\3\'\3\'\3\'\3\'\3(\6(\u00f6\n(\r(\16(\u00f7\3(\3(\3)\3)\3)\3"+
")\3)\3)\3)\7)\u0103\n)\f)\16)\u0106\13)\3)\3)\3)\3)\4\u00ec\u0104\2*\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*\3\2\6\7\2/\60\62;C\\aac|\3\2\f\f\5\2\13\f\17\17"+
"\"\"\4\2\f\f\17\17\2\u010f\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"+
"\2Q\3\2\2\2\3S\3\2\2\2\5U\3\2\2\2\7W\3\2\2\2\tY\3\2\2\2\13]\3\2\2\2\r"+
"a\3\2\2\2\17e\3\2\2\2\21h\3\2\2\2\23l\3\2\2\2\25q\3\2\2\2\27v\3\2\2\2"+
"\31\u0080\3\2\2\2\33\u0084\3\2\2\2\35\u008c\3\2\2\2\37\u0094\3\2\2\2!"+
"\u00a0\3\2\2\2#\u00a6\3\2\2\2%\u00ad\3\2\2\2\'\u00b3\3\2\2\2)\u00b5\3"+
"\2\2\2+\u00b7\3\2\2\2-\u00b9\3\2\2\2/\u00bb\3\2\2\2\61\u00be\3\2\2\2\63"+
"\u00c0\3\2\2\2\65\u00c2\3\2\2\2\67\u00c4\3\2\2\29\u00c6\3\2\2\2;\u00c8"+
"\3\2\2\2=\u00ca\3\2\2\2?\u00cc\3\2\2\2A\u00ce\3\2\2\2C\u00d0\3\2\2\2E"+
"\u00d2\3\2\2\2G\u00d4\3\2\2\2I\u00d7\3\2\2\2K\u00db\3\2\2\2M\u00e6\3\2"+
"\2\2O\u00f5\3\2\2\2Q\u00fb\3\2\2\2ST\7\62\2\2T\4\3\2\2\2UV\7}\2\2V\6\3"+
"\2\2\2WX\7\177\2\2X\b\3\2\2\2YZ\7n\2\2Z[\7g\2\2[\\\7v\2\2\\\n\3\2\2\2"+
"]^\7t\2\2^_\7g\2\2_`\7e\2\2`\f\3\2\2\2ab\7c\2\2bc\7p\2\2cd\7f\2\2d\16"+
"\3\2\2\2ef\7c\2\2fg\7u\2\2g\20\3\2\2\2hi\7v\2\2ij\7t\2\2jk\7{\2\2k\22"+
"\3\2\2\2lm\7y\2\2mn\7k\2\2no\7v\2\2op\7j\2\2p\24\3\2\2\2qr\7e\2\2rs\7"+
"c\2\2st\7n\2\2tu\7n\2\2u\26\3\2\2\2vw\7r\2\2wx\7t\2\2xy\7q\2\2yz\7e\2"+
"\2z{\7g\2\2{|\7f\2\2|}\7w\2\2}~\7t\2\2~\177\7g\2\2\177\30\3\2\2\2\u0080"+
"\u0081\7g\2\2\u0081\u0082\7p\2\2\u0082\u0083\7f\2\2\u0083\32\3\2\2\2\u0084"+
"\u0085\7k\2\2\u0085\u0086\7p\2\2\u0086\u0087\7e\2\2\u0087\u0088\7n\2\2"+
"\u0088\u0089\7w\2\2\u0089\u008a\7f\2\2\u008a\u008b\7g\2\2\u008b\34\3\2"+
"\2\2\u008c\u008d\7c\2\2\u008d\u008e\7e\2\2\u008e\u008f\7{\2\2\u008f\u0090"+
"\7e\2\2\u0090\u0091\7n\2\2\u0091\u0092\7k\2\2\u0092\u0093\7e\2\2\u0093"+
"\36\3\2\2\2\u0094\u0095\7k\2\2\u0095\u0096\7t\2\2\u0096\u0097\7t\2\2\u0097"+
"\u0098\7g\2\2\u0098\u0099\7h\2\2\u0099\u009a\7n\2\2\u009a\u009b\7g\2\2"+
"\u009b\u009c\7z\2\2\u009c\u009d\7k\2\2\u009d\u009e\7x\2\2\u009e\u009f"+
"\7g\2\2\u009f \3\2\2\2\u00a0\u00a1\7g\2\2\u00a1\u00a2\7o\2\2\u00a2\u00a3"+
"\7r\2\2\u00a3\u00a4\7v\2\2\u00a4\u00a5\7{\2\2\u00a5\"\3\2\2\2\u00a6\u00a7"+
"\7f\2\2\u00a7\u00a8\7q\2\2\u00a8\u00a9\7o\2\2\u00a9\u00aa\7c\2\2\u00aa"+
"\u00ab\7k\2\2\u00ab\u00ac\7p\2\2\u00ac$\3\2\2\2\u00ad\u00ae\7t\2\2\u00ae"+
"\u00af\7c\2\2\u00af\u00b0\7p\2\2\u00b0\u00b1\7i\2\2\u00b1\u00b2\7g\2\2"+
"\u00b2&\3\2\2\2\u00b3\u00b4\7?\2\2\u00b4(\3\2\2\2\u00b5\u00b6\7,\2\2\u00b6"+
"*\3\2\2\2\u00b7\u00b8\7-\2\2\u00b8,\3\2\2\2\u00b9\u00ba\7A\2\2\u00ba."+
"\3\2\2\2\u00bb\u00bc\7/\2\2\u00bc\u00bd\7\63\2\2\u00bd\60\3\2\2\2\u00be"+
"\u00bf\7\u0080\2\2\u00bf\62\3\2\2\2\u00c0\u00c1\7(\2\2\u00c1\64\3\2\2"+
"\2\u00c2\u00c3\7~\2\2\u00c3\66\3\2\2\2\u00c4\u00c5\7=\2\2\u00c58\3\2\2"+
"\2\u00c6\u00c7\7^\2\2\u00c7:\3\2\2\2\u00c8\u00c9\7`\2\2\u00c9<\3\2\2\2"+
"\u00ca\u00cb\7*\2\2\u00cb>\3\2\2\2\u00cc\u00cd\7+\2\2\u00cd@\3\2\2\2\u00ce"+
"\u00cf\7]\2\2\u00cfB\3\2\2\2\u00d0\u00d1\7_\2\2\u00d1D\3\2\2\2\u00d2\u00d3"+
"\7.\2\2\u00d3F\3\2\2\2\u00d4\u00d5\7$\2\2\u00d5H\3\2\2\2\u00d6\u00d8\t"+
"\2\2\2\u00d7\u00d6\3\2\2\2\u00d8\u00d9\3\2\2\2\u00d9\u00d7\3\2\2\2\u00d9"+
"\u00da\3\2\2\2\u00daJ\3\2\2\2\u00db\u00dc\7\61\2\2\u00dc\u00dd\7\61\2"+
"\2\u00dd\u00e1\3\2\2\2\u00de\u00e0\n\3\2\2\u00df\u00de\3\2\2\2\u00e0\u00e3"+
"\3\2\2\2\u00e1\u00df\3\2\2\2\u00e1\u00e2\3\2\2\2\u00e2\u00e4\3\2\2\2\u00e3"+
"\u00e1\3\2\2\2\u00e4\u00e5\b&\2\2\u00e5L\3\2\2\2\u00e6\u00e7\7*\2\2\u00e7"+
"\u00e8\7,\2\2\u00e8\u00ec\3\2\2\2\u00e9\u00eb\13\2\2\2\u00ea\u00e9\3\2"+
"\2\2\u00eb\u00ee\3\2\2\2\u00ec\u00ed\3\2\2\2\u00ec\u00ea\3\2\2\2\u00ed"+
"\u00ef\3\2\2\2\u00ee\u00ec\3\2\2\2\u00ef\u00f0\7,\2\2\u00f0\u00f1\7+\2"+
"\2\u00f1\u00f2\3\2\2\2\u00f2\u00f3\b\'\2\2\u00f3N\3\2\2\2\u00f4\u00f6"+
"\t\4\2\2\u00f5\u00f4\3\2\2\2\u00f6\u00f7\3\2\2\2\u00f7\u00f5\3\2\2\2\u00f7"+
"\u00f8\3\2\2\2\u00f8\u00f9\3\2\2\2\u00f9\u00fa\b(\2\2\u00faP\3\2\2\2\u00fb"+
"\u00fc\7u\2\2\u00fc\u00fd\7j\2\2\u00fd\u00fe\7q\2\2\u00fe\u00ff\7y\2\2"+
"\u00ff\u0100\7\"\2\2\u0100\u0104\3\2\2\2\u0101\u0103\13\2\2\2\u0102\u0101"+
"\3\2\2\2\u0103\u0106\3\2\2\2\u0104\u0105\3\2\2\2\u0104\u0102\3\2\2\2\u0105"+
"\u0107\3\2\2\2\u0106\u0104\3\2\2\2\u0107\u0108\t\5\2\2\u0108\u0109\3\2"+
"\2\2\u0109\u010a\b)\2\2\u010aR\3\2\2\2\b\2\u00d9\u00e1\u00ec\u00f7\u0104"+
"\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);
}
}
}