code: public static String mangleName(Method method, boolean isFull)
      {
          StringBuffer sb = new StringBuffer();
  
          sb.append(method.getName());
  
          Class[] params = method.getParameterTypes();
          for (int i = 0; i < params.length; i++) {
              sb.append('_');
              sb.append(mangleClass(params[i], isFull));
          }
  
          return sb.toString();
      }
docs: Creates a unique mangled method name based on the method name and
  the method parameters.
  
  @param method the method to mangle
  @param isFull if true, mangle the full classname
  
  @return a mangled string.