public enum UnknownSymbolicValue extends Enum<UnknownSymbolicValue> implements SymbolicValue
| Enum Constant and Description |
|---|
UNKNOWN |
| Modifier and Type | Method and Description |
|---|---|
List<ProgramState> |
constrain(ProgramState state,
Constraint constraint) |
static UnknownSymbolicValue |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static UnknownSymbolicValue[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOfconstraintpublic static final UnknownSymbolicValue UNKNOWN
public static UnknownSymbolicValue[] values()
for (UnknownSymbolicValue c : UnknownSymbolicValue.values()) System.out.println(c);
public static UnknownSymbolicValue 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 SymbolicValueCopyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.