Package org.btrplace.safeplace.testing
Enum Result
- All Implemented Interfaces:
Serializable
,Comparable<Result>
,java.lang.constant.Constable
public enum Result extends Enum<Result>
The possible outcomes for a test.
- Author:
- Fabien Hermenier
-
Nested Class Summary
-
Enum Constant Summary
Enum Constants Enum Constant Description CRASH
The implementation crashedOVER_FILTERING
The implementation did not generate a plan despite it exists.SUCCESS
The implementation and the specification are consistent.UNDER_FILTERING
The implementation generates a plan that is not valid wrt. its spec. -
Method Summary
-
Enum Constant Details
-
UNDER_FILTERING
The implementation generates a plan that is not valid wrt. its spec. It let some inconsistencies pass. -
OVER_FILTERING
The implementation did not generate a plan despite it exists. It denied solutions. -
CRASH
The implementation crashed -
SUCCESS
The implementation and the specification are consistent.
-
-
Method Details
-
values
Returns an array containing the constants of this enum type, in the order they are declared.- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is null
-