public enum UnknownSymbolicValue extends Enum<UnknownSymbolicValue> implements SymbolicValue
| Enum Constant and Description |
|---|
UNKNOWN |
| Modifier and Type | Method and Description |
|---|---|
Constraint |
baseConstraint(ProgramState state) |
Optional<ProgramState> |
constrainDependencies(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.
|
public 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 Optional<ProgramState> constrainDependencies(ProgramState state, Constraint constraint)
constrainDependencies in interface SymbolicValuepublic Constraint baseConstraint(ProgramState state)
baseConstraint in interface SymbolicValueCopyright © 2011–2017 SonarSource and Eriks Nukis. All rights reserved.