Package net.sf.tweety.action.description.parser

Class CParser

java.lang.Object

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

net.sf.tweety.action.description.parser.CParser

public class CParser
extends net.sf.tweety.commons.Parser<CActionDescription,net.sf.tweety.commons.Formula>

This class implements a parser for an Action Description in C. The BNF is given by: (starting symbol is DESC)

DESC ::== ":- signature" "\n" SIGNATURE "\n" ":- laws" "\n" LAWS
where SIGNATURE is parsed by CSignatureParser and LAWS is parsed by CLawParser.

Author:

Sebastian Homann

Field Summary

Fields

Modifier and Type	Field	Description
protected ActionSignature	signature

Constructor Summary

Constructors

Constructor	Description
CParser()

Method Summary

Modifier and Type	Method	Description
ActionSignature	getSignature()
CActionDescription	parseBeliefBase(Reader reader)
net.sf.tweety.commons.Formula	parseFormula(Reader reader)
net.sf.tweety.commons.Formula	parseFormula(String formula)
void	setSignature(ActionSignature signature)

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

isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormulaFromFile

Methods inherited from class java.lang.Object

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

Field Detail

signature

protected ActionSignature signature

Constructor Detail

CParser

public CParser()

Method Detail

parseBeliefBase

public CActionDescription parseBeliefBase(Reader reader)
                                   throws IOException,
                                          net.sf.tweety.commons.ParserException

Specified by:

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

Throws:

IOException

net.sf.tweety.commons.ParserException

parseFormula

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

Specified by:

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

Throws:

IOException

net.sf.tweety.commons.ParserException

parseFormula

public net.sf.tweety.commons.Formula parseFormula(String formula)
                                           throws net.sf.tweety.commons.ParserException,
                                                  IOException

Overrides:

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

Throws:

net.sf.tweety.commons.ParserException

IOException

setSignature

public void setSignature(ActionSignature signature)

getSignature

public ActionSignature getSignature()