Package org.tweetyproject.action.signature.parser

Class ActionSignatureParser

java.lang.Object

org.tweetyproject.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	Description
ActionSignatureParser()

Method Summary

Modifier and Type	Method	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.

Methods inherited from class java.lang.Object

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

Constructor Details

ActionSignatureParser

public ActionSignatureParser()

Method Details

parseSignatureFromFile

public ActionSignature parseSignatureFromFile(String filename)
                                       throws FileNotFoundException,
IOException,
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

IOException - if IO fails

ParserException - some parsing exceptions may be added here.

parseSignature

public ActionSignature parseSignature(String text)
                               throws IOException,
ParserException

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

Parameters:

text - a string

Returns:

a formula

Throws:

IOException - if IO fails

ParserException - some parsing exceptions may be added here.

parseSignature

public ActionSignature parseSignature(Reader reader)
                               throws IOException,
ParserException

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

Parameters:

reader - a reader

Returns:

a formula

Throws:

IOException - if IO fails

ParserException - some parsing exceptions may be added here.