|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.udo.cs.ie.cowbots.elp.testparser.ELPParser
public class ELPParser
modified delp parser for extended logic programs
Field Summary | |
---|---|
private java.util.List<int[]> |
jj_expentries
|
private int[] |
jj_expentry
|
private int |
jj_gen
|
(package private) SimpleCharStream |
jj_input_stream
|
private int |
jj_kind
|
private int[] |
jj_la1
|
private static int[] |
jj_la1_0
|
Token |
jj_nt
Next token. |
private int |
jj_ntk
|
Token |
token
Current token. |
ELPParserTokenManager |
token_source
Generated Token Manager. |
Fields inherited from interface edu.udo.cs.ie.cowbots.elp.testparser.ELPParserConstants |
---|
AGGREG, ARITH, COLON, COMP, DEFAULT, EOF, INT, LBRA, MAXINT, NAME, NOT, RAUTE, RBRA, tokenImage |
Constructor Summary | |
---|---|
ELPParser(ELPParserTokenManager tm)
Constructor with generated Token Manager. |
|
ELPParser(java.io.InputStream stream)
Constructor with InputStream. |
|
ELPParser(java.io.InputStream stream,
java.lang.String encoding)
Constructor with InputStream and supplied encoding |
|
ELPParser(java.io.Reader stream)
Constructor. |
Method Summary | |
---|---|
ELPAtom |
Atom(ELP delp)
|
void |
disable_tracing()
Disable tracing. |
void |
enable_tracing()
Enable tracing. |
void |
Expression(ELP delp)
|
ParseException |
generateParseException()
Generate ParseException. |
Token |
getNextToken()
Get the next Token. |
Token |
getToken(int index)
Get the specific Token. |
private Token |
jj_consume_token(int kind)
|
private static void |
jj_la1_init_0()
|
private int |
jj_ntk()
|
ELPLiteral |
Literal(ELP delp)
|
static void |
main(java.lang.String[] args)
|
static ELP |
parse(java.lang.String filename)
some modifications of the dlp parser to parse extended logic programs with arithmetical expressions. |
void |
ReInit(ELPParserTokenManager 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. |
SymbolicSet |
SymSet(ELP elp)
|
java.lang.String |
Term(ELP delp)
|
ELP |
Theory()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public ELPParserTokenManager token_source
SimpleCharStream jj_input_stream
public Token token
public Token jj_nt
private int jj_ntk
private int jj_gen
private final int[] jj_la1
private static int[] jj_la1_0
private java.util.List<int[]> jj_expentries
private int[] jj_expentry
private int jj_kind
Constructor Detail |
---|
public ELPParser(java.io.InputStream stream)
public ELPParser(java.io.InputStream stream, java.lang.String encoding)
public ELPParser(java.io.Reader stream)
public ELPParser(ELPParserTokenManager tm)
Method Detail |
---|
public static ELP parse(java.lang.String filename) throws ParseException, java.io.FileNotFoundException
ParseException
java.io.FileNotFoundException
public static void main(java.lang.String[] args)
public final ELP Theory() throws ParseException
ParseException
public final void Expression(ELP delp) throws ParseException
ParseException
public final ELPLiteral Literal(ELP delp) throws ParseException
ParseException
public final ELPAtom Atom(ELP delp) throws ParseException
ParseException
public final SymbolicSet SymSet(ELP elp) throws ParseException
ParseException
public final java.lang.String Term(ELP delp) throws ParseException
ParseException
private static void jj_la1_init_0()
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(ELPParserTokenManager tm)
private Token jj_consume_token(int kind) throws ParseException
ParseException
public final Token getNextToken()
public final Token getToken(int index)
private int jj_ntk()
public ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |