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) |
String |
toString() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitinherentConstraintpublic TypeOfSymbolicValue(SymbolicValue operandValue)
public List<ProgramState> constrain(ProgramState state, Constraint constraint)
constrain in interface SymbolicValueCopyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.