langtools/test/tools/javap/T6729471.java
changeset 7333 a9ed6bf644fc
parent 5520 86e4b9a9da40
child 7681 1f0819a3341f
equal deleted inserted replaced
7332:3e90e60e4ce8 7333:a9ed6bf644fc
    37     public static void main(String... args) {
    37     public static void main(String... args) {
    38         new T6729471().run();
    38         new T6729471().run();
    39     }
    39     }
    40 
    40 
    41     void run() {
    41     void run() {
       
    42         File testClasses = new File(System.getProperty("test.classes"));
       
    43 
    42         // simple class
    44         // simple class
    43         verify("java.util.Map",
    45         verify("java.util.Map",
    44                 "public abstract boolean containsKey(java.lang.Object)");
    46                 "public abstract boolean containsKey(java.lang.Object)");
    45 
    47 
    46         // inner class
    48         // inner class
    47         verify("java.util.Map.Entry",
    49         verify("java.util.Map.Entry",
    48                 "public abstract K getKey()");
    50                 "public abstract K getKey()");
    49 
    51 
    50         // file name
    52         // file name
    51         verify("../classes/tools/javap/T6729471.class",
    53         verify(new File(testClasses, "T6729471.class").getPath(),
    52                 "public static void main(java.lang.String...)");
    54                 "public static void main(java.lang.String...)");
    53 
    55 
    54         // file url
    56         // file url
    55         verify("file:../classes/tools/javap/T6729471.class",
    57         verify(new File(testClasses, "T6729471.class").toURI().toString(),
    56                 "public static void main(java.lang.String...)");
    58                 "public static void main(java.lang.String...)");
    57 
    59 
    58         // jar url: rt.jar
    60         // jar url: rt.jar
    59         File java_home = new File(System.getProperty("java.home"));
    61         File java_home = new File(System.getProperty("java.home"));
    60         if (java_home.getName().equals("jre"))
    62         if (java_home.getName().equals("jre"))