1 package it.unical.mat.parsers.asp.clingo;
3 import org.antlr.v4.runtime.Lexer;
4 import org.antlr.v4.runtime.CharStream;
5 import org.antlr.v4.runtime.Token;
6 import org.antlr.v4.runtime.TokenStream;
7 import org.antlr.v4.runtime.*;
8 import org.antlr.v4.runtime.atn.*;
9 import org.antlr.v4.runtime.dfa.DFA;
10 import org.antlr.v4.runtime.misc.*;
12 @SuppressWarnings({
"all",
"warnings",
"unchecked",
"unused",
"cast"})
14 static { RuntimeMetaData.checkVersion(
"4.7", RuntimeMetaData.VERSION); }
16 protected static final DFA[] _decisionToDFA;
17 protected static final PredictionContextCache _sharedContextCache =
18 new PredictionContextCache();
19 public static final int
20 START=1, ANY=2, COMMA=3, INTEGER_CONSTANT=4, NEW_LINE=5, IDENTIFIER=6,
21 STRING_CONSTANT=7, TERMS_BEGIN=8, TERMS_END=9, WHITE_SPACE=10;
22 public static final int
24 public static String[] channelNames = {
25 "DEFAULT_TOKEN_CHANNEL",
"HIDDEN"
28 public static String[] modeNames = {
29 "DEFAULT_MODE",
"SIGNIFICANT"
32 public static final String[] ruleNames = {
33 "START",
"ANY",
"COMMA",
"INTEGER_CONSTANT",
"NEW_LINE",
"IDENTIFIER",
34 "STRING_CONSTANT",
"TERMS_BEGIN",
"TERMS_END",
"WHITE_SPACE",
"INT",
"NL",
38 private static final String[] _LITERAL_NAMES = {
39 null,
null,
null,
"','",
null,
null,
null,
null,
"'('",
"')'"
41 private static final String[] _SYMBOLIC_NAMES = {
42 null,
"START",
"ANY",
"COMMA",
"INTEGER_CONSTANT",
"NEW_LINE",
"IDENTIFIER",
43 "STRING_CONSTANT",
"TERMS_BEGIN",
"TERMS_END",
"WHITE_SPACE"
45 public static final Vocabulary VOCABULARY =
new VocabularyImpl(_LITERAL_NAMES, _SYMBOLIC_NAMES);
53 tokenNames =
new String[_SYMBOLIC_NAMES.length];
54 for (
int i = 0; i < tokenNames.length; i++) {
55 tokenNames[i] = VOCABULARY.getLiteralName(i);
56 if (tokenNames[i] ==
null) {
57 tokenNames[i] = VOCABULARY.getSymbolicName(i);
60 if (tokenNames[i] ==
null) {
61 tokenNames[i] =
"<INVALID>";
68 public String[] getTokenNames() {
74 public Vocabulary getVocabulary() {
79 public ClingoLexer(CharStream input) {
81 _interp =
new LexerATNSimulator(
this,_ATN,_decisionToDFA,_sharedContextCache);
85 public String getGrammarFileName() {
return "ClingoLexer.g4"; }
88 public String[] getRuleNames() {
return ruleNames; }
91 public String getSerializedATN() {
return _serializedATN; }
94 public String[] getChannelNames() {
return channelNames; }
97 public String[] getModeNames() {
return modeNames; }
100 public ATN getATN() {
return _ATN; }
102 public static final String _serializedATN =
103 "\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2\f\177\b\1\b\1\4\2"+
104 "\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"+
105 "\13\t\13\4\f\t\f\4\r\t\r\4\16\t\16\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2"+
106 "\3\2\3\2\3\2\3\2\3\2\3\3\7\3.\n\3\f\3\16\3\61\13\3\3\3\3\3\3\3\3\3\3\4"+
107 "\3\4\3\5\3\5\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3"+
108 "\6\3\6\3\6\3\6\7\6M\n\6\f\6\16\6P\13\6\3\6\5\6S\n\6\3\6\3\6\3\7\3\7\7"+
109 "\7Y\n\7\f\7\16\7\\\13\7\3\b\3\b\7\b`\n\b\f\b\16\bc\13\b\3\b\3\b\3\t\3"+
110 "\t\3\n\3\n\3\13\3\13\3\13\3\13\3\f\3\f\3\f\7\fr\n\f\f\f\16\fu\13\f\5\f"+
111 "w\n\f\3\r\3\r\3\r\5\r|\n\r\3\16\3\16\3/\2\17\4\3\6\4\b\5\n\6\f\7\16\b"+
112 "\20\t\22\n\24\13\26\f\30\2\32\2\34\2\4\2\3\t\4\2C\\c|\6\2\62;C\\aac|\3"+
113 "\2$$\3\2\63;\3\2\62;\4\2\f\f\17\17\4\2\13\13\"\"\2\u0082\2\4\3\2\2\2\2"+
114 "\6\3\2\2\2\3\b\3\2\2\2\3\n\3\2\2\2\3\f\3\2\2\2\3\16\3\2\2\2\3\20\3\2\2"+
115 "\2\3\22\3\2\2\2\3\24\3\2\2\2\3\26\3\2\2\2\4\36\3\2\2\2\6/\3\2\2\2\b\66"+
116 "\3\2\2\2\n8\3\2\2\2\f:\3\2\2\2\16V\3\2\2\2\20]\3\2\2\2\22f\3\2\2\2\24"+
117 "h\3\2\2\2\26j\3\2\2\2\30v\3\2\2\2\32{\3\2\2\2\34}\3\2\2\2\36\37\7C\2\2"+
118 "\37 \7p\2\2 !\7u\2\2!\"\7y\2\2\"#\7g\2\2#$\7t\2\2$%\7<\2\2%&\7\"\2\2&"+
119 "\'\3\2\2\2\'(\5\30\f\2()\5\32\r\2)*\3\2\2\2*+\b\2\2\2+\5\3\2\2\2,.\13"+
120 "\2\2\2-,\3\2\2\2.\61\3\2\2\2/\60\3\2\2\2/-\3\2\2\2\60\62\3\2\2\2\61/\3"+
121 "\2\2\2\62\63\5\32\r\2\63\64\3\2\2\2\64\65\b\3\3\2\65\7\3\2\2\2\66\67\7"+
122 ".\2\2\67\t\3\2\2\289\5\30\f\29\13\3\2\2\2:R\5\32\r\2;<\7Q\2\2<=\7r\2\2"+
123 "=>\7v\2\2>?\7k\2\2?@\7o\2\2@A\7k\2\2AB\7|\2\2BC\7c\2\2CD\7v\2\2DE\7k\2"+
124 "\2EF\7q\2\2FG\7p\2\2GH\7<\2\2HN\3\2\2\2IJ\5\34\16\2JK\5\30\f\2KM\3\2\2"+
125 "\2LI\3\2\2\2MP\3\2\2\2NL\3\2\2\2NO\3\2\2\2OQ\3\2\2\2PN\3\2\2\2QS\5\32"+
126 "\r\2R;\3\2\2\2RS\3\2\2\2ST\3\2\2\2TU\b\6\4\2U\r\3\2\2\2VZ\t\2\2\2WY\t"+
127 "\3\2\2XW\3\2\2\2Y\\\3\2\2\2ZX\3\2\2\2Z[\3\2\2\2[\17\3\2\2\2\\Z\3\2\2\2"+
128 "]a\7$\2\2^`\n\4\2\2_^\3\2\2\2`c\3\2\2\2a_\3\2\2\2ab\3\2\2\2bd\3\2\2\2"+
129 "ca\3\2\2\2de\7$\2\2e\21\3\2\2\2fg\7*\2\2g\23\3\2\2\2hi\7+\2\2i\25\3\2"+
130 "\2\2jk\5\34\16\2kl\3\2\2\2lm\b\13\3\2m\27\3\2\2\2nw\7\62\2\2os\t\5\2\2"+
131 "pr\t\6\2\2qp\3\2\2\2ru\3\2\2\2sq\3\2\2\2st\3\2\2\2tw\3\2\2\2us\3\2\2\2"+
132 "vn\3\2\2\2vo\3\2\2\2w\31\3\2\2\2x|\t\7\2\2yz\7\17\2\2z|\7\f\2\2{x\3\2"+
133 "\2\2{y\3\2\2\2|\33\3\2\2\2}~\t\b\2\2~\35\3\2\2\2\f\2\3/NRZasv{\5\4\3\2"+
135 public static final ATN _ATN =
136 new ATNDeserializer().deserialize(_serializedATN.toCharArray());
138 _decisionToDFA =
new DFA[_ATN.getNumberOfDecisions()];
139 for (
int i = 0; i < _ATN.getNumberOfDecisions(); i++) {
140 _decisionToDFA[i] =
new DFA(_ATN.getDecisionState(i), i);