1 /*
   2  * Copyright (c) 2016, 2017, 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  */
  23 
  24 /*
  25  * @test
  26  * @modules java.base/jdk.internal.misc
  27  * @library /test/lib ..
  28  * @compile p2/c2.java
  29  * @compile p1/c1.java
  30  * @build sun.hotspot.WhiteBox
  31  * @compile/module=java.base java/lang/reflect/ModuleHelper.java
  32  * @run main ClassFileInstaller sun.hotspot.WhiteBox
  33  *                              sun.hotspot.WhiteBox$WhiteBoxPermission
  34  * @run main/othervm -Xbootclasspath/a:. -XX:+UnlockDiagnosticVMOptions -XX:+WhiteBoxAPI AccessCheckWorks
  35  */
  36 
  37 import java.lang.reflect.Module;
  38 import static jdk.test.lib.Asserts.*;
  39 
  40 public class AccessCheckWorks {
  41 
  42     // Check that a class in a package in module_one can successfully access a
  43     // class in module_two when module_one can read module_two and the class's package
  44     // has been exported.
  45     public static void main(String args[]) throws Throwable {
  46         Object m1x, m2x;
  47 
  48         // Get the java.lang.reflect.Module object for module java.base.
  49         Class jlObject = Class.forName("java.lang.Object");
  50         Object jlObject_jlrM = jlObject.getModule();
  51         assertNotNull(jlObject_jlrM, "jlrModule object of java.lang.Object should not be null");
  52 
  53         // Get the class loader for AccessCheckWorks and assume it's also used to
  54         // load classes p1.c1 and p2.c2.
  55         ClassLoader this_cldr = AccessCheckWorks.class.getClassLoader();
  56 
  57         // Define a module for p1.
  58         m1x = ModuleHelper.ModuleObject("module_one", this_cldr, new String[] { "p1" });
  59         assertNotNull(m1x, "Module should not be null");
  60         ModuleHelper.DefineModule(m1x, false, "9.0", "m1x/here", new String[] { "p1" });
  61         ModuleHelper.AddReadsModule(m1x, jlObject_jlrM);
  62 
  63         // Define a module for p2.
  64         m2x = ModuleHelper.ModuleObject("module_two", this_cldr, new String[] { "p2" });
  65         assertNotNull(m2x, "Module should not be null");
  66         ModuleHelper.DefineModule(m2x, false, "9.0", "m2x/there", new String[] { "p2" });
  67         ModuleHelper.AddReadsModule(m2x, jlObject_jlrM);
  68 
  69         // Make package p1 in m1x visible to everyone.
  70         ModuleHelper.AddModuleExportsToAll(m1x, "p1");
  71 
  72         // p1.c1's ctor tries to call a method in p2.c2.  This should work because
  73         // p1's module can read p2's module and p2 is exported to p1's module.
  74         ModuleHelper.AddReadsModule(m1x, m2x);
  75         ModuleHelper.AddModuleExports(m2x, "p2", m1x);
  76         Class p1_c1_class = Class.forName("p1.c1");
  77         p1_c1_class.newInstance();
  78     }
  79 }
  80