public class TypeOfComparisonSymbolicValue extends Object implements SymbolicValue
typeof foo.bar() != "string"
typeof x == "object"
| Modifier and Type | Method and Description |
|---|---|
List<ProgramState> |
constrain(ProgramState state,
Constraint constraint) |
static TypeOfComparisonSymbolicValue |
create(SymbolicValue operand1,
SymbolicValue operand2) |
String |
toString() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitconstraint@CheckForNull public static TypeOfComparisonSymbolicValue create(SymbolicValue operand1, SymbolicValue operand2)
public List<ProgramState> constrain(ProgramState state, Constraint constraint)
constrain in interface SymbolicValueCopyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.