jtabwb.launcher

Interface _ProblemReader

All Known Implementing Classes:

ILTPProblemReader, JTabWbSimpleProblemReader, PlainProblemReader

public interface _ProblemReader

An object providing a parser for a problem description. A problem description generally contains information as the problem name, the problem assumptions, the problem formula (the formula to prove), the problem status (provable, unprovable or unknown).

Author:

Mauro Ferrari

Method Summary

Modifier and Type	Method and Description
java.lang.String	getDescription() Returns a string describing this problem reader.
java.lang.String	getName() Returns the name of this problem reader.
ProblemDescription	read(java.io.Reader input) Reads the problem description from the specified Reader and returns the corresponding ProblemDescription.

Method Detail

read

ProblemDescription read(java.io.Reader input)
                 throws ProblemDescriptionException,
                        java.io.IOException

Reads the problem description from the specified Reader and returns the corresponding ProblemDescription.

Parameters:

input - the input reader.

Returns:

the problem description.

Throws:

ProblemDescriptionException - if the file does not have the required format.

java.io.IOException - if an input/output error occurs.

getDescription

java.lang.String getDescription()

Returns a string describing this problem reader.

Returns:

the description of this reader.

getName

java.lang.String getName()

Returns the name of this problem reader.

Returns:

the description of this reader.