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"\30\u00d7\b\1\b\1\4\2\t\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6")
13 buf.write(
u"\t\6\4\7\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13\t\13\4\f\t")
14 buf.write(
u"\f\4\r\t\r\4\16\t\16\4\17\t\17\4\20\t\20\4\21\t\21\4")
15 buf.write(
u"\22\t\22\4\23\t\23\4\24\t\24\4\25\t\25\4\26\t\26\4\27")
16 buf.write(
u"\t\27\4\30\t\30\3\2\3\2\3\2\3\2\3\2\3\2\3\2\7\2:\n\2")
17 buf.write(
u"\f\2\16\2=\13\2\3\2\3\2\3\2\3\2\3\3\3\3\3\4\3\4\3\4\3")
18 buf.write(
u"\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")
19 buf.write(
u"\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")
20 buf.write(
u"\7\3\7\3\b\3\b\3\b\3\b\3\b\3\b\3\b\3\t\3\t\3\n\3\n\3")
21 buf.write(
u"\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13\3\13")
22 buf.write(
u"\3\13\3\f\3\f\3\r\3\r\7\r\177\n\r\f\r\16\r\u0082\13\r")
23 buf.write(
u"\3\16\3\16\3\16\7\16\u0087\n\16\f\16\16\16\u008a\13\16")
24 buf.write(
u"\5\16\u008c\n\16\3\17\3\17\7\17\u0090\n\17\f\17\16\17")
25 buf.write(
u"\u0093\13\17\3\17\3\17\3\20\3\20\3\21\3\21\3\22\3\22")
26 buf.write(
u"\3\22\3\22\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3")
27 buf.write(
u"\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\5\23\u00b0")
28 buf.write(
u"\n\23\3\24\3\24\3\24\3\24\3\25\3\25\3\25\3\25\3\25\3")
29 buf.write(
u"\25\3\25\3\25\3\25\5\25\u00bf\n\25\3\26\3\26\3\26\3\26")
30 buf.write(
u"\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3")
31 buf.write(
u"\27\3\27\3\27\3\27\3\27\3\27\3\27\3\30\3\30\3;\2\31\4")
32 buf.write(
u"\3\6\4\b\5\n\6\f\7\16\b\20\t\22\n\24\13\26\f\30\r\32")
33 buf.write(
u"\16\34\17\36\20 \21\"\22$\23&\24(\25*\26,\27.\30\60\2")
34 buf.write(
u"\4\2\3\b\4\2C\\c|\6\2\62;C\\aac|\3\2\63;\3\2\62;\3\2")
35 buf.write(
u"$$\5\2\13\f\17\17\"\"\2\u00db\2\4\3\2\2\2\2\6\3\2\2\2")
36 buf.write(
u"\2\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")
37 buf.write(
u"\3\2\2\2\2\22\3\2\2\2\2\24\3\2\2\2\2\26\3\2\2\2\2\30")
38 buf.write(
u"\3\2\2\2\2\32\3\2\2\2\2\34\3\2\2\2\2\36\3\2\2\2\2 \3")
39 buf.write(
u"\2\2\2\2\"\3\2\2\2\2$\3\2\2\2\3&\3\2\2\2\3(\3\2\2\2\3")
40 buf.write(
u"*\3\2\2\2\3,\3\2\2\2\3.\3\2\2\2\4\62\3\2\2\2\6B\3\2\2")
41 buf.write(
u"\2\bD\3\2\2\2\n]\3\2\2\2\f_\3\2\2\2\16a\3\2\2\2\20c\3")
42 buf.write(
u"\2\2\2\22j\3\2\2\2\24l\3\2\2\2\26n\3\2\2\2\30z\3\2\2")
43 buf.write(
u"\2\32|\3\2\2\2\34\u008b\3\2\2\2\36\u008d\3\2\2\2 \u0096")
44 buf.write(
u"\3\2\2\2\"\u0098\3\2\2\2$\u009a\3\2\2\2&\u00af\3\2\2")
45 buf.write(
u"\2(\u00b1\3\2\2\2*\u00be\3\2\2\2,\u00c0\3\2\2\2.\u00c4")
46 buf.write(
u"\3\2\2\2\60\u00d5\3\2\2\2\62\63\7F\2\2\63\64\7N\2\2\64")
47 buf.write(
u"\65\7X\2\2\65\66\7\"\2\2\66\67\7]\2\2\67;\3\2\2\28:\13")
48 buf.write(
u"\2\2\298\3\2\2\2:=\3\2\2\2;<\3\2\2\2;9\3\2\2\2<>\3\2")
49 buf.write(
u"\2\2=;\3\2\2\2>?\7_\2\2?@\3\2\2\2@A\b\2\2\2A\5\3\2\2")
50 buf.write(
u"\2BC\7<\2\2C\7\3\2\2\2DE\7E\2\2EF\7q\2\2FG\7u\2\2GH\7")
51 buf.write(
u"v\2\2HI\7\"\2\2IJ\7*\2\2JK\7]\2\2KL\7Y\2\2LM\7g\2\2M")
52 buf.write(
u"N\7k\2\2NO\7i\2\2OP\7j\2\2PQ\7v\2\2QR\7<\2\2RS\7N\2\2")
53 buf.write(
u"ST\7g\2\2TU\7x\2\2UV\7g\2\2VW\7n\2\2WX\7_\2\2XY\7+\2")
54 buf.write(
u"\2YZ\7<\2\2Z[\7\"\2\2[\\\7>\2\2\\\t\3\2\2\2]^\7@\2\2")
55 buf.write(
u"^\13\3\2\2\2_`\7]\2\2`\r\3\2\2\2ab\7_\2\2b\17\3\2\2\2")
56 buf.write(
u"cd\7\"\2\2de\7k\2\2ef\7u\2\2fg\7\"\2\2gh\3\2\2\2hi\b")
57 buf.write(
u"\b\3\2i\21\3\2\2\2jk\7}\2\2k\23\3\2\2\2lm\7\177\2\2m")
58 buf.write(
u"\25\3\2\2\2no\7D\2\2op\7g\2\2pq\7u\2\2qr\7v\2\2rs\7\"")
59 buf.write(
u"\2\2st\7o\2\2tu\7q\2\2uv\7f\2\2vw\7g\2\2wx\7n\2\2xy\7")
60 buf.write(
u"<\2\2y\27\3\2\2\2z{\7.\2\2{\31\3\2\2\2|\u0080\t\2\2\2")
61 buf.write(
u"}\177\t\3\2\2~}\3\2\2\2\177\u0082\3\2\2\2\u0080~\3\2")
62 buf.write(
u"\2\2\u0080\u0081\3\2\2\2\u0081\33\3\2\2\2\u0082\u0080")
63 buf.write(
u"\3\2\2\2\u0083\u008c\7\62\2\2\u0084\u0088\t\4\2\2\u0085")
64 buf.write(
u"\u0087\t\5\2\2\u0086\u0085\3\2\2\2\u0087\u008a\3\2\2")
65 buf.write(
u"\2\u0088\u0086\3\2\2\2\u0088\u0089\3\2\2\2\u0089\u008c")
66 buf.write(
u"\3\2\2\2\u008a\u0088\3\2\2\2\u008b\u0083\3\2\2\2\u008b")
67 buf.write(
u"\u0084\3\2\2\2\u008c\35\3\2\2\2\u008d\u0091\7$\2\2\u008e")
68 buf.write(
u"\u0090\n\6\2\2\u008f\u008e\3\2\2\2\u0090\u0093\3\2\2")
69 buf.write(
u"\2\u0091\u008f\3\2\2\2\u0091\u0092\3\2\2\2\u0092\u0094")
70 buf.write(
u"\3\2\2\2\u0093\u0091\3\2\2\2\u0094\u0095\7$\2\2\u0095")
71 buf.write(
u"\37\3\2\2\2\u0096\u0097\7*\2\2\u0097!\3\2\2\2\u0098\u0099")
72 buf.write(
u"\7+\2\2\u0099#\3\2\2\2\u009a\u009b\5\60\30\2\u009b\u009c")
73 buf.write(
u"\3\2\2\2\u009c\u009d\b\22\2\2\u009d%\3\2\2\2\u009e\u009f")
74 buf.write(
u"\7d\2\2\u009f\u00a0\7t\2\2\u00a0\u00a1\7c\2\2\u00a1\u00a2")
75 buf.write(
u"\7x\2\2\u00a2\u00a3\7g\2\2\u00a3\u00a4\7n\2\2\u00a4\u00b0")
76 buf.write(
u"\7{\2\2\u00a5\u00a6\7e\2\2\u00a6\u00a7\7c\2\2\u00a7\u00a8")
77 buf.write(
u"\7w\2\2\u00a8\u00a9\7v\2\2\u00a9\u00aa\7k\2\2\u00aa\u00ab")
78 buf.write(
u"\7q\2\2\u00ab\u00ac\7w\2\2\u00ac\u00ad\7u\2\2\u00ad\u00ae")
79 buf.write(
u"\7n\2\2\u00ae\u00b0\7{\2\2\u00af\u009e\3\2\2\2\u00af")
80 buf.write(
u"\u00a5\3\2\2\2\u00b0\'\3\2\2\2\u00b1\u00b2\7\60\2\2\u00b2")
81 buf.write(
u"\u00b3\3\2\2\2\u00b3\u00b4\b\24\4\2\u00b4)\3\2\2\2\u00b5")
82 buf.write(
u"\u00b6\7h\2\2\u00b6\u00b7\7c\2\2\u00b7\u00b8\7n\2\2\u00b8")
83 buf.write(
u"\u00b9\7u\2\2\u00b9\u00bf\7g\2\2\u00ba\u00bb\7v\2\2\u00bb")
84 buf.write(
u"\u00bc\7t\2\2\u00bc\u00bd\7w\2\2\u00bd\u00bf\7g\2\2\u00be")
85 buf.write(
u"\u00b5\3\2\2\2\u00be\u00ba\3\2\2\2\u00bf+\3\2\2\2\u00c0")
86 buf.write(
u"\u00c1\5\60\30\2\u00c1\u00c2\3\2\2\2\u00c2\u00c3\b\26")
87 buf.write(
u"\2\2\u00c3-\3\2\2\2\u00c4\u00c5\7.\2\2\u00c5\u00c6\7")
88 buf.write(
u"\"\2\2\u00c6\u00c7\7g\2\2\u00c7\u00c8\7x\2\2\u00c8\u00c9")
89 buf.write(
u"\7k\2\2\u00c9\u00ca\7f\2\2\u00ca\u00cb\7g\2\2\u00cb\u00cc")
90 buf.write(
u"\7p\2\2\u00cc\u00cd\7e\2\2\u00cd\u00ce\7g\2\2\u00ce\u00cf")
91 buf.write(
u"\7f\2\2\u00cf\u00d0\7\"\2\2\u00d0\u00d1\7d\2\2\u00d1")
92 buf.write(
u"\u00d2\7{\2\2\u00d2\u00d3\3\2\2\2\u00d3\u00d4\b\27\4")
93 buf.write(
u"\2\u00d4/\3\2\2\2\u00d5\u00d6\t\7\2\2\u00d6\61\3\2\2")
94 buf.write(
u"\2\13\2\3;\u0080\u0088\u008b\u0091\u00af\u00be\5\b\2")
95 buf.write(
u"\2\4\3\2\4\2\2")
101 atn = ATNDeserializer().deserialize(serializedATN())
103 decisionsToDFA = [ DFA(ds, i)
for i, ds
in enumerate(atn.decisionToState) ]
111 OPEN_SQUARE_BRACKET = 5
112 CLOSE_SQUARE_BRACKET = 6
113 GROUND_QUERY_BEGIN = 7
116 WEIGHTED_MODEL_LABEL = 10
119 INTEGER_CONSTANT = 13
127 WHITESPACE_IN_GROUND_QUERY = 21
130 channelNames = [
u"DEFAULT_TOKEN_CHANNEL",
u"HIDDEN" ]
132 modeNames = [
u"DEFAULT_MODE",
u"IN_GROUND_QUERY" ]
134 literalNames = [
u"<INVALID>",
135 u"':'",
u"'Cost ([Weight:Level]): <'",
u"'>'",
u"'['",
u"']'",
136 u"' is '",
u"'{'",
u"'}'",
u"'Best model:'",
u"','",
u"'('",
137 u"')'",
u"'.'",
u"', evidenced by'" ]
139 symbolicNames = [
u"<INVALID>",
140 u"HEADER",
u"COLON",
u"COST_BEGIN",
u"COST_END",
u"OPEN_SQUARE_BRACKET",
141 u"CLOSE_SQUARE_BRACKET",
u"GROUND_QUERY_BEGIN",
u"MODEL_BEGIN",
142 u"MODEL_END",
u"WEIGHTED_MODEL_LABEL",
u"COMMA",
u"IDENTIFIER",
143 u"INTEGER_CONSTANT",
u"STRING_CONSTANT",
u"TERMS_BEGIN",
u"TERMS_END",
144 u"WHITESPACE",
u"REASONING",
u"DOT",
u"BOOLEAN",
u"WHITESPACE_IN_GROUND_QUERY",
147 ruleNames = [
u"HEADER",
u"COLON",
u"COST_BEGIN",
u"COST_END",
u"OPEN_SQUARE_BRACKET",
148 u"CLOSE_SQUARE_BRACKET",
u"GROUND_QUERY_BEGIN",
u"MODEL_BEGIN",
149 u"MODEL_END",
u"WEIGHTED_MODEL_LABEL",
u"COMMA",
u"IDENTIFIER",
150 u"INTEGER_CONSTANT",
u"STRING_CONSTANT",
u"TERMS_BEGIN",
151 u"TERMS_END",
u"WHITESPACE",
u"REASONING",
u"DOT",
u"BOOLEAN",
152 u"WHITESPACE_IN_GROUND_QUERY",
u"WITNESS_LABEL",
u"WS" ]
154 grammarFileName =
u"DLVLexer.g4"
156 def __init__(self, input=None, output=sys.stdout):
157 super(DLVLexer, self).__init__(input, output=output)
158 self.checkVersion(
"4.7")