Package net.sf.tweety.arg.delp.parser

Class DelpParser

java.lang.Object

net.sf.tweety.commons.Parser<DefeasibleLogicProgram,net.sf.tweety.commons.Formula>

net.sf.tweety.arg.delp.parser.DelpParser

All Implemented Interfaces:

DelpParserConstants

public class DelpParser
extends net.sf.tweety.commons.Parser<DefeasibleLogicProgram,net.sf.tweety.commons.Formula>
implements DelpParserConstants

This class implements a parser for defeasible logic programs. The BNF for defeasible logic program files is given by (start symbol is THEORY)

 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.
 

Field Summary

Fields

Modifier and Type	Field	Description
Token	jj_nt
Token	token
DelpParserTokenManager	token_source

Fields inherited from interface net.sf.tweety.arg.delp.parser.DelpParserConstants

DEFAULT, EOF, NAME, QUOTED, tokenImage

Constructor Summary

Constructors

Constructor	Description
DelpParser()
DelpParser(InputStream stream)
DelpParser(InputStream stream, String encoding)
DelpParser(Reader stream)
DelpParser(DelpParserTokenManager tm)

Method Summary

Modifier and Type	Method	Description
net.sf.tweety.logics.fol.syntax.FolAtom	Atom(DefeasibleLogicProgram delp, net.sf.tweety.logics.fol.syntax.FolSignature signature)
void	disable_tracing()
void	enable_tracing()
void	Expression(DefeasibleLogicProgram delp, net.sf.tweety.logics.fol.syntax.FolSignature signature)
net.sf.tweety.logics.fol.syntax.FolFormula	Formula(net.sf.tweety.logics.fol.syntax.FolSignature signature)
ParseException	generateParseException()
Token	getNextToken()
net.sf.tweety.logics.fol.syntax.FolSignature	getSignature()
Token	getToken(int index)
net.sf.tweety.logics.fol.syntax.FolFormula	Literal(DefeasibleLogicProgram delp, net.sf.tweety.logics.fol.syntax.FolSignature signature)
DefeasibleLogicProgram	parseBeliefBase(Reader reader)
net.sf.tweety.commons.Formula	parseFormula(Reader reader)
void	ReInit(InputStream stream)
void	ReInit(InputStream stream, String encoding)
void	ReInit(Reader stream)
void	ReInit(DelpParserTokenManager tm)
net.sf.tweety.logics.commons.syntax.interfaces.Term	Term(DefeasibleLogicProgram delp, net.sf.tweety.logics.fol.syntax.FolSignature signature)
DefeasibleLogicProgram	Theory(net.sf.tweety.logics.fol.syntax.FolSignature signature)

Methods inherited from class net.sf.tweety.commons.Parser

isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

token_source

public DelpParserTokenManager token_source

token

public Token token

jj_nt

public Token jj_nt

Constructor Detail

DelpParser

public DelpParser()

DelpParser

public DelpParser(InputStream stream)

DelpParser

public DelpParser(InputStream stream,
                  String encoding)

DelpParser

public DelpParser(Reader stream)

DelpParser

public DelpParser(DelpParserTokenManager tm)

Method Detail

parseBeliefBase

public DefeasibleLogicProgram parseBeliefBase(Reader reader)
                                       throws net.sf.tweety.commons.ParserException

Specified by:

parseBeliefBase in class net.sf.tweety.commons.Parser<DefeasibleLogicProgram,net.sf.tweety.commons.Formula>

Throws:

net.sf.tweety.commons.ParserException

parseFormula

public net.sf.tweety.commons.Formula parseFormula(Reader reader)
                                           throws net.sf.tweety.commons.ParserException

Specified by:

parseFormula in class net.sf.tweety.commons.Parser<DefeasibleLogicProgram,net.sf.tweety.commons.Formula>

Throws:

net.sf.tweety.commons.ParserException

getSignature

public net.sf.tweety.logics.fol.syntax.FolSignature getSignature()

Theory

public final DefeasibleLogicProgram Theory(net.sf.tweety.logics.fol.syntax.FolSignature signature)
                                    throws ParseException

Throws:

ParseException

Expression

public final void Expression(DefeasibleLogicProgram delp,
                             net.sf.tweety.logics.fol.syntax.FolSignature signature)
                      throws ParseException

Throws:

ParseException

Formula

public final net.sf.tweety.logics.fol.syntax.FolFormula Formula(net.sf.tweety.logics.fol.syntax.FolSignature signature)
                                                         throws ParseException

Throws:

ParseException

Literal

public final net.sf.tweety.logics.fol.syntax.FolFormula Literal(DefeasibleLogicProgram delp,
                                                                net.sf.tweety.logics.fol.syntax.FolSignature signature)
                                                         throws ParseException

Throws:

ParseException

Atom

public final net.sf.tweety.logics.fol.syntax.FolAtom Atom(DefeasibleLogicProgram delp,
                                                          net.sf.tweety.logics.fol.syntax.FolSignature signature)
                                                   throws ParseException

Throws:

ParseException

Term

public final net.sf.tweety.logics.commons.syntax.interfaces.Term Term(DefeasibleLogicProgram delp,
                                                                      net.sf.tweety.logics.fol.syntax.FolSignature signature)
                                                               throws ParseException

Throws:

ParseException

ReInit

public void ReInit(InputStream stream)

ReInit

public void ReInit(InputStream stream,
                   String encoding)

ReInit

public void ReInit(Reader stream)

ReInit

public void ReInit(DelpParserTokenManager tm)

getNextToken

public final Token getNextToken()

getToken

public final Token getToken(int index)

generateParseException

public ParseException generateParseException()

enable_tracing

public final void enable_tracing()

disable_tracing

public final void disable_tracing()