46 JavaFileManager fm = c.getStandardFileManager(null, null, null); |
46 JavaFileManager fm = c.getStandardFileManager(null, null, null); |
47 for (JavaFileObject fo: fm.list(StandardLocation.PLATFORM_CLASS_PATH, |
47 for (JavaFileObject fo: fm.list(StandardLocation.PLATFORM_CLASS_PATH, |
48 "java.lang", |
48 "java.lang", |
49 Collections.singleton(JavaFileObject.Kind.CLASS), |
49 Collections.singleton(JavaFileObject.Kind.CLASS), |
50 false)) { |
50 false)) { |
51 String p = ((BaseFileObject)fo).getPath(); |
51 String p = fo.getName(); |
52 int bra = p.indexOf("("); |
52 int bra = p.indexOf("("); |
53 int ket = p.indexOf(")"); |
53 int ket = p.indexOf(")"); |
54 //System.err.println(bra + "," + ket + "," + p.length()); |
54 //System.err.println(bra + "," + ket + "," + p.length()); |
55 if (bra == -1 || ket != p.length() -1) |
55 if (bra == -1 || ket != p.length() -1) |
56 throw new Exception("unexpected path: " + p + "[" + bra + "," + ket + "," + p.length()); |
56 throw new Exception("unexpected path: " + p + "[" + bra + "," + ket + "," + p.length()); |