14 #pragma warning disable 0162
16 #pragma warning disable 0219
18 #pragma warning disable 1591
20 #pragma warning disable 419
26 using Antlr4.Runtime.Atn;
27 using Antlr4.Runtime.Misc;
28 using DFA = Antlr4.Runtime.Dfa.DFA;
30 [System.CodeDom.Compiler.GeneratedCode(
"ANTLR",
"4.7")]
31 [System.CLSCompliant(
false)]
32 public partial class ClingoLexer : Lexer {
33 protected static DFA[] decisionToDFA;
34 protected static PredictionContextCache sharedContextCache =
new PredictionContextCache();
36 START=1, ANY=2, COMMA=3, INTEGER_CONSTANT=4, NEW_LINE=5, IDENTIFIER=6,
37 STRING_CONSTANT=7, TERMS_BEGIN=8, TERMS_END=9, WHITE_SPACE=10;
40 public static string[] channelNames = {
41 "DEFAULT_TOKEN_CHANNEL",
"HIDDEN"
44 public static string[] modeNames = {
45 "DEFAULT_MODE",
"SIGNIFICANT"
48 public static readonly
string[] ruleNames = {
49 "START",
"ANY",
"COMMA",
"INTEGER_CONSTANT",
"NEW_LINE",
"IDENTIFIER",
50 "STRING_CONSTANT",
"TERMS_BEGIN",
"TERMS_END",
"WHITE_SPACE",
"INT",
"NL",
55 public ClingoLexer(ICharStream input)
56 : this(input, Console.Out, Console.Error) { }
58 public ClingoLexer(ICharStream input, TextWriter output, TextWriter errorOutput)
59 :
base(input, output, errorOutput)
61 Interpreter =
new LexerATNSimulator(
this, _ATN, decisionToDFA, sharedContextCache);
64 private static readonly
string[] _LiteralNames = {
65 null,
null,
null,
"','",
null,
null,
null,
null,
"'('",
"')'"
67 private static readonly
string[] _SymbolicNames = {
68 null,
"START",
"ANY",
"COMMA",
"INTEGER_CONSTANT",
"NEW_LINE",
"IDENTIFIER",
69 "STRING_CONSTANT",
"TERMS_BEGIN",
"TERMS_END",
"WHITE_SPACE"
71 public static readonly IVocabulary DefaultVocabulary =
new Vocabulary(_LiteralNames, _SymbolicNames);
74 public override IVocabulary Vocabulary
78 return DefaultVocabulary;
82 public override string GrammarFileName {
get {
return "ClingoLexer.g4"; } }
84 public override string[] RuleNames {
get {
return ruleNames; } }
86 public override string[] ChannelNames {
get {
return channelNames; } }
88 public override string[] ModeNames {
get {
return modeNames; } }
90 public override string SerializedAtn {
get {
return new string(_serializedATN); } }
92 static ClingoLexer() {
93 decisionToDFA =
new DFA[_ATN.NumberOfDecisions];
94 for (
int i = 0; i < _ATN.NumberOfDecisions; i++) {
95 decisionToDFA[i] =
new DFA(_ATN.GetDecisionState(i), i);
98 private static char[] _serializedATN = {
99 '\x3',
'\x608B',
'\xA72A',
'\x8133',
'\xB9ED',
'\x417C',
'\x3BE7',
'\x7786',
100 '\x5964',
'\x2',
'\f',
'\x7F',
'\b',
'\x1',
'\b',
'\x1',
'\x4',
'\x2',
101 '\t',
'\x2',
'\x4',
'\x3',
'\t',
'\x3',
'\x4',
'\x4',
'\t',
'\x4',
'\x4',
102 '\x5',
'\t',
'\x5',
'\x4',
'\x6',
'\t',
'\x6',
'\x4',
'\a',
'\t',
'\a',
103 '\x4',
'\b',
'\t',
'\b',
'\x4',
'\t',
'\t',
'\t',
'\x4',
'\n',
'\t',
'\n',
104 '\x4',
'\v',
'\t',
'\v',
'\x4',
'\f',
'\t',
'\f',
'\x4',
'\r',
'\t',
'\r',
105 '\x4',
'\xE',
'\t',
'\xE',
'\x3',
'\x2',
'\x3',
'\x2',
'\x3',
'\x2',
'\x3',
106 '\x2',
'\x3',
'\x2',
'\x3',
'\x2',
'\x3',
'\x2',
'\x3',
'\x2',
'\x3',
107 '\x2',
'\x3',
'\x2',
'\x3',
'\x2',
'\x3',
'\x2',
'\x3',
'\x2',
'\x3',
108 '\x2',
'\x3',
'\x3',
'\a',
'\x3',
'.',
'\n',
'\x3',
'\f',
'\x3',
'\xE',
109 '\x3',
'\x31',
'\v',
'\x3',
'\x3',
'\x3',
'\x3',
'\x3',
'\x3',
'\x3',
110 '\x3',
'\x3',
'\x3',
'\x4',
'\x3',
'\x4',
'\x3',
'\x5',
'\x3',
'\x5',
111 '\x3',
'\x6',
'\x3',
'\x6',
'\x3',
'\x6',
'\x3',
'\x6',
'\x3',
'\x6',
112 '\x3',
'\x6',
'\x3',
'\x6',
'\x3',
'\x6',
'\x3',
'\x6',
'\x3',
'\x6',
113 '\x3',
'\x6',
'\x3',
'\x6',
'\x3',
'\x6',
'\x3',
'\x6',
'\x3',
'\x6',
114 '\x3',
'\x6',
'\x3',
'\x6',
'\x3',
'\x6',
'\a',
'\x6',
'M',
'\n',
'\x6',
115 '\f',
'\x6',
'\xE',
'\x6',
'P',
'\v',
'\x6',
'\x3',
'\x6',
'\x5',
'\x6',
116 'S',
'\n',
'\x6',
'\x3',
'\x6',
'\x3',
'\x6',
'\x3',
'\a',
'\x3',
'\a',
117 '\a',
'\a',
'Y',
'\n',
'\a',
'\f',
'\a',
'\xE',
'\a',
'\\',
'\v',
'\a',
118 '\x3',
'\b',
'\x3',
'\b',
'\a',
'\b',
'`',
'\n',
'\b',
'\f',
'\b',
'\xE',
119 '\b',
'\x63',
'\v',
'\b',
'\x3',
'\b',
'\x3',
'\b',
'\x3',
'\t',
'\x3',
120 '\t',
'\x3',
'\n',
'\x3',
'\n',
'\x3',
'\v',
'\x3',
'\v',
'\x3',
'\v',
121 '\x3',
'\v',
'\x3',
'\f',
'\x3',
'\f',
'\x3',
'\f',
'\a',
'\f',
'r',
'\n',
122 '\f',
'\f',
'\f',
'\xE',
'\f',
'u',
'\v',
'\f',
'\x5',
'\f',
'w',
'\n',
123 '\f',
'\x3',
'\r',
'\x3',
'\r',
'\x3',
'\r',
'\x5',
'\r',
'|',
'\n',
'\r',
124 '\x3',
'\xE',
'\x3',
'\xE',
'\x3',
'/',
'\x2',
'\xF',
'\x4',
'\x3',
'\x6',
125 '\x4',
'\b',
'\x5',
'\n',
'\x6',
'\f',
'\a',
'\xE',
'\b',
'\x10',
'\t',
126 '\x12',
'\n',
'\x14',
'\v',
'\x16',
'\f',
'\x18',
'\x2',
'\x1A',
'\x2',
127 '\x1C',
'\x2',
'\x4',
'\x2',
'\x3',
'\t',
'\x4',
'\x2',
'\x43',
'\\',
128 '\x63',
'|',
'\x6',
'\x2',
'\x32',
';',
'\x43',
'\\',
'\x61',
'\x61',
129 '\x63',
'|',
'\x3',
'\x2',
'$',
'$',
'\x3',
'\x2',
'\x33',
';',
'\x3',
130 '\x2',
'\x32',
';',
'\x4',
'\x2',
'\f',
'\f',
'\xF',
'\xF',
'\x4',
'\x2',
131 '\v',
'\v',
'\"',
'\"',
'\x2',
'\x82',
'\x2',
'\x4',
'\x3',
'\x2',
'\x2',
132 '\x2',
'\x2',
'\x6',
'\x3',
'\x2',
'\x2',
'\x2',
'\x3',
'\b',
'\x3',
'\x2',
133 '\x2',
'\x2',
'\x3',
'\n',
'\x3',
'\x2',
'\x2',
'\x2',
'\x3',
'\f',
'\x3',
134 '\x2',
'\x2',
'\x2',
'\x3',
'\xE',
'\x3',
'\x2',
'\x2',
'\x2',
'\x3',
135 '\x10',
'\x3',
'\x2',
'\x2',
'\x2',
'\x3',
'\x12',
'\x3',
'\x2',
'\x2',
136 '\x2',
'\x3',
'\x14',
'\x3',
'\x2',
'\x2',
'\x2',
'\x3',
'\x16',
'\x3',
137 '\x2',
'\x2',
'\x2',
'\x4',
'\x1E',
'\x3',
'\x2',
'\x2',
'\x2',
'\x6',
138 '/',
'\x3',
'\x2',
'\x2',
'\x2',
'\b',
'\x36',
'\x3',
'\x2',
'\x2',
'\x2',
139 '\n',
'\x38',
'\x3',
'\x2',
'\x2',
'\x2',
'\f',
':',
'\x3',
'\x2',
'\x2',
140 '\x2',
'\xE',
'V',
'\x3',
'\x2',
'\x2',
'\x2',
'\x10',
']',
'\x3',
'\x2',
141 '\x2',
'\x2',
'\x12',
'\x66',
'\x3',
'\x2',
'\x2',
'\x2',
'\x14',
'h',
142 '\x3',
'\x2',
'\x2',
'\x2',
'\x16',
'j',
'\x3',
'\x2',
'\x2',
'\x2',
'\x18',
143 'v',
'\x3',
'\x2',
'\x2',
'\x2',
'\x1A',
'{',
'\x3',
'\x2',
'\x2',
'\x2',
144 '\x1C',
'}',
'\x3',
'\x2',
'\x2',
'\x2',
'\x1E',
'\x1F',
'\a',
'\x43',
145 '\x2',
'\x2',
'\x1F',
' ',
'\a',
'p',
'\x2',
'\x2',
' ',
'!',
'\a',
'u',
146 '\x2',
'\x2',
'!',
'\"',
'\a',
'y',
'\x2',
'\x2',
'\"',
'#',
'\a',
'g',
147 '\x2',
'\x2',
'#',
'$',
'\a',
't',
'\x2',
'\x2',
'$',
'%',
'\a',
'<',
148 '\x2',
'\x2',
'%',
'&',
'\a',
'\"',
'\x2',
'\x2',
'&',
'\'',
'\x3',
'\x2',
149 '\x2',
'\x2',
'\'',
'(',
'\x5',
'\x18',
'\f',
'\x2',
'(',
')',
'\x5',
150 '\x1A',
'\r',
'\x2',
')',
'*',
'\x3',
'\x2',
'\x2',
'\x2',
'*',
'+',
'\b',
151 '\x2',
'\x2',
'\x2',
'+',
'\x5',
'\x3',
'\x2',
'\x2',
'\x2',
',',
'.',
152 '\v',
'\x2',
'\x2',
'\x2',
'-',
',',
'\x3',
'\x2',
'\x2',
'\x2',
'.',
153 '\x31',
'\x3',
'\x2',
'\x2',
'\x2',
'/',
'\x30',
'\x3',
'\x2',
'\x2',
154 '\x2',
'/',
'-',
'\x3',
'\x2',
'\x2',
'\x2',
'\x30',
'\x32',
'\x3',
'\x2',
155 '\x2',
'\x2',
'\x31',
'/',
'\x3',
'\x2',
'\x2',
'\x2',
'\x32',
'\x33',
156 '\x5',
'\x1A',
'\r',
'\x2',
'\x33',
'\x34',
'\x3',
'\x2',
'\x2',
'\x2',
157 '\x34',
'\x35',
'\b',
'\x3',
'\x3',
'\x2',
'\x35',
'\a',
'\x3',
'\x2',
158 '\x2',
'\x2',
'\x36',
'\x37',
'\a',
'.',
'\x2',
'\x2',
'\x37',
'\t',
'\x3',
159 '\x2',
'\x2',
'\x2',
'\x38',
'\x39',
'\x5',
'\x18',
'\f',
'\x2',
'\x39',
160 '\v',
'\x3',
'\x2',
'\x2',
'\x2',
':',
'R',
'\x5',
'\x1A',
'\r',
'\x2',
161 ';',
'<',
'\a',
'Q',
'\x2',
'\x2',
'<',
'=',
'\a',
'r',
'\x2',
'\x2',
162 '=',
'>',
'\a',
'v',
'\x2',
'\x2',
'>',
'?',
'\a',
'k',
'\x2',
'\x2',
163 '?',
'@',
'\a',
'o',
'\x2',
'\x2',
'@',
'\x41',
'\a',
'k',
'\x2',
'\x2',
164 '\x41',
'\x42',
'\a',
'|',
'\x2',
'\x2',
'\x42',
'\x43',
'\a',
'\x63',
165 '\x2',
'\x2',
'\x43',
'\x44',
'\a',
'v',
'\x2',
'\x2',
'\x44',
'\x45',
166 '\a',
'k',
'\x2',
'\x2',
'\x45',
'\x46',
'\a',
'q',
'\x2',
'\x2',
'\x46',
167 'G',
'\a',
'p',
'\x2',
'\x2',
'G',
'H',
'\a',
'<',
'\x2',
'\x2',
'H',
168 'N',
'\x3',
'\x2',
'\x2',
'\x2',
'I',
'J',
'\x5',
'\x1C',
'\xE',
'\x2',
169 'J',
'K',
'\x5',
'\x18',
'\f',
'\x2',
'K',
'M',
'\x3',
'\x2',
'\x2',
'\x2',
170 'L',
'I',
'\x3',
'\x2',
'\x2',
'\x2',
'M',
'P',
'\x3',
'\x2',
'\x2',
'\x2',
171 'N',
'L',
'\x3',
'\x2',
'\x2',
'\x2',
'N',
'O',
'\x3',
'\x2',
'\x2',
'\x2',
172 'O',
'Q',
'\x3',
'\x2',
'\x2',
'\x2',
'P',
'N',
'\x3',
'\x2',
'\x2',
'\x2',
173 'Q',
'S',
'\x5',
'\x1A',
'\r',
'\x2',
'R',
';',
'\x3',
'\x2',
'\x2',
'\x2',
174 'R',
'S',
'\x3',
'\x2',
'\x2',
'\x2',
'S',
'T',
'\x3',
'\x2',
'\x2',
'\x2',
175 'T',
'U',
'\b',
'\x6',
'\x4',
'\x2',
'U',
'\r',
'\x3',
'\x2',
'\x2',
'\x2',
176 'V',
'Z',
'\t',
'\x2',
'\x2',
'\x2',
'W',
'Y',
'\t',
'\x3',
'\x2',
'\x2',
177 'X',
'W',
'\x3',
'\x2',
'\x2',
'\x2',
'Y',
'\\',
'\x3',
'\x2',
'\x2',
178 '\x2',
'Z',
'X',
'\x3',
'\x2',
'\x2',
'\x2',
'Z',
'[',
'\x3',
'\x2',
'\x2',
179 '\x2',
'[',
'\xF',
'\x3',
'\x2',
'\x2',
'\x2',
'\\',
'Z',
'\x3',
'\x2',
180 '\x2',
'\x2',
']',
'\x61',
'\a',
'$',
'\x2',
'\x2',
'^',
'`',
'\n',
'\x4',
181 '\x2',
'\x2',
'_',
'^',
'\x3',
'\x2',
'\x2',
'\x2',
'`',
'\x63',
'\x3',
182 '\x2',
'\x2',
'\x2',
'\x61',
'_',
'\x3',
'\x2',
'\x2',
'\x2',
'\x61',
183 '\x62',
'\x3',
'\x2',
'\x2',
'\x2',
'\x62',
'\x64',
'\x3',
'\x2',
'\x2',
184 '\x2',
'\x63',
'\x61',
'\x3',
'\x2',
'\x2',
'\x2',
'\x64',
'\x65',
'\a',
185 '$',
'\x2',
'\x2',
'\x65',
'\x11',
'\x3',
'\x2',
'\x2',
'\x2',
'\x66',
186 'g',
'\a',
'*',
'\x2',
'\x2',
'g',
'\x13',
'\x3',
'\x2',
'\x2',
'\x2',
187 'h',
'i',
'\a',
'+',
'\x2',
'\x2',
'i',
'\x15',
'\x3',
'\x2',
'\x2',
'\x2',
188 'j',
'k',
'\x5',
'\x1C',
'\xE',
'\x2',
'k',
'l',
'\x3',
'\x2',
'\x2',
189 '\x2',
'l',
'm',
'\b',
'\v',
'\x3',
'\x2',
'm',
'\x17',
'\x3',
'\x2',
190 '\x2',
'\x2',
'n',
'w',
'\a',
'\x32',
'\x2',
'\x2',
'o',
's',
'\t',
'\x5',
191 '\x2',
'\x2',
'p',
'r',
'\t',
'\x6',
'\x2',
'\x2',
'q',
'p',
'\x3',
'\x2',
192 '\x2',
'\x2',
'r',
'u',
'\x3',
'\x2',
'\x2',
'\x2',
's',
'q',
'\x3',
'\x2',
193 '\x2',
'\x2',
's',
't',
'\x3',
'\x2',
'\x2',
'\x2',
't',
'w',
'\x3',
'\x2',
194 '\x2',
'\x2',
'u',
's',
'\x3',
'\x2',
'\x2',
'\x2',
'v',
'n',
'\x3',
'\x2',
195 '\x2',
'\x2',
'v',
'o',
'\x3',
'\x2',
'\x2',
'\x2',
'w',
'\x19',
'\x3',
196 '\x2',
'\x2',
'\x2',
'x',
'|',
'\t',
'\a',
'\x2',
'\x2',
'y',
'z',
'\a',
197 '\xF',
'\x2',
'\x2',
'z',
'|',
'\a',
'\f',
'\x2',
'\x2',
'{',
'x',
'\x3',
198 '\x2',
'\x2',
'\x2',
'{',
'y',
'\x3',
'\x2',
'\x2',
'\x2',
'|',
'\x1B',
199 '\x3',
'\x2',
'\x2',
'\x2',
'}',
'~',
'\t',
'\b',
'\x2',
'\x2',
'~',
'\x1D',
200 '\x3',
'\x2',
'\x2',
'\x2',
'\f',
'\x2',
'\x3',
'/',
'N',
'R',
'Z',
'\x61',
201 's',
'v',
'{',
'\x5',
'\x4',
'\x3',
'\x2',
'\b',
'\x2',
'\x2',
'\x4',
205 public static readonly ATN _ATN =
206 new ATNDeserializer().Deserialize(_serializedATN);