de.cau.cs.kieler.sim.kiem.automated.data
Class ModelResult
java.lang.Object
de.cau.cs.kieler.sim.kiem.automated.data.AbstractResult
de.cau.cs.kieler.sim.kiem.automated.data.ModelResult
public class ModelResult
- extends AbstractResult
The result for a single model file.
- Rating

- (2010-03-16)
Constructor Summary |
ModelResult(String modelFile)
Creates a new result for a model file. |
ModelResult
public ModelResult(String modelFile)
- Creates a new result for a model file.
- Parameters:
modelFile
- the model file
setStatus
public void setStatus(ResultStatus statusParam)
- Setter for the status.
- Parameters:
statusParam
- the status to set