Package org.tweetyproject.action.description.parser

Class CParser

java.lang.Object

org.tweetyproject.commons.Parser<CActionDescription,Formula>

org.tweetyproject.action.description.parser.CParser

public class CParser
extends Parser<CActionDescription,Formula>

This class implements a parser for an Action Description in the Action Description Language C from [Gelfond, Michael and Lifschitz, Vladimir: Action Languages. ETAI: Electronic Transactions on AI, 1998.] 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

Constructor Summary

Constructors

Constructor	Description
CParser()

Method Summary

Modifier and Type	Method	Description
ActionSignature	getSignature()	Returns the signature of the action.
CActionDescription	parseBeliefBase(Reader reader)	Parses a belief base from the provided reader.
Formula	parseFormula(Reader reader)	Parses a formula from the given reader.
Formula	parseFormula(String formula)	Parses the given formula string and returns the corresponding Formula object.
void	setSignature(ActionSignature signature)	Sets the action signature for this parser.

Methods inherited from class org.tweetyproject.commons.Parser

isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormulaFromFile, parseListOfBeliefBases, parseListOfBeliefBases, parseListOfBeliefBasesFromFile, parseListOfBeliefBasesFromFile

Methods inherited from class java.lang.Object

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

Constructor Details

CParser

public CParser()

Method Details

parseBeliefBase

public CActionDescription parseBeliefBase(Reader reader)
                                   throws IOException,
ParserException

Parses a belief base from the provided reader. The method reads from the reader and separates formulas by "\n". It follows a state-based approach where: - State 0 is for initialization - State 1 is for reading the signature - State 2 is for reading the lawbase

Specified by:

parseBeliefBase in class Parser<CActionDescription,Formula>

Parameters:

reader - the Reader object from which the belief base is read

Returns:

a CActionDescription object representing the parsed belief base

Throws:

IOException - if an I/O error occurs

ParserException - if a parsing error occurs

parseFormula

public Formula parseFormula(Reader reader)
                     throws IOException,
ParserException

Parses a formula from the given reader.

Specified by:

parseFormula in class Parser<CActionDescription,Formula>

Parameters:

reader - the reader to read the formula from

Returns:

the parsed formula

Throws:

IOException - if an I/O error occurs while reading from the reader

ParserException - if the formula cannot be parsed

parseFormula

public Formula parseFormula(String formula)
                     throws ParserException,
IOException

Parses the given formula string and returns the corresponding Formula object.

Overrides:

parseFormula in class Parser<CActionDescription,Formula>

Parameters:

formula - the formula string to be parsed

Returns:

the parsed Formula object

Throws:

ParserException - if there is an error during parsing

IOException - if there is an error reading the formula string

setSignature

public void setSignature(ActionSignature signature)

Sets the action signature for this parser.

Parameters:

signature - the action signature to be set

getSignature

public ActionSignature getSignature()

Returns the signature of the action.

Returns:

the signature of the action