public class DelpParser extends Parser<DefeasibleLogicProgram> implements DelpParserConstants
THEORY ::== (EXPRESSION)+ EXPRESSION ::== FACT | STRICTRULE | DEFEASIBLERULE FACT ::== LITERAL + "." STRICTRULE ::== LITERAL + "<-" + RULEBODY + "." DEFEASIBLERULE ::== LITERAL + "-<" + RULEBODY + "." RULEBODY ::== LITERAL | LITERAL + "," + RULEBODY LITERAL ::== "~" + ATOM | ATOM ATOM ::== PREDICATE | PREDICATE + "(" + TERMLIST + ")" TERMLIST ::== TERM | TERM + "," + TERMLIST TERM ::== VARIABLE | CONSTANT | QUOTED_STRING PREDICATE is a sequence of symbols from {a,...,z,A,...,Z,0,...,9,_,-} with a letter at the beginning. VARIABLE is a sequence of symbols from {a,...,z,A,...,Z,0,...,9,_,-} with an uppercase letter at the beginning. CONSTANT is a sequence of symbols from {a,...,z,A,...,Z,0,...,9,_,-} with an lowercase letter at the beginning. QUOTED_STRING is all characters between double quotes.
Modifier and Type | Field and Description |
---|---|
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 |
private FolSignature |
signature |
Token |
token
Current token.
|
DelpParserTokenManager |
token_source
Generated Token Manager.
|
DEFAULT, EOF, NAME, QUOTED, tokenImage
Constructor and Description |
---|
DelpParser() |
DelpParser(DelpParserTokenManager tm)
Constructor with generated Token Manager.
|
DelpParser(java.io.InputStream stream)
Constructor with InputStream.
|
DelpParser(java.io.InputStream stream,
java.lang.String encoding)
Constructor with InputStream and supplied encoding
|
DelpParser(java.io.Reader stream)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
FOLAtom |
Atom(DefeasibleLogicProgram delp,
FolSignature signature) |
private Constant |
createConstant(java.lang.String image,
DefeasibleLogicProgram delp,
FolSignature signature) |
void |
disable_tracing()
Disable tracing.
|
void |
enable_tracing()
Enable tracing.
|
void |
Expression(DefeasibleLogicProgram delp,
FolSignature signature) |
FolFormula |
Formula(FolSignature signature) |
ParseException |
generateParseException()
Generate ParseException.
|
Token |
getNextToken()
Get the next Token.
|
FolSignature |
getSignature() |
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() |
FolFormula |
Literal(DefeasibleLogicProgram delp,
FolSignature signature) |
DefeasibleLogicProgram |
parseBeliefBase(java.io.Reader reader)
Parses the given reader into a belief base of the given type.
|
Formula |
parseFormula(java.io.Reader reader)
A formula here is a Literal, that is an Atom or a negated Atom.
|
void |
ReInit(DelpParserTokenManager 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.
|
Term |
Term(DefeasibleLogicProgram delp,
FolSignature signature) |
DefeasibleLogicProgram |
Theory(FolSignature signature) |
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile
private FolSignature signature
public DelpParserTokenManager 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
public DelpParser()
public DelpParser(java.io.InputStream stream)
public DelpParser(java.io.InputStream stream, java.lang.String encoding)
public DelpParser(java.io.Reader stream)
public DelpParser(DelpParserTokenManager tm)
public DefeasibleLogicProgram parseBeliefBase(java.io.Reader reader) throws ParserException
Parser
parseBeliefBase
in class Parser<DefeasibleLogicProgram>
reader
- a readerParserException
public Formula parseFormula(java.io.Reader reader) throws ParserException
parseFormula
in class Parser<DefeasibleLogicProgram>
reader
- the reader to parse fromParserException
- if the reader cannot be successfully parsed into a formulapublic FolSignature getSignature()
private Constant createConstant(java.lang.String image, DefeasibleLogicProgram delp, FolSignature signature) throws ParseException
ParseException
public final DefeasibleLogicProgram Theory(FolSignature signature) throws ParseException
ParseException
public final void Expression(DefeasibleLogicProgram delp, FolSignature signature) throws ParseException
ParseException
public final FolFormula Formula(FolSignature signature) throws ParseException
ParseException
public final FolFormula Literal(DefeasibleLogicProgram delp, FolSignature signature) throws ParseException
ParseException
public final FOLAtom Atom(DefeasibleLogicProgram delp, FolSignature signature) throws ParseException
ParseException
public final Term Term(DefeasibleLogicProgram delp, FolSignature signature) 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(DelpParserTokenManager 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()