(String className)
| 7920 | } |
| 7921 | |
| 7922 | static String destubClassName(String className){ |
| 7923 | //skip over prefix + '.' or '/' |
| 7924 | if(className.startsWith(COMPILE_STUB_PREFIX)) |
| 7925 | return className.substring(COMPILE_STUB_PREFIX.length()+1); |
| 7926 | return className; |
| 7927 | } |
| 7928 | |
| 7929 | static Type getType(Class c){ |
| 7930 | String descriptor = Type.getType(c).getDescriptor(); |