factory.addStatement(new StringBufferBinaryOp(callee, op, rvar));
return callee;
}
// StringBuffer.reverse()
else if (methodName.equals("reverse") && numArgs == 0) {
UnaryOperation op = new Reverse();
factory.addStatement(new StringBufferUnaryOp(callee, op));
return callee;
}
// StringBuffer.setCharAt(int, char) [NOTE: This method returns void]
else if (methodName.equals("setCharAt") && numArgs == 2) {