Package daikon.inv
Enum InvariantStatus
- Object
-
- Enum<InvariantStatus>
-
- InvariantStatus
-
- All Implemented Interfaces:
Serializable
,Comparable<InvariantStatus>
public enum InvariantStatus extends Enum<InvariantStatus>
This class is an enumerated type representing the possible results of adding a sample to an invariant.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description String
toString()
static InvariantStatus
valueOf(String name)
Returns the enum constant of this type with the specified name.static InvariantStatus[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
NO_CHANGE
public static final InvariantStatus NO_CHANGE
No change was made to the invariant's validity.
-
FALSIFIED
public static final InvariantStatus FALSIFIED
The invariant was falsified.
-
WEAKENED
public static final InvariantStatus WEAKENED
The invariant's condition being weakened. For example OneOf{1,3} became OneOf{1,3,10}.
-
-
Method Detail
-
values
public static InvariantStatus[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (InvariantStatus c : InvariantStatus.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static InvariantStatus valueOf(String name)
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
-
toString
@SideEffectFree public String toString(@GuardSatisfied InvariantStatus this)
- Overrides:
toString
in classEnum<InvariantStatus>
-
-