public class PlusProgramPoint extends BinaryProgramPoint
| Constructor and Description |
|---|
PlusProgramPoint() |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
originatesFrom(Tree element) |
protected SymbolicValue |
resolveValue(Constraint firstOperandConstraint,
Constraint secondOperandConstraint,
SymbolicValue firstOperandValue,
SymbolicValue secondOperandValue) |
execute, firstOperandConstraint, resultingConstraint, secondOperandConstraintclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitcreateprotected SymbolicValue resolveValue(Constraint firstOperandConstraint, Constraint secondOperandConstraint, SymbolicValue firstOperandValue, SymbolicValue secondOperandValue)
resolveValue in class BinaryProgramPointpublic static boolean originatesFrom(Tree element)
Copyright © 2011–2017 SonarSource and Eriks Nukis. All rights reserved.