public class TypeOfSymbolicValue extends Object implements SymbolicValue
typeof foo.bar()
typeof x
| Constructor and Description |
|---|
TypeOfSymbolicValue(SymbolicValue operandValue) |
| Modifier and Type | Method and Description |
|---|---|
Constraint |
baseConstraint(ProgramState state) |
Optional<ProgramState> |
constrainDependencies(ProgramState state,
Constraint constraint) |
SymbolicValue |
operandValue() |
String |
toString() |
public TypeOfSymbolicValue(SymbolicValue operandValue)
public SymbolicValue operandValue()
public 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.