net.sf.tweety.action.signature.parser

Class ActionSignatureParser

java.lang.Object

net.sf.tweety.action.signature.parser.ActionSignatureParser

public class ActionSignatureParser
extends Object

This class implements a parser for signatures of action descriptions. The BNF for such signatures is given by: (starting symbol is SIG)

SIG ::== (SORTSDEC | DECLAR)*
SORTSDEC ::== ( SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}" "\n" )*
DECLAR ::== (ACTIONDEC | FLUENTDEC)*
ACTIONDEC ::== "action" "(" ACTIONNAME ("(" SORTNAME ("," SORTNAME)* ")")? ")" "\n"
FLUENTDEC ::== "fluent" "(" FLUENTNAME ("(" SORTNAME ("," SORTNAME)* ")")? ")" "\n"

where SORTNAME, ACTIONNAME, FLUENTNAME, CONSTANTNAME are sequences of
symbols from {a,...,z,A,...,Z,0,...,9} with a letter at the beginning.

Author:

Sebastian Homann

Constructor Summary

Constructors

Constructor and Description
ActionSignatureParser()

Method Summary

Modifier and Type	Method and Description
ActionSignature	parseSignature(Reader reader) Parses the given reader into a signature of the given type.
ActionSignature	parseSignature(String text) Parses the given text into a signature of the given type.
ActionSignature	parseSignatureFromFile(String filename) Parses the file of the given filename into a signature.
protected void	parseSortDeclaration(String s) Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}"" and adds it to the signature.
protected void	parseTypeDeclaration(String s) Parses an action declaration of the form "action" "(" ACTIONNAME ("(" SORTNAME ("," SORTNAME)* ")")? ")" or a fluent declaration of the form "fluent" "(" FLUENTNAME ("(" SORTNAME ("," SORTNAME)* ")")? ")" and adds them to the signature.

Methods inherited from class java.lang.Object

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

Constructor Detail

ActionSignatureParser

public ActionSignatureParser()

Method Detail

parseSignatureFromFile

public ActionSignature parseSignatureFromFile(String filename)
                                       throws FileNotFoundException,
                                              IOException,
                                              net.sf.tweety.commons.ParserException

Parses the file of the given filename into a signature.

Parameters:

filename - the name of a file

Returns:

a formula

Throws:

FileNotFoundException - if the file is not found

Exception - some parsing exceptions may be added here.

IOException

net.sf.tweety.commons.ParserException

parseSignature

public ActionSignature parseSignature(String text)
                               throws IOException,
                                      net.sf.tweety.commons.ParserException

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

Parameters:

text - a string

Returns:

a formula

Throws:

Exception - some parsing exceptions may be added here.

IOException

net.sf.tweety.commons.ParserException

parseSignature

public ActionSignature parseSignature(Reader reader)
                               throws IOException,
                                      net.sf.tweety.commons.ParserException

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

Parameters:

reader - a reader

Returns:

a formula

Throws:

Exception - some parsing exceptions may be added here.

IOException

net.sf.tweety.commons.ParserException

parseSortDeclaration

protected void parseSortDeclaration(String s)
                             throws net.sf.tweety.commons.ParserException

Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}"" and adds it to the signature.

Parameters:

s - a string

Throws:

net.sf.tweety.commons.ParserException

parseTypeDeclaration

protected void parseTypeDeclaration(String s)
                             throws net.sf.tweety.commons.ParserException

Parses an action declaration of the form "action" "(" ACTIONNAME ("(" SORTNAME ("," SORTNAME)* ")")? ")" or a fluent declaration of the form "fluent" "(" FLUENTNAME ("(" SORTNAME ("," SORTNAME)* ")")? ")" and adds them to the signature.

Parameters:

s - a string

Throws:

net.sf.tweety.commons.ParserException