public enum SpecialSymbolicValue extends Enum<SpecialSymbolicValue> implements SymbolicValue
| Modifier and Type | Method and Description |
|---|---|
List<ProgramState> |
constrain(ProgramState state,
Constraint constraint) |
Constraint |
constraint(ProgramState state) |
static SpecialSymbolicValue |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static SpecialSymbolicValue[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final SpecialSymbolicValue NULL
public static final SpecialSymbolicValue UNDEFINED
public static SpecialSymbolicValue[] values()
for (SpecialSymbolicValue c : SpecialSymbolicValue.values()) System.out.println(c);
public static SpecialSymbolicValue valueOf(String name)
name - the name of the enum constant to be returned.IllegalArgumentException - if this enum type has no constant with the specified nameNullPointerException - if the argument is nullpublic List<ProgramState> constrain(ProgramState state, Constraint constraint)
constrain in interface SymbolicValuepublic Constraint constraint(ProgramState state)
constraint in interface SymbolicValueCopyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.