}
// StringBuffer.setCharAt(int, char) [NOTE: This method returns void]
else if (methodName.equals("setCharAt") && numArgs == 2) {
Integer c = trackInteger(expr.getArg(1));
if (c == null) {
UnaryOperation op = new SetCharAt2();
factory.addStatement(new StringBufferUnaryOp(callee, op));
} else {
UnaryOperation op = new SetCharAt1((char) c.intValue());
factory.addStatement(new StringBufferUnaryOp(callee, op));
}