| Interface | Description |
|---|---|
| ASPParserConstants |
Token literal values and constants.
|
| ASPParserTreeConstants | |
| ASPParserVisitor | |
| Node |
| Class | Description |
|---|---|
| ASPParser |
Parser for DLV conform disjunctive logic programs using the
answer set semantics.
|
| ASPParser.JJCalls | |
| ASPParserTokenManager |
Token Manager.
|
| ASTAggregate | |
| ASTAnswerSet | |
| ASTAnswerSetList | |
| ASTArithmetic | |
| ASTArithmeticInteger | |
| ASTArithmeticOp | |
| ASTAtom | |
| ASTClingoAS | |
| ASTComment | |
| ASTComparative | |
| ASTCompareOp | |
| ASTDefAtom | |
| ASTElement | |
| ASTElementLst | |
| ASTFunctionalTerm | |
| ASTHead | |
| ASTIdentifier | |
| ASTIdLst | |
| ASTListTail | |
| ASTListTerm | |
| ASTNumber | |
| ASTProgram | |
| ASTRule | |
| ASTSetTerm | |
| ASTSimpleTerm | |
| ASTSpecId | |
| ASTSymbolicSet | |
| ASTTerm | |
| ASTTermLst | |
| InstantiateVisitor |
This visitor uses an AST generated by the ASPParser and allocates
the classes representing the constructs of a source file, like
programs, rules, literals, arithmetics, relations, terms, answer sets
etc.
|
| JJTASPParserState | |
| ParserTest |
Test all important functions of the ASP-Parser in combination with the
InstantiateVisitor which is responsible to walk through the parse-tree and
generate in-memory classes of the ASP-Program saved in a file or represented
as a String.
|
| SimpleCharStream |
An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).
|
| SimpleNode | |
| Token |
Describes the input token stream.
|
| Exception | Description |
|---|---|
| ParseException |
This exception is thrown when parse errors are encountered.
|
| Error | Description |
|---|---|
| ASPParser.LookaheadSuccess | |
| TokenMgrError |
Token Manager Error.
|