public interface FunctionSymbolicValue extends ObjectSymbolicValue
| Modifier and Type | Method and Description |
|---|---|
default Constraint |
baseConstraint(ProgramState state) |
default SymbolicValue |
call() |
default Optional<ProgramState> |
constrainDependencies(ProgramState state,
Constraint constraint) |
default Optional<SymbolicValue> |
getValueForOwnProperty(String name) |
default SymbolicValue |
instantiate() |
default Optional<ProgramState> constrainDependencies(ProgramState state, Constraint constraint)
constrainDependencies in interface SymbolicValuedefault Constraint baseConstraint(ProgramState state)
baseConstraint in interface SymbolicValuedefault Optional<SymbolicValue> getValueForOwnProperty(String name)
getValueForOwnProperty in interface ObjectSymbolicValuedefault SymbolicValue instantiate()
default SymbolicValue call()
Copyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.