public interface _ProblemReader
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 . |
ProblemDescription read(java.io.Reader input) throws ProblemDescriptionException, java.io.IOException
Reader
and returns
the corresponding ProblemDescription
.input
- the input reader.ProblemDescriptionException
- if the file does not have the required
format.java.io.IOException
- if an input/output error occurs.java.lang.String getDescription()
java.lang.String getName()