public interface FunctionSymbolicValue extends ObjectSymbolicValue
| Modifier and Type | Method and Description |
|---|---|
default Constraint |
baseConstraint(ProgramState state) |
default SymbolicValue |
call(List<SymbolicValue> argumentValues) |
default SymbolicValue |
getPropertyValue(String name) |
default SymbolicValue |
instantiate() |
constrainDependenciesdefault Constraint baseConstraint(ProgramState state)
baseConstraint in interface SymbolicValuedefault SymbolicValue getPropertyValue(String name)
getPropertyValue in interface ObjectSymbolicValuedefault SymbolicValue instantiate()
default SymbolicValue call(List<SymbolicValue> argumentValues)
Copyright © 2011–2017 SonarSource and Eriks Nukis. All rights reserved.