net.sf.tweety.commons

Class Parser<T extends BeliefBase>

java.lang.Object

net.sf.tweety.commons.Parser<T>

public abstract class Parser<T extends BeliefBase>
extends Object

This class models an abstract parser for belief bases and formulas.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
Parser()

Method Summary

Modifier and Type	Method and Description
static boolean	isNumeric(String str) Checks whether the given string is a number.
abstract T	parseBeliefBase(Reader reader) Parses the given reader into a belief base of the given type.
T	parseBeliefBase(String text) Parses the given text into a belief base of the given type.
T	parseBeliefBaseFromFile(String filename) Parses the file of the given filename into a belief base of the given type.
abstract Formula	parseFormula(Reader reader) Parses the given reader into a formula of the given type.
Formula	parseFormula(String text) Parses the given text into a formula of the given type.
Formula	parseFormulaFromFile(String filename) Parses the file of the given filename into a formula of the given type.

Methods inherited from class java.lang.Object

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

Constructor Detail

Parser

public Parser()

Method Detail

parseBeliefBaseFromFile

public T parseBeliefBaseFromFile(String filename)
                          throws FileNotFoundException,
                                 IOException,
                                 ParserException

Parses the file of the given filename into a belief base of the given type.

Parameters:

filename - the name of a file

Returns:

a belief base

Throws:

FileNotFoundException - if the file is not found

Exception - some parsing exceptions may be added here.

IOException

ParserException

parseBeliefBase

public T parseBeliefBase(String text)
                  throws IOException,
                         ParserException

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

Parameters:

text - a string

Returns:

a belief base.

Throws:

Exception - some parsing exceptions may be added here.

IOException

ParserException

parseBeliefBase

public abstract T parseBeliefBase(Reader reader)
                           throws IOException,
                                  ParserException

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

Parameters:

reader - a reader

Returns:

a belief base

Throws:

Exception - some parsing exceptions may be added here.

IOException

ParserException

parseFormulaFromFile

public Formula parseFormulaFromFile(String filename)
                             throws FileNotFoundException,
                                    IOException,
                                    ParserException

Parses the file of the given filename into a formula of the given type.

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

ParserException

parseFormula

public Formula parseFormula(String text)
                     throws IOException,
                            ParserException

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

Parameters:

text - a string

Returns:

a formula

Throws:

Exception - some parsing exceptions may be added here.

IOException

ParserException

parseFormula

public abstract Formula parseFormula(Reader reader)
                              throws IOException,
                                     ParserException

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

Parameters:

reader - a reader

Returns:

a formula

Throws:

Exception - some parsing exceptions may be added here.

IOException

ParserException

isNumeric

public static boolean isNumeric(String str)

Checks whether the given string is a number.

Parameters:

str - some string

Returns:

"true" if the given string can be parsed as a number