public void pushMethod(String class_name, String method_name, Type return_type, Type... arg_types){
SootClass soot_class = Scene.v().getSootClass(class_name);
SootClass org_class = soot_class;
TypeToString converter = new TypeToString();
MethodSignatureUtil util = new MethodSignatureUtil();
util.setClassName(class_name);
util.setMethodName(method_name);
util.setReturnType(converter.convert(return_type));
List<String> parameter_types = new ArrayList<String>();
for(Type arg_type : arg_types){
parameter_types.add(converter.convert(arg_type));
}
util.setParameterTypes(parameter_types);
SootMethod soot_method = util.getSootMethod();
m_methodStack.push(soot_method);
}