net.sf.tweety.commons

Class Parser<T extends BeliefBase>

java.lang.Object

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

Direct Known Subclasses:

ABAParser, AbstractDungParser, ActionQueryParser, AspicParser, CLawParser, ClParser, CParser, DelpParser, DungParser, FolParser, PclParser, PlParser, RclParser, RdlParser, RpclParser

public abstract class Parser<T extends BeliefBase>
extends java.lang.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(java.lang.String str) Checks whether the given string is a number.
abstract T	parseBeliefBase(java.io.Reader reader) Parses the given reader into a belief base of the given type.
T	parseBeliefBase(java.lang.String text) Parses the given text into a belief base of the given type.
T	parseBeliefBaseFromFile(java.lang.String filename) Parses the file of the given filename into a belief base of the given type.
abstract Formula	parseFormula(java.io.Reader reader) Parses the given reader into a formula of the given type.
Formula	parseFormula(java.lang.String text) Parses the given text into a formula of the given type.
Formula	parseFormulaFromFile(java.lang.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(java.lang.String filename)
                          throws java.io.FileNotFoundException,
                                 java.io.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:

java.io.FileNotFoundException - if the file is not found

java.lang.Exception - some parsing exceptions may be added here.

java.io.IOException

ParserException

parseBeliefBase

public T parseBeliefBase(java.lang.String text)
                  throws java.io.IOException,
                         ParserException

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

Parameters:

text - a string

Returns:

a belief base.

Throws:

java.lang.Exception - some parsing exceptions may be added here.

java.io.IOException

ParserException

parseBeliefBase

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

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

Parameters:

reader - a reader

Returns:

a belief base

Throws:

java.lang.Exception - some parsing exceptions may be added here.

java.io.IOException

ParserException

parseFormulaFromFile

public Formula parseFormulaFromFile(java.lang.String filename)
                             throws java.io.FileNotFoundException,
                                    java.io.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:

java.io.FileNotFoundException - if the file is not found

java.lang.Exception - some parsing exceptions may be added here.

java.io.IOException

ParserException

parseFormula

public Formula parseFormula(java.lang.String text)
                     throws java.io.IOException,
                            ParserException

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

Parameters:

text - a string

Returns:

a formula

Throws:

java.lang.Exception - some parsing exceptions may be added here.

java.io.IOException

ParserException

parseFormula

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

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

Parameters:

reader - a reader

Returns:

a formula

Throws:

java.lang.Exception - some parsing exceptions may be added here.

java.io.IOException

ParserException

isNumeric

public static boolean isNumeric(java.lang.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