EmbASP-Java
DLVHEXLexer.java
1 package it.unical.mat.parsers.asp.dlvhex;
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 DLVHEXLexer 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, WHITE_SPACE=2, COLON=3, COMMA=4, COST_BEGIN=5, COST_END=6, INTEGER=7,
21  LEVEL_BEGIN=8, LEVEL_END=9, GROUND_QUERY_BEGIN=10, ANSWER_SET_BEGIN=11,
22  ANSWER_SET_END=12, IDENTIFIER=13, STRING_CONSTANT=14, TERMS_BEGIN=15,
23  TERMS_END=16, REASONING=17, DOT=18, BOOLEAN=19, WHITESPACE_IN_GROUND_QUERY=20,
24  WITNESS_LABEL=21;
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", "WHITE_SPACE", "COLON", "COMMA", "COST_BEGIN", "COST_END", "INTEGER",
37  "LEVEL_BEGIN", "LEVEL_END", "GROUND_QUERY_BEGIN", "ANSWER_SET_BEGIN",
38  "ANSWER_SET_END", "IDENTIFIER", "STRING_CONSTANT", "TERMS_BEGIN", "TERMS_END",
39  "REASONING", "DOT", "BOOLEAN", "WHITESPACE_IN_GROUND_QUERY", "WITNESS_LABEL",
40  "NL", "WS"
41  };
42 
43  private static final String[] _LITERAL_NAMES = {
44  null, null, null, "':'", "','", "'<'", "'>'", null, "'['", "']'", "' is '",
45  "'{'", "'}'", null, null, "'('", "')'", null, "'.'", null, null, "', evidenced by'"
46  };
47  private static final String[] _SYMBOLIC_NAMES = {
48  null, "HEADER", "WHITE_SPACE", "COLON", "COMMA", "COST_BEGIN", "COST_END",
49  "INTEGER", "LEVEL_BEGIN", "LEVEL_END", "GROUND_QUERY_BEGIN", "ANSWER_SET_BEGIN",
50  "ANSWER_SET_END", "IDENTIFIER", "STRING_CONSTANT", "TERMS_BEGIN", "TERMS_END",
51  "REASONING", "DOT", "BOOLEAN", "WHITESPACE_IN_GROUND_QUERY", "WITNESS_LABEL"
52  };
53  public static final Vocabulary VOCABULARY = new VocabularyImpl(_LITERAL_NAMES, _SYMBOLIC_NAMES);
54 
58  @Deprecated
59  public static final String[] tokenNames;
60  static {
61  tokenNames = new String[_SYMBOLIC_NAMES.length];
62  for (int i = 0; i < tokenNames.length; i++) {
63  tokenNames[i] = VOCABULARY.getLiteralName(i);
64  if (tokenNames[i] == null) {
65  tokenNames[i] = VOCABULARY.getSymbolicName(i);
66  }
67 
68  if (tokenNames[i] == null) {
69  tokenNames[i] = "<INVALID>";
70  }
71  }
72  }
73 
74  @Override
75  @Deprecated
76  public String[] getTokenNames() {
77  return tokenNames;
78  }
79 
80  @Override
81 
82  public Vocabulary getVocabulary() {
83  return VOCABULARY;
84  }
85 
86 
87  public DLVHEXLexer(CharStream input) {
88  super(input);
89  _interp = new LexerATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
90  }
91 
92  @Override
93  public String getGrammarFileName() { return "DLVHEXLexer.g4"; }
94 
95  @Override
96  public String[] getRuleNames() { return ruleNames; }
97 
98  @Override
99  public String getSerializedATN() { return _serializedATN; }
100 
101  @Override
102  public String[] getChannelNames() { return channelNames; }
103 
104  @Override
105  public String[] getModeNames() { return modeNames; }
106 
107  @Override
108  public ATN getATN() { return _ATN; }
109 
110  public static final String _serializedATN =
111  "\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2\27\u00bc\b\1\b\1"+
112  "\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"+
113  "\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"+
114  "\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"+
115  "\2\3\2\3\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"+
116  "\3\2\3\3\3\3\5\3G\n\3\3\3\3\3\3\4\3\4\3\5\3\5\3\6\3\6\3\7\3\7\3\b\3\b"+
117  "\3\b\7\bV\n\b\f\b\16\bY\13\b\5\b[\n\b\3\t\3\t\3\n\3\n\3\13\3\13\3\13\3"+
118  "\13\3\13\3\13\3\13\3\f\3\f\3\r\3\r\3\16\3\16\7\16n\n\16\f\16\16\16q\13"+
119  "\16\3\17\3\17\7\17u\n\17\f\17\16\17x\13\17\3\17\3\17\3\20\3\20\3\21\3"+
120  "\21\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3"+
121  "\22\3\22\3\22\3\22\5\22\u0091\n\22\3\23\3\23\3\23\3\23\3\24\3\24\3\24"+
122  "\3\24\3\24\3\24\3\24\3\24\3\24\5\24\u00a0\n\24\3\25\3\25\5\25\u00a4\n"+
123  "\25\3\25\3\25\3\26\3\26\3\26\3\26\3\26\3\26\3\26\3\26\3\26\3\26\3\26\3"+
124  "\26\3\26\3\26\3\26\3\26\3\26\3\27\3\27\3\30\3\30\3=\2\31\4\3\6\4\b\5\n"+
125  "\6\f\7\16\b\20\t\22\n\24\13\26\f\30\r\32\16\34\17\36\20 \21\"\22$\23&"+
126  "\24(\25*\26,\27.\2\60\2\4\2\3\t\3\2\63;\3\2\62;\4\2C\\c|\6\2\62;C\\aa"+
127  "c|\3\2$$\4\2\f\f\17\17\4\2\13\13\"\"\2\u00c1\2\4\3\2\2\2\2\6\3\2\2\2\2"+
128  "\b\3\2\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"+
129  "\2\2\2\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"+
130  "\2\36\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\2\2"+
131  "\3*\3\2\2\2\3,\3\2\2\2\4\62\3\2\2\2\6F\3\2\2\2\bJ\3\2\2\2\nL\3\2\2\2\f"+
132  "N\3\2\2\2\16P\3\2\2\2\20Z\3\2\2\2\22\\\3\2\2\2\24^\3\2\2\2\26`\3\2\2\2"+
133  "\30g\3\2\2\2\32i\3\2\2\2\34k\3\2\2\2\36r\3\2\2\2 {\3\2\2\2\"}\3\2\2\2"+
134  "$\u0090\3\2\2\2&\u0092\3\2\2\2(\u009f\3\2\2\2*\u00a3\3\2\2\2,\u00a7\3"+
135  "\2\2\2.\u00b8\3\2\2\2\60\u00ba\3\2\2\2\62\63\7F\2\2\63\64\7N\2\2\64\65"+
136  "\7X\2\2\65\66\7J\2\2\66\67\7G\2\2\678\7Z\2\289\7\"\2\29=\3\2\2\2:<\13"+
137  "\2\2\2;:\3\2\2\2<?\3\2\2\2=>\3\2\2\2=;\3\2\2\2>@\3\2\2\2?=\3\2\2\2@A\5"+
138  ".\27\2AB\3\2\2\2BC\b\2\2\2C\5\3\2\2\2DG\5.\27\2EG\5\60\30\2FD\3\2\2\2"+
139  "FE\3\2\2\2GH\3\2\2\2HI\b\3\2\2I\7\3\2\2\2JK\7<\2\2K\t\3\2\2\2LM\7.\2\2"+
140  "M\13\3\2\2\2NO\7>\2\2O\r\3\2\2\2PQ\7@\2\2Q\17\3\2\2\2R[\7\62\2\2SW\t\2"+
141  "\2\2TV\t\3\2\2UT\3\2\2\2VY\3\2\2\2WU\3\2\2\2WX\3\2\2\2X[\3\2\2\2YW\3\2"+
142  "\2\2ZR\3\2\2\2ZS\3\2\2\2[\21\3\2\2\2\\]\7]\2\2]\23\3\2\2\2^_\7_\2\2_\25"+
143  "\3\2\2\2`a\7\"\2\2ab\7k\2\2bc\7u\2\2cd\7\"\2\2de\3\2\2\2ef\b\13\3\2f\27"+
144  "\3\2\2\2gh\7}\2\2h\31\3\2\2\2ij\7\177\2\2j\33\3\2\2\2ko\t\4\2\2ln\t\5"+
145  "\2\2ml\3\2\2\2nq\3\2\2\2om\3\2\2\2op\3\2\2\2p\35\3\2\2\2qo\3\2\2\2rv\7"+
146  "$\2\2su\n\6\2\2ts\3\2\2\2ux\3\2\2\2vt\3\2\2\2vw\3\2\2\2wy\3\2\2\2xv\3"+
147  "\2\2\2yz\7$\2\2z\37\3\2\2\2{|\7*\2\2|!\3\2\2\2}~\7+\2\2~#\3\2\2\2\177"+
148  "\u0080\7d\2\2\u0080\u0081\7t\2\2\u0081\u0082\7c\2\2\u0082\u0083\7x\2\2"+
149  "\u0083\u0084\7g\2\2\u0084\u0085\7n\2\2\u0085\u0091\7{\2\2\u0086\u0087"+
150  "\7e\2\2\u0087\u0088\7c\2\2\u0088\u0089\7w\2\2\u0089\u008a\7v\2\2\u008a"+
151  "\u008b\7k\2\2\u008b\u008c\7q\2\2\u008c\u008d\7w\2\2\u008d\u008e\7u\2\2"+
152  "\u008e\u008f\7n\2\2\u008f\u0091\7{\2\2\u0090\177\3\2\2\2\u0090\u0086\3"+
153  "\2\2\2\u0091%\3\2\2\2\u0092\u0093\7\60\2\2\u0093\u0094\3\2\2\2\u0094\u0095"+
154  "\b\23\4\2\u0095\'\3\2\2\2\u0096\u0097\7h\2\2\u0097\u0098\7c\2\2\u0098"+
155  "\u0099\7n\2\2\u0099\u009a\7u\2\2\u009a\u00a0\7g\2\2\u009b\u009c\7v\2\2"+
156  "\u009c\u009d\7t\2\2\u009d\u009e\7w\2\2\u009e\u00a0\7g\2\2\u009f\u0096"+
157  "\3\2\2\2\u009f\u009b\3\2\2\2\u00a0)\3\2\2\2\u00a1\u00a4\5.\27\2\u00a2"+
158  "\u00a4\5\60\30\2\u00a3\u00a1\3\2\2\2\u00a3\u00a2\3\2\2\2\u00a4\u00a5\3"+
159  "\2\2\2\u00a5\u00a6\b\25\2\2\u00a6+\3\2\2\2\u00a7\u00a8\7.\2\2\u00a8\u00a9"+
160  "\7\"\2\2\u00a9\u00aa\7g\2\2\u00aa\u00ab\7x\2\2\u00ab\u00ac\7k\2\2\u00ac"+
161  "\u00ad\7f\2\2\u00ad\u00ae\7g\2\2\u00ae\u00af\7p\2\2\u00af\u00b0\7e\2\2"+
162  "\u00b0\u00b1\7g\2\2\u00b1\u00b2\7f\2\2\u00b2\u00b3\7\"\2\2\u00b3\u00b4"+
163  "\7d\2\2\u00b4\u00b5\7{\2\2\u00b5\u00b6\3\2\2\2\u00b6\u00b7\b\26\4\2\u00b7"+
164  "-\3\2\2\2\u00b8\u00b9\t\7\2\2\u00b9/\3\2\2\2\u00ba\u00bb\t\b\2\2\u00bb"+
165  "\61\3\2\2\2\r\2\3=FWZov\u0090\u009f\u00a3\5\b\2\2\4\3\2\4\2\2";
166  public static final ATN _ATN =
167  new ATNDeserializer().deserialize(_serializedATN.toCharArray());
168  static {
169  _decisionToDFA = new DFA[_ATN.getNumberOfDecisions()];
170  for (int i = 0; i < _ATN.getNumberOfDecisions(); i++) {
171  _decisionToDFA[i] = new DFA(_ATN.getDecisionState(i), i);
172  }
173  }
174 }
it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer
Definition: DLVHEXLexer.java:13
it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer.tokenNames
static final String[] tokenNames
Definition: DLVHEXLexer.java:59