EmbASP-Java
DLVLexer.java
1 package it.unical.mat.parsers.asp.dlv;
2 
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.*;
11 
12 @SuppressWarnings({"all", "warnings", "unchecked", "unused", "cast"})
13 public class DLVLexer extends Lexer {
14  static { RuntimeMetaData.checkVersion("4.7", RuntimeMetaData.VERSION); }
15 
16  protected static final DFA[] _decisionToDFA;
17  protected static final PredictionContextCache _sharedContextCache =
18  new PredictionContextCache();
19  public static final int
20  HEADER=1, COLON=2, COST_BEGIN=3, COST_END=4, OPEN_SQUARE_BRACKET=5, CLOSE_SQUARE_BRACKET=6,
21  GROUND_QUERY_BEGIN=7, MODEL_BEGIN=8, MODEL_END=9, WEIGHTED_MODEL_LABEL=10,
22  COMMA=11, IDENTIFIER=12, INTEGER_CONSTANT=13, STRING_CONSTANT=14, TERMS_BEGIN=15,
23  TERMS_END=16, WHITESPACE=17, REASONING=18, DOT=19, BOOLEAN=20, WHITESPACE_IN_GROUND_QUERY=21,
24  WITNESS_LABEL=22;
25  public static final int
26  IN_GROUND_QUERY=1;
27  public static String[] channelNames = {
28  "DEFAULT_TOKEN_CHANNEL", "HIDDEN"
29  };
30 
31  public static String[] modeNames = {
32  "DEFAULT_MODE", "IN_GROUND_QUERY"
33  };
34 
35  public static final String[] ruleNames = {
36  "HEADER", "COLON", "COST_BEGIN", "COST_END", "OPEN_SQUARE_BRACKET", "CLOSE_SQUARE_BRACKET",
37  "GROUND_QUERY_BEGIN", "MODEL_BEGIN", "MODEL_END", "WEIGHTED_MODEL_LABEL",
38  "COMMA", "IDENTIFIER", "INTEGER_CONSTANT", "STRING_CONSTANT", "TERMS_BEGIN",
39  "TERMS_END", "WHITESPACE", "REASONING", "DOT", "BOOLEAN", "WHITESPACE_IN_GROUND_QUERY",
40  "WITNESS_LABEL", "WS"
41  };
42 
43  private static final String[] _LITERAL_NAMES = {
44  null, null, "':'", "'Cost ([Weight:Level]): <'", "'>'", "'['", "']'",
45  "' is '", "'{'", "'}'", "'Best model:'", "','", null, null, null, "'('",
46  "')'", null, null, "'.'", null, null, "', evidenced by'"
47  };
48  private static final String[] _SYMBOLIC_NAMES = {
49  null, "HEADER", "COLON", "COST_BEGIN", "COST_END", "OPEN_SQUARE_BRACKET",
50  "CLOSE_SQUARE_BRACKET", "GROUND_QUERY_BEGIN", "MODEL_BEGIN", "MODEL_END",
51  "WEIGHTED_MODEL_LABEL", "COMMA", "IDENTIFIER", "INTEGER_CONSTANT", "STRING_CONSTANT",
52  "TERMS_BEGIN", "TERMS_END", "WHITESPACE", "REASONING", "DOT", "BOOLEAN",
53  "WHITESPACE_IN_GROUND_QUERY", "WITNESS_LABEL"
54  };
55  public static final Vocabulary VOCABULARY = new VocabularyImpl(_LITERAL_NAMES, _SYMBOLIC_NAMES);
56 
60  @Deprecated
61  public static final String[] tokenNames;
62  static {
63  tokenNames = new String[_SYMBOLIC_NAMES.length];
64  for (int i = 0; i < tokenNames.length; i++) {
65  tokenNames[i] = VOCABULARY.getLiteralName(i);
66  if (tokenNames[i] == null) {
67  tokenNames[i] = VOCABULARY.getSymbolicName(i);
68  }
69 
70  if (tokenNames[i] == null) {
71  tokenNames[i] = "<INVALID>";
72  }
73  }
74  }
75 
76  @Override
77  @Deprecated
78  public String[] getTokenNames() {
79  return tokenNames;
80  }
81 
82  @Override
83 
84  public Vocabulary getVocabulary() {
85  return VOCABULARY;
86  }
87 
88 
89  public DLVLexer(CharStream input) {
90  super(input);
91  _interp = new LexerATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
92  }
93 
94  @Override
95  public String getGrammarFileName() { return "DLVLexer.g4"; }
96 
97  @Override
98  public String[] getRuleNames() { return ruleNames; }
99 
100  @Override
101  public String getSerializedATN() { return _serializedATN; }
102 
103  @Override
104  public String[] getChannelNames() { return channelNames; }
105 
106  @Override
107  public String[] getModeNames() { return modeNames; }
108 
109  @Override
110  public ATN getATN() { return _ATN; }
111 
112  public static final String _serializedATN =
113  "\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2\30\u00d7\b\1\b\1"+
114  "\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"+
115  "\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"+
116  "\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\3"+
117  "\2\3\2\3\2\3\2\3\2\3\2\3\2\7\2:\n\2\f\2\16\2=\13\2\3\2\3\2\3\2\3\2\3\3"+
118  "\3\3\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3"+
119  "\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\5\3\5\3\6\3\6\3\7\3\7\3\b\3\b\3\b"+
120  "\3\b\3\b\3\b\3\b\3\t\3\t\3\n\3\n\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3"+
121  "\13\3\13\3\13\3\13\3\13\3\f\3\f\3\r\3\r\7\r\177\n\r\f\r\16\r\u0082\13"+
122  "\r\3\16\3\16\3\16\7\16\u0087\n\16\f\16\16\16\u008a\13\16\5\16\u008c\n"+
123  "\16\3\17\3\17\7\17\u0090\n\17\f\17\16\17\u0093\13\17\3\17\3\17\3\20\3"+
124  "\20\3\21\3\21\3\22\3\22\3\22\3\22\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3"+
125  "\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\5\23\u00b0\n\23\3\24"+
126  "\3\24\3\24\3\24\3\25\3\25\3\25\3\25\3\25\3\25\3\25\3\25\3\25\5\25\u00bf"+
127  "\n\25\3\26\3\26\3\26\3\26\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\27"+
128  "\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\30\3\30\3;\2\31\4\3\6\4\b\5"+
129  "\n\6\f\7\16\b\20\t\22\n\24\13\26\f\30\r\32\16\34\17\36\20 \21\"\22$\23"+
130  "&\24(\25*\26,\27.\30\60\2\4\2\3\b\4\2C\\c|\6\2\62;C\\aac|\3\2\63;\3\2"+
131  "\62;\3\2$$\5\2\13\f\17\17\"\"\2\u00db\2\4\3\2\2\2\2\6\3\2\2\2\2\b\3\2"+
132  "\2\2\2\n\3\2\2\2\2\f\3\2\2\2\2\16\3\2\2\2\2\20\3\2\2\2\2\22\3\2\2\2\2"+
133  "\24\3\2\2\2\2\26\3\2\2\2\2\30\3\2\2\2\2\32\3\2\2\2\2\34\3\2\2\2\2\36\3"+
134  "\2\2\2\2 \3\2\2\2\2\"\3\2\2\2\2$\3\2\2\2\3&\3\2\2\2\3(\3\2\2\2\3*\3\2"+
135  "\2\2\3,\3\2\2\2\3.\3\2\2\2\4\62\3\2\2\2\6B\3\2\2\2\bD\3\2\2\2\n]\3\2\2"+
136  "\2\f_\3\2\2\2\16a\3\2\2\2\20c\3\2\2\2\22j\3\2\2\2\24l\3\2\2\2\26n\3\2"+
137  "\2\2\30z\3\2\2\2\32|\3\2\2\2\34\u008b\3\2\2\2\36\u008d\3\2\2\2 \u0096"+
138  "\3\2\2\2\"\u0098\3\2\2\2$\u009a\3\2\2\2&\u00af\3\2\2\2(\u00b1\3\2\2\2"+
139  "*\u00be\3\2\2\2,\u00c0\3\2\2\2.\u00c4\3\2\2\2\60\u00d5\3\2\2\2\62\63\7"+
140  "F\2\2\63\64\7N\2\2\64\65\7X\2\2\65\66\7\"\2\2\66\67\7]\2\2\67;\3\2\2\2"+
141  "8:\13\2\2\298\3\2\2\2:=\3\2\2\2;<\3\2\2\2;9\3\2\2\2<>\3\2\2\2=;\3\2\2"+
142  "\2>?\7_\2\2?@\3\2\2\2@A\b\2\2\2A\5\3\2\2\2BC\7<\2\2C\7\3\2\2\2DE\7E\2"+
143  "\2EF\7q\2\2FG\7u\2\2GH\7v\2\2HI\7\"\2\2IJ\7*\2\2JK\7]\2\2KL\7Y\2\2LM\7"+
144  "g\2\2MN\7k\2\2NO\7i\2\2OP\7j\2\2PQ\7v\2\2QR\7<\2\2RS\7N\2\2ST\7g\2\2T"+
145  "U\7x\2\2UV\7g\2\2VW\7n\2\2WX\7_\2\2XY\7+\2\2YZ\7<\2\2Z[\7\"\2\2[\\\7>"+
146  "\2\2\\\t\3\2\2\2]^\7@\2\2^\13\3\2\2\2_`\7]\2\2`\r\3\2\2\2ab\7_\2\2b\17"+
147  "\3\2\2\2cd\7\"\2\2de\7k\2\2ef\7u\2\2fg\7\"\2\2gh\3\2\2\2hi\b\b\3\2i\21"+
148  "\3\2\2\2jk\7}\2\2k\23\3\2\2\2lm\7\177\2\2m\25\3\2\2\2no\7D\2\2op\7g\2"+
149  "\2pq\7u\2\2qr\7v\2\2rs\7\"\2\2st\7o\2\2tu\7q\2\2uv\7f\2\2vw\7g\2\2wx\7"+
150  "n\2\2xy\7<\2\2y\27\3\2\2\2z{\7.\2\2{\31\3\2\2\2|\u0080\t\2\2\2}\177\t"+
151  "\3\2\2~}\3\2\2\2\177\u0082\3\2\2\2\u0080~\3\2\2\2\u0080\u0081\3\2\2\2"+
152  "\u0081\33\3\2\2\2\u0082\u0080\3\2\2\2\u0083\u008c\7\62\2\2\u0084\u0088"+
153  "\t\4\2\2\u0085\u0087\t\5\2\2\u0086\u0085\3\2\2\2\u0087\u008a\3\2\2\2\u0088"+
154  "\u0086\3\2\2\2\u0088\u0089\3\2\2\2\u0089\u008c\3\2\2\2\u008a\u0088\3\2"+
155  "\2\2\u008b\u0083\3\2\2\2\u008b\u0084\3\2\2\2\u008c\35\3\2\2\2\u008d\u0091"+
156  "\7$\2\2\u008e\u0090\n\6\2\2\u008f\u008e\3\2\2\2\u0090\u0093\3\2\2\2\u0091"+
157  "\u008f\3\2\2\2\u0091\u0092\3\2\2\2\u0092\u0094\3\2\2\2\u0093\u0091\3\2"+
158  "\2\2\u0094\u0095\7$\2\2\u0095\37\3\2\2\2\u0096\u0097\7*\2\2\u0097!\3\2"+
159  "\2\2\u0098\u0099\7+\2\2\u0099#\3\2\2\2\u009a\u009b\5\60\30\2\u009b\u009c"+
160  "\3\2\2\2\u009c\u009d\b\22\2\2\u009d%\3\2\2\2\u009e\u009f\7d\2\2\u009f"+
161  "\u00a0\7t\2\2\u00a0\u00a1\7c\2\2\u00a1\u00a2\7x\2\2\u00a2\u00a3\7g\2\2"+
162  "\u00a3\u00a4\7n\2\2\u00a4\u00b0\7{\2\2\u00a5\u00a6\7e\2\2\u00a6\u00a7"+
163  "\7c\2\2\u00a7\u00a8\7w\2\2\u00a8\u00a9\7v\2\2\u00a9\u00aa\7k\2\2\u00aa"+
164  "\u00ab\7q\2\2\u00ab\u00ac\7w\2\2\u00ac\u00ad\7u\2\2\u00ad\u00ae\7n\2\2"+
165  "\u00ae\u00b0\7{\2\2\u00af\u009e\3\2\2\2\u00af\u00a5\3\2\2\2\u00b0\'\3"+
166  "\2\2\2\u00b1\u00b2\7\60\2\2\u00b2\u00b3\3\2\2\2\u00b3\u00b4\b\24\4\2\u00b4"+
167  ")\3\2\2\2\u00b5\u00b6\7h\2\2\u00b6\u00b7\7c\2\2\u00b7\u00b8\7n\2\2\u00b8"+
168  "\u00b9\7u\2\2\u00b9\u00bf\7g\2\2\u00ba\u00bb\7v\2\2\u00bb\u00bc\7t\2\2"+
169  "\u00bc\u00bd\7w\2\2\u00bd\u00bf\7g\2\2\u00be\u00b5\3\2\2\2\u00be\u00ba"+
170  "\3\2\2\2\u00bf+\3\2\2\2\u00c0\u00c1\5\60\30\2\u00c1\u00c2\3\2\2\2\u00c2"+
171  "\u00c3\b\26\2\2\u00c3-\3\2\2\2\u00c4\u00c5\7.\2\2\u00c5\u00c6\7\"\2\2"+
172  "\u00c6\u00c7\7g\2\2\u00c7\u00c8\7x\2\2\u00c8\u00c9\7k\2\2\u00c9\u00ca"+
173  "\7f\2\2\u00ca\u00cb\7g\2\2\u00cb\u00cc\7p\2\2\u00cc\u00cd\7e\2\2\u00cd"+
174  "\u00ce\7g\2\2\u00ce\u00cf\7f\2\2\u00cf\u00d0\7\"\2\2\u00d0\u00d1\7d\2"+
175  "\2\u00d1\u00d2\7{\2\2\u00d2\u00d3\3\2\2\2\u00d3\u00d4\b\27\4\2\u00d4/"+
176  "\3\2\2\2\u00d5\u00d6\t\7\2\2\u00d6\61\3\2\2\2\13\2\3;\u0080\u0088\u008b"+
177  "\u0091\u00af\u00be\5\b\2\2\4\3\2\4\2\2";
178  public static final ATN _ATN =
179  new ATNDeserializer().deserialize(_serializedATN.toCharArray());
180  static {
181  _decisionToDFA = new DFA[_ATN.getNumberOfDecisions()];
182  for (int i = 0; i < _ATN.getNumberOfDecisions(); i++) {
183  _decisionToDFA[i] = new DFA(_ATN.getDecisionState(i), i);
184  }
185  }
186 }
it.unical.mat.parsers.asp.dlv.DLVLexer.tokenNames
static final String[] tokenNames
Definition: DLVLexer.java:61
it.unical.mat.parsers.asp.dlv.DLVLexer
Definition: DLVLexer.java:13