public class TypeOfSymbolicValue extends Object implements SymbolicValue
typeof foo.bar()
typeof x
| Constructor and Description |
|---|
TypeOfSymbolicValue(SymbolicValue operandValue) |
| Modifier and Type | Method and Description |
|---|---|
List<ProgramState> |
constrain(ProgramState state,
Constraint constraint) |
Constraint |
constraint(ProgramState state) |
SymbolicValue |
operandValue() |
String |
toString() |
public TypeOfSymbolicValue(SymbolicValue operandValue)
public SymbolicValue operandValue()
public List<ProgramState> constrain(ProgramState state, Constraint constraint)
constrain in interface SymbolicValuepublic Constraint constraint(ProgramState state)
constraint in interface SymbolicValueCopyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.