/*

 * Copyright (c) 2016, Oracle and/or its affiliates. All rights reserved.

 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

 *

 * This code is free software; you can redistribute it and/or modify it

 * under the terms of the GNU General Public License version 2 only, as

 * published by the Free Software Foundation.  Oracle designates this

 * particular file as subject to the "Classpath" exception as provided

 * by Oracle in the LICENSE file that accompanied this code.

 *

 * This code is distributed in the hope that it will be useful, but WITHOUT

 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

 * version 2 for more details (a copy is included in the LICENSE file that

 * accompanied this code).

 *

 * You should have received a copy of the GNU General Public License version

 * 2 along with this work; if not, write to the Free Software Foundation,

 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

 *

 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

 * or visit www.oracle.com if you need additional information or have any

 * questions.

 */

/*

 * @test

 * @summary Test that if class c5 in an unnamed module can read package p6 in module m2, but package p6 in module m2 is

 *          exported qualifiedly to module m3, then class c5 in an unnamed module can not read p6.c6 in module m2.

 * @modules java.base/jdk.internal.misc

 * @compile myloaders/MySameClassLoader.java

 * @compile p6/c6.java

 * @compile c5.java

 * @run main/othervm -Xbootclasspath/a:. UmodUpkg_ExpQualOther

 */

import static jdk.test.lib.Asserts.*;

import java.lang.reflect.Layer;

import java.lang.module.Configuration;

import java.lang.module.ModuleDescriptor;

import java.lang.module.ModuleFinder;

import java.util.HashMap;

import java.util.Map;

import java.util.Set;

import myloaders.MySameClassLoader;

//

// ClassLoader1 --> defines m1 --> no packages

//                  defines m2 --> packages p6

//                  defines m3 --> packages p3

//

// m1 can read m2

// package p6 in m2 is exported to m3

//

// class c5 defined in m1 tries to access p6.c6 defined in m2

// Access denied since although m1 can read m2, p6 is exported only to m3.

//

public class UmodUpkg_ExpQualOther {

    // Create a Layer over the boot layer.

    // Define modules within this layer to test access between

    // publically defined classes within packages of those modules.

    public void createLayerOnBoot() throws Throwable {

        // Define module:     m1 (need to define m1 to establish the Layer successfully)

        // Can read:          java.base, m2, m3

        // Packages:          none

        // Packages exported: none

        ModuleDescriptor descriptor_m1 =

                new ModuleDescriptor.Builder("m1")

                        .requires("java.base")

                        .requires("m2")

                        .requires("m3")

                        .build();

        // Define module:     m2

        // Can read:          java.base

        // Packages:          p6

        // Packages exported: p6 is exported to m3

        ModuleDescriptor descriptor_m2 =

                new ModuleDescriptor.Builder("m2")

                        .requires("java.base")

                        .exports("p6", "m3")

                        .build();

        // Define module:     m3

        // Can read:          java.base

        // Packages:          p3

        // Packages exported: none

        ModuleDescriptor descriptor_m3 =

                new ModuleDescriptor.Builder("m3")

                        .requires("java.base")

                        .build();

        // Set up a ModuleFinder containing all modules for this layer.

        ModuleFinder finder = ModuleLibrary.of(descriptor_m1, descriptor_m2, descriptor_m3);

        // Resolves "m1"

        Configuration cf = Layer.boot()

                .configuration()

                .resolveRequires(finder, ModuleFinder.of(), Set.of("m1"));

        // map each module to differing class loaders for this test

        Map<String, ClassLoader> map = new HashMap<>();

        map.put("m1", MySameClassLoader.loader1);

        map.put("m2", MySameClassLoader.loader1);

        map.put("m3", MySameClassLoader.loader1);

        // Create Layer that contains m1, m2 and m3

        Layer layer = Layer.boot().defineModules(cf, map::get);

        assertTrue(layer.findLoader("m1") == MySameClassLoader.loader1);

        assertTrue(layer.findLoader("m2") == MySameClassLoader.loader1);

        assertTrue(layer.findLoader("m3") == MySameClassLoader.loader1);

        assertTrue(layer.findLoader("java.base") == null);

        // now use the same loader to load class c5

        Class c5_class = MySameClassLoader.loader1.loadClass("c5");

        try {

            c5_class.newInstance();

            throw new RuntimeException("Failed to get IAE (p6 in m2 is exported to m3, not unqualifiedly to everyone)");

        } catch (IllegalAccessError e) {

            System.out.println(e.getMessage());

            if (!e.getMessage().contains("does not export")) {

                throw new RuntimeException("Wrong message: " + e.getMessage());

            }

        }

    }

    public static void main(String args[]) throws Throwable {

      UmodUpkg_ExpQualOther test = new UmodUpkg_ExpQualOther();

      test.createLayerOnBoot();

    }

}