factory.addStatement(new ArrayWriteElement(callee, arguments.get(1)));
return anybool(factory);
}
// addAll(<known collection>)
else if (methodName.equals("addAll") && numArgs == 1 && factory.fromSootType(expr.getArg(0).getType()) == VariableType.ARRAY) {
factory.addStatement(new ArrayWriteArray(callee, arguments.get(0)));
return anybool(factory);
}
// addAll(int,<known collection>)
else if (methodName.equals("addAll") && numArgs == 2 && isInt(expr.getArg(0).getType()) && factory.fromSootType(expr.getArg(1).getType()) == VariableType.ARRAY) {
factory.addStatement(new ArrayWriteArray(callee, arguments.get(1)));
return anybool(factory);
}
// clear()
else if (methodName.equals("clear") && numArgs == 0) {
// TODO Collection.clear()