3 from __future__
import print_function
5 from io
import StringIO
10 with StringIO()
as buf:
11 buf.write(
u"\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2")
12 buf.write(
u"\f\177\b\1\b\1\4\2\t\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t")
13 buf.write(
u"\6\4\7\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13\t\13\4\f\t\f")
14 buf.write(
u"\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")
15 buf.write(
u"\2\3\2\3\2\3\2\3\2\3\2\3\3\7\3.\n\3\f\3\16\3\61\13\3")
16 buf.write(
u"\3\3\3\3\3\3\3\3\3\4\3\4\3\5\3\5\3\6\3\6\3\6\3\6\3\6")
17 buf.write(
u"\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")
18 buf.write(
u"\7\6M\n\6\f\6\16\6P\13\6\3\6\5\6S\n\6\3\6\3\6\3\7\3\7")
19 buf.write(
u"\7\7Y\n\7\f\7\16\7\\\13\7\3\b\3\b\7\b`\n\b\f\b\16\bc")
20 buf.write(
u"\13\b\3\b\3\b\3\t\3\t\3\n\3\n\3\13\3\13\3\13\3\13\3\f")
21 buf.write(
u"\3\f\3\f\7\fr\n\f\f\f\16\fu\13\f\5\fw\n\f\3\r\3\r\3\r")
22 buf.write(
u"\5\r|\n\r\3\16\3\16\3/\2\17\4\3\6\4\b\5\n\6\f\7\16\b")
23 buf.write(
u"\20\t\22\n\24\13\26\f\30\2\32\2\34\2\4\2\3\t\4\2C\\c")
24 buf.write(
u"|\6\2\62;C\\aac|\3\2$$\3\2\63;\3\2\62;\4\2\f\f\17\17")
25 buf.write(
u"\4\2\13\13\"\"\2\u0082\2\4\3\2\2\2\2\6\3\2\2\2\3\b\3")
26 buf.write(
u"\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")
27 buf.write(
u"\2\2\3\22\3\2\2\2\3\24\3\2\2\2\3\26\3\2\2\2\4\36\3\2")
28 buf.write(
u"\2\2\6/\3\2\2\2\b\66\3\2\2\2\n8\3\2\2\2\f:\3\2\2\2\16")
29 buf.write(
u"V\3\2\2\2\20]\3\2\2\2\22f\3\2\2\2\24h\3\2\2\2\26j\3\2")
30 buf.write(
u"\2\2\30v\3\2\2\2\32{\3\2\2\2\34}\3\2\2\2\36\37\7C\2\2")
31 buf.write(
u"\37 \7p\2\2 !\7u\2\2!\"\7y\2\2\"#\7g\2\2#$\7t\2\2$%\7")
32 buf.write(
u"<\2\2%&\7\"\2\2&\'\3\2\2\2\'(\5\30\f\2()\5\32\r\2)*\3")
33 buf.write(
u"\2\2\2*+\b\2\2\2+\5\3\2\2\2,.\13\2\2\2-,\3\2\2\2.\61")
34 buf.write(
u"\3\2\2\2/\60\3\2\2\2/-\3\2\2\2\60\62\3\2\2\2\61/\3\2")
35 buf.write(
u"\2\2\62\63\5\32\r\2\63\64\3\2\2\2\64\65\b\3\3\2\65\7")
36 buf.write(
u"\3\2\2\2\66\67\7.\2\2\67\t\3\2\2\289\5\30\f\29\13\3\2")
37 buf.write(
u"\2\2:R\5\32\r\2;<\7Q\2\2<=\7r\2\2=>\7v\2\2>?\7k\2\2?")
38 buf.write(
u"@\7o\2\2@A\7k\2\2AB\7|\2\2BC\7c\2\2CD\7v\2\2DE\7k\2\2")
39 buf.write(
u"EF\7q\2\2FG\7p\2\2GH\7<\2\2HN\3\2\2\2IJ\5\34\16\2JK\5")
40 buf.write(
u"\30\f\2KM\3\2\2\2LI\3\2\2\2MP\3\2\2\2NL\3\2\2\2NO\3\2")
41 buf.write(
u"\2\2OQ\3\2\2\2PN\3\2\2\2QS\5\32\r\2R;\3\2\2\2RS\3\2\2")
42 buf.write(
u"\2ST\3\2\2\2TU\b\6\4\2U\r\3\2\2\2VZ\t\2\2\2WY\t\3\2\2")
43 buf.write(
u"XW\3\2\2\2Y\\\3\2\2\2ZX\3\2\2\2Z[\3\2\2\2[\17\3\2\2\2")
44 buf.write(
u"\\Z\3\2\2\2]a\7$\2\2^`\n\4\2\2_^\3\2\2\2`c\3\2\2\2a_")
45 buf.write(
u"\3\2\2\2ab\3\2\2\2bd\3\2\2\2ca\3\2\2\2de\7$\2\2e\21\3")
46 buf.write(
u"\2\2\2fg\7*\2\2g\23\3\2\2\2hi\7+\2\2i\25\3\2\2\2jk\5")
47 buf.write(
u"\34\16\2kl\3\2\2\2lm\b\13\3\2m\27\3\2\2\2nw\7\62\2\2")
48 buf.write(
u"os\t\5\2\2pr\t\6\2\2qp\3\2\2\2ru\3\2\2\2sq\3\2\2\2st")
49 buf.write(
u"\3\2\2\2tw\3\2\2\2us\3\2\2\2vn\3\2\2\2vo\3\2\2\2w\31")
50 buf.write(
u"\3\2\2\2x|\t\7\2\2yz\7\17\2\2z|\7\f\2\2{x\3\2\2\2{y\3")
51 buf.write(
u"\2\2\2|\33\3\2\2\2}~\t\b\2\2~\35\3\2\2\2\f\2\3/NRZas")
52 buf.write(
u"v{\5\4\3\2\b\2\2\4\2\2")
58 atn = ATNDeserializer().deserialize(serializedATN())
60 decisionsToDFA = [ DFA(ds, i)
for i, ds
in enumerate(atn.decisionToState) ]
75 channelNames = [
u"DEFAULT_TOKEN_CHANNEL",
u"HIDDEN" ]
77 modeNames = [
u"DEFAULT_MODE",
u"SIGNIFICANT" ]
79 literalNames = [
u"<INVALID>",
80 u"','",
u"'('",
u"')'" ]
82 symbolicNames = [
u"<INVALID>",
83 u"START",
u"ANY",
u"COMMA",
u"INTEGER_CONSTANT",
u"NEW_LINE",
84 u"IDENTIFIER",
u"STRING_CONSTANT",
u"TERMS_BEGIN",
u"TERMS_END",
87 ruleNames = [
u"START",
u"ANY",
u"COMMA",
u"INTEGER_CONSTANT",
u"NEW_LINE",
88 u"IDENTIFIER",
u"STRING_CONSTANT",
u"TERMS_BEGIN",
u"TERMS_END",
89 u"WHITE_SPACE",
u"INT",
u"NL",
u"WS" ]
91 grammarFileName =
u"ClingoLexer.g4"
93 def __init__(self, input=None, output=sys.stdout):
94 super(ClingoLexer, self).__init__(input, output=output)
95 self.checkVersion(
"4.7")