public class FormatErrorKeeper
extends java.lang.Object
FormatErrorKeeper
This class is a warehouse of format dataset errors. All the errors are stored in this class, identifying each error by an identifier. At the end of a run, if there has been some error, an exception is throws, from which the FormatErrorKeeper can be recovered.Constructor and Description |
---|
FormatErrorKeeper()
Creates a new instance of FormatErrorKeeper
|
Modifier and Type | Method and Description |
---|---|
java.util.Vector |
getAllErrors()
It does return all the errors
|
ErrorInfo |
getError(int i)
Return the information about one error.
|
int |
getNumErrors()
Returns the number of errors.
|
void |
init()
Initializes the error vector
|
void |
setError(ErrorInfo er)
Adds one error
|
public FormatErrorKeeper()
public void setError(ErrorInfo er)
er
- is the Error to be added.public ErrorInfo getError(int i)
i
- is the error that is wanted to be returned.public int getNumErrors()
public java.util.Vector getAllErrors()
public void init()