keel.Dataset

Class FormatErrorKeeper

java.lang.Object

keel.Dataset.FormatErrorKeeper

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.

Version:

keel0.1

Author:

Albert Orriols Puig

Constructor Summary

Constructors

Constructor and Description
FormatErrorKeeper() Creates a new instance of FormatErrorKeeper

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FormatErrorKeeper

public FormatErrorKeeper()

Creates a new instance of FormatErrorKeeper

Method Detail

setError

public void setError(ErrorInfo er)

Adds one error

Parameters:

er - is the Error to be added.

getError

public ErrorInfo getError(int i)

Return the information about one error.

Parameters:

i - is the error that is wanted to be returned.

Returns:

an ErrorInfo object with the error information.

getNumErrors

public int getNumErrors()

Returns the number of errors.

Returns:

an int with the number of errors.

getAllErrors

public java.util.Vector getAllErrors()

It does return all the errors

Returns:

all the errors

init

public void init()

Initializes the error vector