|
def | __init__ (self, input=None, output=sys.stdout) |
|
|
| atn = ATNDeserializer().deserialize(serializedATN()) |
|
list | decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ] |
|
int | SIGNIFICANT = 1 |
|
int | START = 1 |
|
int | ANY = 2 |
|
int | COMMA = 3 |
|
int | INTEGER_CONSTANT = 4 |
|
int | NEW_LINE = 5 |
|
int | IDENTIFIER = 6 |
|
int | STRING_CONSTANT = 7 |
|
int | TERMS_BEGIN = 8 |
|
int | TERMS_END = 9 |
|
int | WHITE_SPACE = 10 |
|
list | channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ] |
|
list | modeNames = [ u"DEFAULT_MODE", u"SIGNIFICANT" ] |
|
list | literalNames |
|
list | symbolicNames |
|
list | ruleNames |
|
string | grammarFileName = u"ClingoLexer.g4" |
|
Definition at line 56 of file ClingoLexer.py.
◆ literalNames
list parsers.asp.clingo.ClingoLexer.ClingoLexer.literalNames |
|
static |
Initial value:= [ u"<INVALID>",
u"','", u"'('", u"')'" ]
Definition at line 79 of file ClingoLexer.py.
◆ ruleNames
list parsers.asp.clingo.ClingoLexer.ClingoLexer.ruleNames |
|
static |
Initial value:= [ u"START", u"ANY", u"COMMA", u"INTEGER_CONSTANT", u"NEW_LINE",
u"IDENTIFIER", u"STRING_CONSTANT", u"TERMS_BEGIN", u"TERMS_END",
u"WHITE_SPACE", u"INT", u"NL", u"WS" ]
Definition at line 87 of file ClingoLexer.py.
◆ symbolicNames
list parsers.asp.clingo.ClingoLexer.ClingoLexer.symbolicNames |
|
static |
Initial value:= [ u"<INVALID>",
u"START", u"ANY", u"COMMA", u"INTEGER_CONSTANT", u"NEW_LINE",
u"IDENTIFIER", u"STRING_CONSTANT", u"TERMS_BEGIN", u"TERMS_END",
u"WHITE_SPACE" ]
Definition at line 82 of file ClingoLexer.py.
The documentation for this class was generated from the following file: