|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectmauda.Failure
public class Failure
Storage-class for failures, with important internal attributes.
| Field Summary | |
|---|---|
static int |
ADDITIONAL_FALSE_SUBOP
All suboperation are correct for a specific operation, but there additional false suboperations, which are unnecessary for that operation. |
static int |
DIFFERENT
Correct and incorrect suboperations differ from each other |
static int |
MISSING_SUBOP
All suboperation are correct for a specific operation, but there are missing some suboperations. |
static int |
NO_DESCRIPTION
No failure description associated to this failure |
| Constructor Summary | |
|---|---|
Failure()
Creates a new Failure-Object |
|
| Method Summary | |
|---|---|
void |
addDifferentOperation(SimpleOperation so)
If the current failure is of type MISSING_SUBOP or ADDITION_FALSE this methods add one suboperation to the failure-suboperations. |
boolean |
containsOffset(int p)
Tests if a given offset lies inside this failure |
int |
getDescription()
Gets the description-ID |
java.lang.String |
getDescriptionString()
Gets a string-representation of the failure |
int |
getMaxOffset()
Gets the maximum offset |
int |
getOffset()
Gets the offset. |
int |
getOpNr()
Gets the Operation-Number |
int |
getSubOpNr()
Gets the SubOperation-Number |
void |
setCorrectOp(SimpleOperation so)
Sets the correct operation for the position where failure occured. |
void |
setCurrentOp(SimpleOperation so)
Sets the current operation, the user executed. |
void |
setDescription(int d)
Sets the description-ID of the Failure. |
void |
setMaxOffset(int p)
A failure have a specific range, and the maximal offset of the OperationRecorder that this failure belongs
to, is set here. |
void |
setOffset(int p)
Sets the offset inside the OperationRecorder
the failure belongs to. |
void |
setOpNr(int n)
Operations like e.g. |
void |
setSubOpNr(int n)
SubOperations like e.g. |
void |
setSuperOp(Operation op)
Sets the operation the failure coressponds to. |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final int NO_DESCRIPTION
public static final int DIFFERENT
public static final int MISSING_SUBOP
public static final int ADDITIONAL_FALSE_SUBOP
| Constructor Detail |
|---|
public Failure()
| Method Detail |
|---|
public void setSuperOp(Operation op)
op - Operationpublic void setCorrectOp(SimpleOperation so)
so - public void setCurrentOp(SimpleOperation so)
so - public void setOffset(int p)
OperationRecorder
the failure belongs to.
p - OperationRecorder-Offsetpublic int getOffset()
setOffset(int)public void setMaxOffset(int p)
OperationRecorder that this failure belongs
to, is set here.
p - OperationRecorder-Offsetpublic int getMaxOffset()
setMaxOffset(int)public void setOpNr(int n)
n - Operation-Numberpublic int getOpNr()
public void setSubOpNr(int n)
n - SubOperation-Numberpublic int getSubOpNr()
public void setDescription(int d)
d - Values: NO_DESCRIPTION, ADDITIONAL_FALSE, DIFFERENT, MISSING_SUBOPpublic int getDescription()
setDescription(int)public void addDifferentOperation(SimpleOperation so)
so - SimpleOperationpublic java.lang.String getDescriptionString()
public boolean containsOffset(int p)
p - The offset to test
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||