}
return factory.getNothing();
}
// StringBuffer.setLength(int) [NOTE: This method returns void]
else if (methodName.equals("setLength") && numArgs == 1) {
UnaryOperation op = new SetLength();
factory.addStatement(new StringBufferUnaryOp(callee, op));
return factory.getNothing();// returns void
}
// StringBuffer.substring(int) [NOTE: Returns a string]
else if (methodName.equals("substring") && numArgs == 1) {