if (arit != null) {
BinaryOperation bin = (BinaryOperation) valueNode;
ASTNode binLHS = bin.getLHS();
ASTNode binRHS = bin.getRHS();
SimpleAccessVariable binVar = null;
Constant constNode = null;
if (binLHS instanceof SimpleAccessVariable) {
binVar = (SimpleAccessVariable) binLHS;
} else if (binRHS instanceof SimpleAccessVariable) {
binVar = (SimpleAccessVariable) binRHS;
}
if (binLHS instanceof Constant) {
constNode = (Constant) binLHS;
} else if (binRHS instanceof Constant) {
constNode = (Constant) binRHS;
}
if (binVar != null && constNode != null) {
RSymbol binVarSymbol = binVar.getSymbol();
int slot = getFrameSlot(assign, binVarSymbol);
if (binVarSymbol == symbol && !assign.isSuper() && (constNode.getValue() instanceof ScalarIntImpl) && slot != -1) {
int cValue = ((ScalarIntImpl) constNode.getValue()).getInt();
if (cValue == 1) {
if (valueNode instanceof Add) {
// integer increment
if (DEBUG_SPECIAL_NODES) {
Utils.debug("increment node at " + PrettyPrinter.prettyPrint(assign));