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()
CActionDescription	parseBeliefBase(Reader reader)	Parses the given reader into a belief base of the given type.
Formula	parseFormula(Reader reader)	Parses the given reader into a formula of the given type.
Formula	parseFormula(String formula)	Parses the given text into a formula of the given type.
void	setSignature(ActionSignature signature)

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

Description copied from class: Parser

Parses the given reader into a belief base of the given type.

Specified by:

parseBeliefBase in class Parser<CActionDescription,Formula>

Parameters:

reader - a reader

Returns:

a belief base

Throws:

IOException - if some IO issue occurred.

ParserException - some parsing exceptions may be added here.

parseFormula

public Formula parseFormula(Reader reader)
                     throws IOException,
ParserException

Description copied from class: Parser

Parses the given reader into a formula of the given type.

Specified by:

parseFormula in class Parser<CActionDescription,Formula>

Parameters:

reader - a reader

Returns:

a formula

Throws:

IOException - if some IO issue occurred.

ParserException - some parsing exceptions may be added here.

parseFormula

public Formula parseFormula(String formula)
                     throws ParserException,
IOException

Description copied from class: Parser

Parses the given text into a formula of the given type.

Overrides:

parseFormula in class Parser<CActionDescription,Formula>

Parameters:

formula - a string

Returns:

a formula

Throws:

ParserException - some parsing exceptions may be added here.

IOException - if some IO issue occurred.

setSignature

public void setSignature(ActionSignature signature)

getSignature

public ActionSignature getSignature()