Thu, 16 Sep 2010 09:56:25 -0700
6985181: Annotations lost from classfile
Reviewed-by: mcimadamore
1 /*
2 * Copyright (c) 2008, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
24 /*
25 * @test
26 * @bug 6705935
27 * @summary javac reports path name of entry in ZipFileIndex incorectly
28 */
30 import java.io.*;
31 import java.util.*;
32 import javax.tools.*;
33 import com.sun.tools.javac.file.*;
35 public class T6705935 {
36 public static void main(String... args) throws Exception {
37 new T6705935().run();
38 }
40 public void run() throws Exception {
41 File java_home = new File(System.getProperty("java.home"));
42 if (java_home.getName().equals("jre"))
43 java_home = java_home.getParentFile();
45 JavaCompiler c = ToolProvider.getSystemJavaCompiler();
46 JavaFileManager fm = c.getStandardFileManager(null, null, null);
47 for (JavaFileObject fo: fm.list(StandardLocation.PLATFORM_CLASS_PATH,
48 "java.lang",
49 Collections.singleton(JavaFileObject.Kind.CLASS),
50 false)) {
51 String p = fo.getName();
52 int bra = p.indexOf("(");
53 int ket = p.indexOf(")");
54 //System.err.println(bra + "," + ket + "," + p.length());
55 if (bra == -1 || ket != p.length() -1)
56 throw new Exception("unexpected path: " + p + "[" + bra + "," + ket + "," + p.length());
57 String part1 = p.substring(0, bra);
58 String part2 = p.substring(bra + 1, ket);
59 //System.err.println("[" + part1 + "|" + part2 + "]" + " " + java_home);
60 if (part1.equals(part2) || !part1.startsWith(java_home.getPath()))
61 throw new Exception("bad path: " + p);
63 }
64 }
65 }