public class ASPParser extends java.lang.Object implements ASPParserTreeConstants, ASPParserConstants
Modifier and Type | Class and Description |
---|---|
(package private) static class |
ASPParser.JJCalls |
private static class |
ASPParser.LookaheadSuccess |
Modifier and Type | Field and Description |
---|---|
private ASPParser.JJCalls[] |
jj_2_rtns |
private int |
jj_endpos |
private java.util.List<int[]> |
jj_expentries |
private int[] |
jj_expentry |
private int |
jj_gc |
private int |
jj_gen |
(package private) SimpleCharStream |
jj_input_stream |
private int |
jj_kind |
private int |
jj_la |
private int[] |
jj_la1 |
private static int[] |
jj_la1_0 |
private static int[] |
jj_la1_1 |
private Token |
jj_lastpos |
private int[] |
jj_lasttokens |
private ASPParser.LookaheadSuccess |
jj_ls |
Token |
jj_nt
Next token.
|
private int |
jj_ntk |
private boolean |
jj_rescan |
private Token |
jj_scanpos |
protected JJTASPParserState |
jjtree |
private static ASPParser |
oneThreadParser |
Token |
token
Current token.
|
ASPParserTokenManager |
token_source
Generated Token Manager.
|
private static InstantiateVisitor |
visitor |
JJTAGGREGATE, JJTANSWERSET, JJTANSWERSETLIST, JJTARITHMETIC, JJTARITHMETICINTEGER, JJTARITHMETICOP, JJTATOM, JJTCOMPARATIVE, JJTCOMPAREOP, JJTDEFATOM, JJTELEMENTLST, JJTFUNCTIONALTERM, JJTHEAD, JJTIDENTIFIER, JJTIDLST, JJTLISTTAIL, JJTLISTTERM, jjtNodeName, JJTNUMBER, JJTPROGRAM, JJTRULE, JJTSETTERM, JJTSIMPLETERM, JJTSPECID, JJTSYMBOLICSET, JJTTERM, JJTTERMLST, JJTVOID
COMMA, COMMENT, CONSTANT, CPAR_CLOSE, CPAR_OPEN, DEFAULT, DEFNOT, DIGIT, DIV, DOT, EOF, EQUAL, EQUAL_OLD, GREATER, GREATEREQ, IMPL, LESS, LESSEQ, LETTER, MUL, NEG, NOTEQUAL, NUMBER, OR, PAR_CLOSE, PAR_OPEN, PIPE, PLUS, SPECIAL_PREFIX, tokenImage, VARIABLE, ZPAR_CLOSE, ZPAR_OPEN
Constructor and Description |
---|
ASPParser(ASPParserTokenManager tm)
Constructor with generated Token Manager.
|
ASPParser(java.io.InputStream stream)
Constructor with InputStream.
|
ASPParser(java.io.InputStream stream,
java.lang.String encoding)
Constructor with InputStream and supplied encoding
|
ASPParser(java.io.Reader stream)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
ASTAggregate |
Aggregate() |
ASTAnswerSet |
AnswerSet() |
ASTAnswerSetList |
AnswerSetList() |
ASTArithmetic |
Arithmetic() |
ASTArithmeticInteger |
ArithmeticInteger() |
java.lang.String |
ArithmeticOperator() |
ASTAtom |
Atom() |
ASTComparative |
Comparative() |
java.lang.String |
CompareOperator() |
ASTDefAtom |
DefAtom() |
void |
disable_tracing()
Disable tracing.
|
void |
Element() |
ASTElementLst |
ElementLst() |
void |
ElementNoAggregate() |
void |
enable_tracing()
Enable tracing.
|
ASTFunctionalTerm |
FunctionalTerm() |
ParseException |
generateParseException()
Generate ParseException.
|
Token |
getNextToken()
Get the next Token.
|
Token |
getToken(int index)
Get the specific Token.
|
ASTHead |
Head() |
void |
HeadOr() |
void |
Identifier() |
void |
IdentifierLst() |
private boolean |
jj_2_1(int xla) |
private boolean |
jj_2_2(int xla) |
private boolean |
jj_2_3(int xla) |
private boolean |
jj_2_4(int xla) |
private boolean |
jj_2_5(int xla) |
private boolean |
jj_2_6(int xla) |
private boolean |
jj_3_1() |
private boolean |
jj_3_2() |
private boolean |
jj_3_3() |
private boolean |
jj_3_4() |
private boolean |
jj_3_5() |
private boolean |
jj_3_6() |
private boolean |
jj_3R_11() |
private boolean |
jj_3R_12() |
private boolean |
jj_3R_13() |
private boolean |
jj_3R_14() |
private boolean |
jj_3R_15() |
private boolean |
jj_3R_16() |
private boolean |
jj_3R_17() |
private boolean |
jj_3R_18() |
private boolean |
jj_3R_19() |
private boolean |
jj_3R_20() |
private boolean |
jj_3R_21() |
private boolean |
jj_3R_22() |
private boolean |
jj_3R_23() |
private boolean |
jj_3R_24() |
private boolean |
jj_3R_25() |
private boolean |
jj_3R_26() |
private boolean |
jj_3R_27() |
private boolean |
jj_3R_28() |
private boolean |
jj_3R_29() |
private boolean |
jj_3R_30() |
private boolean |
jj_3R_31() |
private boolean |
jj_3R_32() |
private boolean |
jj_3R_33() |
private void |
jj_add_error_token(int kind,
int pos) |
private Token |
jj_consume_token(int kind) |
private static void |
jj_la1_init_0() |
private static void |
jj_la1_init_1() |
private int |
jj_ntk() |
private void |
jj_rescan_token() |
private void |
jj_save(int index,
int xla) |
private boolean |
jj_scan_token(int kind) |
ASTListTail |
ListTail() |
ASTListTerm |
ListTerm() |
void |
Number() |
static AnswerSet |
parseAnswerSet(java.io.Reader reader) |
static AnswerSet |
parseAnswerSet(java.lang.String answerSet) |
static AnswerSetList |
parseAnswerSetList(java.io.Reader reader) |
static AnswerSetList |
parseAnswerSetList(java.lang.String answerSetList) |
static Program |
parseProgram(java.io.Reader reader) |
static Program |
parseProgram(java.lang.String program) |
static Rule |
parseRule(java.io.Reader reader) |
static Rule |
parseRule(java.lang.String rule) |
ASTProgram |
Program() |
void |
ReInit(ASPParserTokenManager tm)
Reinitialise.
|
void |
ReInit(java.io.InputStream stream)
Reinitialise.
|
void |
ReInit(java.io.InputStream stream,
java.lang.String encoding)
Reinitialise.
|
void |
ReInit(java.io.Reader stream)
Reinitialise.
|
ASTRule |
Rule() |
ASTSetTerm |
SetTerm() |
ASTSimpleTerm |
SimpleTerm() |
void |
SpecId() |
ASTSymbolicSet |
SymbolicSet() |
ASTTerm |
Term() |
ASTTermLst |
TermLst() |
protected JJTASPParserState jjtree
private static ASPParser oneThreadParser
private static InstantiateVisitor visitor
public ASPParserTokenManager token_source
SimpleCharStream jj_input_stream
public Token token
public Token jj_nt
private int jj_ntk
private Token jj_scanpos
private Token jj_lastpos
private int jj_la
private int jj_gen
private final int[] jj_la1
private static int[] jj_la1_0
private static int[] jj_la1_1
private final ASPParser.JJCalls[] jj_2_rtns
private boolean jj_rescan
private int jj_gc
private final ASPParser.LookaheadSuccess jj_ls
private java.util.List<int[]> jj_expentries
private int[] jj_expentry
private int jj_kind
private int[] jj_lasttokens
private int jj_endpos
public ASPParser(java.io.InputStream stream)
public ASPParser(java.io.InputStream stream, java.lang.String encoding)
public ASPParser(java.io.Reader stream)
public ASPParser(ASPParserTokenManager tm)
public static Program parseProgram(java.lang.String program) throws ParseException
ParseException
public static Program parseProgram(java.io.Reader reader) throws ParseException
ParseException
public static Rule parseRule(java.lang.String rule) throws ParseException
ParseException
public static Rule parseRule(java.io.Reader reader) throws ParseException
ParseException
public static AnswerSetList parseAnswerSetList(java.lang.String answerSetList) throws ParseException
ParseException
public static AnswerSetList parseAnswerSetList(java.io.Reader reader) throws ParseException
ParseException
public static AnswerSet parseAnswerSet(java.lang.String answerSet) throws ParseException
ParseException
public static AnswerSet parseAnswerSet(java.io.Reader reader) throws ParseException
ParseException
public final ASTAnswerSetList AnswerSetList() throws ParseException
ParseException
public final ASTAnswerSet AnswerSet() throws ParseException
ParseException
public final ASTProgram Program() throws ParseException
ParseException
public final ASTRule Rule() throws ParseException
ParseException
public final ASTHead Head() throws ParseException
ParseException
public final ASTElementLst ElementLst() throws ParseException
ParseException
public final ASTAggregate Aggregate() throws ParseException
ParseException
public final ASTSymbolicSet SymbolicSet() throws ParseException
ParseException
public final void ElementNoAggregate() throws ParseException
ParseException
public final void Element() throws ParseException
ParseException
public final ASTArithmetic Arithmetic() throws ParseException
ParseException
public final ASTComparative Comparative() throws ParseException
ParseException
public final ASTDefAtom DefAtom() throws ParseException
ParseException
public final ASTAtom Atom() throws ParseException
ParseException
public final ASTFunctionalTerm FunctionalTerm() throws ParseException
ParseException
public final ASTSetTerm SetTerm() throws ParseException
ParseException
public final ASTListTail ListTail() throws ParseException
ParseException
public final ASTListTerm ListTerm() throws ParseException
ParseException
public final ASTTermLst TermLst() throws ParseException
ParseException
public final ASTTerm Term() throws ParseException
ParseException
public final ASTSimpleTerm SimpleTerm() throws ParseException
ParseException
public final ASTArithmeticInteger ArithmeticInteger() throws ParseException
ParseException
public final void Number() throws ParseException
ParseException
public final void HeadOr() throws ParseException
ParseException
public final void IdentifierLst() throws ParseException
ParseException
public final void SpecId() throws ParseException
ParseException
public final void Identifier() throws ParseException
ParseException
public final java.lang.String CompareOperator() throws ParseException
ParseException
public final java.lang.String ArithmeticOperator() throws ParseException
ParseException
private boolean jj_2_1(int xla)
private boolean jj_2_2(int xla)
private boolean jj_2_3(int xla)
private boolean jj_2_4(int xla)
private boolean jj_2_5(int xla)
private boolean jj_2_6(int xla)
private boolean jj_3_4()
private boolean jj_3R_32()
private boolean jj_3_3()
private boolean jj_3R_28()
private boolean jj_3_2()
private boolean jj_3_1()
private boolean jj_3R_22()
private boolean jj_3R_27()
private boolean jj_3R_29()
private boolean jj_3R_33()
private boolean jj_3R_21()
private boolean jj_3R_14()
private boolean jj_3R_31()
private boolean jj_3R_20()
private boolean jj_3R_23()
private boolean jj_3R_13()
private boolean jj_3R_30()
private boolean jj_3R_25()
private boolean jj_3R_19()
private boolean jj_3R_18()
private boolean jj_3_6()
private boolean jj_3R_12()
private boolean jj_3R_17()
private boolean jj_3R_16()
private boolean jj_3R_24()
private boolean jj_3R_15()
private boolean jj_3R_11()
private boolean jj_3_5()
private boolean jj_3R_26()
private static void jj_la1_init_0()
private static void jj_la1_init_1()
public void ReInit(java.io.InputStream stream)
public void ReInit(java.io.InputStream stream, java.lang.String encoding)
public void ReInit(java.io.Reader stream)
public void ReInit(ASPParserTokenManager tm)
private Token jj_consume_token(int kind) throws ParseException
ParseException
private boolean jj_scan_token(int kind)
public final Token getNextToken()
public final Token getToken(int index)
private int jj_ntk()
private void jj_add_error_token(int kind, int pos)
public ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()
private void jj_rescan_token()
private void jj_save(int index, int xla)