public interface ObjectSymbolicValue extends SymbolicValue
| Modifier and Type | Method and Description |
|---|---|
default Optional<ProgramState> |
constrainDependencies(ProgramState state,
Constraint constraint) |
SymbolicValue |
getPropertyValue(String name) |
baseConstraintdefault Optional<ProgramState> constrainDependencies(ProgramState state, Constraint constraint)
constrainDependencies in interface SymbolicValueSymbolicValue getPropertyValue(String name)
Copyright © 2011–2017 SonarSource and Eriks Nukis. All rights reserved.