EmbASP-Java
DLV2Lexer.java
1 package it.unical.mat.parsers.asp.dlv2;
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 DLV2Lexer 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  START=1, COST_LABEL=2, ANY=3, IGNORE=4, AT=5, INTEGER=6, NEW_LINE=7, BLANK_SPACE=8,
21  COMMA=9, INTEGER_CONSTANT=10, IDENTIFIER=11, MODEL_END=12, STRING_CONSTANT=13,
22  TERMS_BEGIN=14, TERMS_END=15, WHITE_SPACE=16;
23  public static final int
24  COST=1, MODEL=2;
25  public static String[] channelNames = {
26  "DEFAULT_TOKEN_CHANNEL", "HIDDEN"
27  };
28 
29  public static String[] modeNames = {
30  "DEFAULT_MODE", "COST", "MODEL"
31  };
32 
33  public static final String[] ruleNames = {
34  "START", "COST_LABEL", "ANY", "IGNORE", "AT", "INTEGER", "NEW_LINE", "BLANK_SPACE",
35  "COMMA", "INTEGER_CONSTANT", "IDENTIFIER", "MODEL_END", "STRING_CONSTANT",
36  "TERMS_BEGIN", "TERMS_END", "WHITE_SPACE", "INT", "NL", "WS"
37  };
38 
39  private static final String[] _LITERAL_NAMES = {
40  null, "'{'", null, null, null, "'@'", null, null, null, "','", null, null,
41  "'}'", null, "'('", "')'"
42  };
43  private static final String[] _SYMBOLIC_NAMES = {
44  null, "START", "COST_LABEL", "ANY", "IGNORE", "AT", "INTEGER", "NEW_LINE",
45  "BLANK_SPACE", "COMMA", "INTEGER_CONSTANT", "IDENTIFIER", "MODEL_END",
46  "STRING_CONSTANT", "TERMS_BEGIN", "TERMS_END", "WHITE_SPACE"
47  };
48  public static final Vocabulary VOCABULARY = new VocabularyImpl(_LITERAL_NAMES, _SYMBOLIC_NAMES);
49 
53  @Deprecated
54  public static final String[] tokenNames;
55  static {
56  tokenNames = new String[_SYMBOLIC_NAMES.length];
57  for (int i = 0; i < tokenNames.length; i++) {
58  tokenNames[i] = VOCABULARY.getLiteralName(i);
59  if (tokenNames[i] == null) {
60  tokenNames[i] = VOCABULARY.getSymbolicName(i);
61  }
62 
63  if (tokenNames[i] == null) {
64  tokenNames[i] = "<INVALID>";
65  }
66  }
67  }
68 
69  @Override
70  @Deprecated
71  public String[] getTokenNames() {
72  return tokenNames;
73  }
74 
75  @Override
76 
77  public Vocabulary getVocabulary() {
78  return VOCABULARY;
79  }
80 
81 
82  public DLV2Lexer(CharStream input) {
83  super(input);
84  _interp = new LexerATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
85  }
86 
87  @Override
88  public String getGrammarFileName() { return "DLV2Lexer.g4"; }
89 
90  @Override
91  public String[] getRuleNames() { return ruleNames; }
92 
93  @Override
94  public String getSerializedATN() { return _serializedATN; }
95 
96  @Override
97  public String[] getChannelNames() { return channelNames; }
98 
99  @Override
100  public String[] getModeNames() { return modeNames; }
101 
102  @Override
103  public ATN getATN() { return _ATN; }
104 
105  public static final String _serializedATN =
106  "\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2\22\u0084\b\1\b\1"+
107  "\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"+
108  "\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"+
109  "\21\4\22\t\22\4\23\t\23\4\24\t\24\3\2\3\2\3\2\3\2\3\3\3\3\3\3\3\3\3\3"+
110  "\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\4\6\4=\n\4\r\4\16\4>\3\4\3\4\3\5\3\5\5"+
111  "\5E\n\5\3\5\3\5\3\6\3\6\3\7\3\7\3\b\3\b\3\b\3\b\3\t\3\t\3\t\3\t\3\n\3"+
112  "\n\3\13\3\13\3\f\3\f\7\f[\n\f\f\f\16\f^\13\f\3\r\3\r\3\r\3\r\3\16\3\16"+
113  "\7\16f\n\16\f\16\16\16i\13\16\3\16\3\16\3\17\3\17\3\20\3\20\3\21\3\21"+
114  "\5\21s\n\21\3\21\3\21\3\22\3\22\3\22\7\22z\n\22\f\22\16\22}\13\22\5\22"+
115  "\177\n\22\3\23\3\23\3\24\3\24\3>\2\25\5\3\7\4\t\5\13\6\r\7\17\b\21\t\23"+
116  "\n\25\13\27\f\31\r\33\16\35\17\37\20!\21#\22%\2\'\2)\2\5\2\3\4\t\4\2C"+
117  "\\c|\6\2\62;C\\aac|\3\2$$\3\2\63;\3\2\62;\4\2\f\f\17\17\4\2\13\13\"\""+
118  "\2\u0085\2\5\3\2\2\2\2\7\3\2\2\2\2\t\3\2\2\2\2\13\3\2\2\2\3\r\3\2\2\2"+
119  "\3\17\3\2\2\2\3\21\3\2\2\2\3\23\3\2\2\2\4\25\3\2\2\2\4\27\3\2\2\2\4\31"+
120  "\3\2\2\2\4\33\3\2\2\2\4\35\3\2\2\2\4\37\3\2\2\2\4!\3\2\2\2\4#\3\2\2\2"+
121  "\5+\3\2\2\2\7/\3\2\2\2\t<\3\2\2\2\13D\3\2\2\2\rH\3\2\2\2\17J\3\2\2\2\21"+
122  "L\3\2\2\2\23P\3\2\2\2\25T\3\2\2\2\27V\3\2\2\2\31X\3\2\2\2\33_\3\2\2\2"+
123  "\35c\3\2\2\2\37l\3\2\2\2!n\3\2\2\2#r\3\2\2\2%~\3\2\2\2\'\u0080\3\2\2\2"+
124  ")\u0082\3\2\2\2+,\7}\2\2,-\3\2\2\2-.\b\2\2\2.\6\3\2\2\2/\60\7E\2\2\60"+
125  "\61\7Q\2\2\61\62\7U\2\2\62\63\7V\2\2\63\64\7\"\2\2\64\65\3\2\2\2\65\66"+
126  "\5%\22\2\66\67\7B\2\2\678\5%\22\289\3\2\2\29:\b\3\3\2:\b\3\2\2\2;=\13"+
127  "\2\2\2<;\3\2\2\2=>\3\2\2\2>?\3\2\2\2><\3\2\2\2?@\3\2\2\2@A\b\4\4\2A\n"+
128  "\3\2\2\2BE\5\'\23\2CE\5)\24\2DB\3\2\2\2DC\3\2\2\2EF\3\2\2\2FG\b\5\4\2"+
129  "G\f\3\2\2\2HI\7B\2\2I\16\3\2\2\2JK\5%\22\2K\20\3\2\2\2LM\5\'\23\2MN\3"+
130  "\2\2\2NO\b\b\5\2O\22\3\2\2\2PQ\5)\24\2QR\3\2\2\2RS\b\t\4\2S\24\3\2\2\2"+
131  "TU\7.\2\2U\26\3\2\2\2VW\5%\22\2W\30\3\2\2\2X\\\t\2\2\2Y[\t\3\2\2ZY\3\2"+
132  "\2\2[^\3\2\2\2\\Z\3\2\2\2\\]\3\2\2\2]\32\3\2\2\2^\\\3\2\2\2_`\7\177\2"+
133  "\2`a\3\2\2\2ab\b\r\5\2b\34\3\2\2\2cg\7$\2\2df\n\4\2\2ed\3\2\2\2fi\3\2"+
134  "\2\2ge\3\2\2\2gh\3\2\2\2hj\3\2\2\2ig\3\2\2\2jk\7$\2\2k\36\3\2\2\2lm\7"+
135  "*\2\2m \3\2\2\2no\7+\2\2o\"\3\2\2\2ps\5)\24\2qs\5\'\23\2rp\3\2\2\2rq\3"+
136  "\2\2\2st\3\2\2\2tu\b\21\4\2u$\3\2\2\2v\177\7\62\2\2w{\t\5\2\2xz\t\6\2"+
137  "\2yx\3\2\2\2z}\3\2\2\2{y\3\2\2\2{|\3\2\2\2|\177\3\2\2\2}{\3\2\2\2~v\3"+
138  "\2\2\2~w\3\2\2\2\177&\3\2\2\2\u0080\u0081\t\7\2\2\u0081(\3\2\2\2\u0082"+
139  "\u0083\t\b\2\2\u0083*\3\2\2\2\f\2\3\4>D\\gr{~\6\4\4\2\4\3\2\b\2\2\4\2"+
140  "\2";
141  public static final ATN _ATN =
142  new ATNDeserializer().deserialize(_serializedATN.toCharArray());
143  static {
144  _decisionToDFA = new DFA[_ATN.getNumberOfDecisions()];
145  for (int i = 0; i < _ATN.getNumberOfDecisions(); i++) {
146  _decisionToDFA[i] = new DFA(_ATN.getDecisionState(i), i);
147  }
148  }
149 }
it.unical.mat.parsers.asp.dlv2.DLV2Lexer.tokenNames
static final String[] tokenNames
Definition: DLV2Lexer.java:54
it.unical.mat.parsers.asp.dlv2.DLV2Lexer
Definition: DLV2Lexer.java:13