1 /*
  2 * Copyright (c) 2016, 2023, 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 #ifndef SHARE_CLASSFILE_MODULES_HPP
 26 #define SHARE_CLASSFILE_MODULES_HPP
 27 
 28 #include "memory/allStatic.hpp"
 29 #include "runtime/handles.hpp"
 30 
 31 class ModuleEntryTable;
 32 class Symbol;
 33 
 34 class Modules : AllStatic {
 35   static void check_cds_restrictions(Handle module1, Handle module2, TRAPS) NOT_CDS_JAVA_HEAP_RETURN;
 36 
 37 public:
 38   // define_module defines a module containing the specified packages. It binds the
 39   // module to its class loader by creating the ModuleEntry record in the
 40   // ClassLoader's ModuleEntry table, and creates PackageEntry records in the class
 41   // loader's PackageEntry table.  The jstring for all package names will convert "."
 42   // to "/"
 43   //
 44   //  IllegalArgumentExceptions are thrown for the following :
 45   // * Module's Class loader is not a subclass of java.lang.ClassLoader
 46   // * Module's Class loader already has a module with that name
 47   // * Module's Class loader has already defined types for any of the module's packages
 48   // * Module_name is syntactically bad
 49   // * Packages contains an illegal package name or a non-String object
 50   // * A package already exists in another module for this class loader
 51   // * Module is an unnamed module
 52   //  NullPointerExceptions are thrown if module is null.
 53   static void define_module(Handle module, jboolean is_open, jstring version,
 54                             jstring location, jobjectArray packages, TRAPS);
 55 
 56   static bool check_archived_module_oop(oop orig_module_obj) NOT_CDS_JAVA_HEAP_RETURN_(false);
 57   static void update_oops_in_archived_module(oop orig_module_obj, int archived_module_root_index)
 58                                              NOT_CDS_JAVA_HEAP_RETURN;
 59   static void define_archived_modules(Handle h_platform_loader, Handle h_system_loader,
 60                                       TRAPS) NOT_CDS_JAVA_HEAP_RETURN;
 61   static void verify_archived_modules() NOT_CDS_JAVA_HEAP_RETURN;
 62   static void dump_main_module_name() NOT_CDS_JAVA_HEAP_RETURN;
 63   static void serialize(SerializeClosure* soc) NOT_CDS_JAVA_HEAP_RETURN;
 64   static bool is_dynamic_proxy_module(Handle module);
 65   static bool is_dynamic_proxy_module(ModuleEntry* module_entry);
 66 #if INCLUDE_CDS_JAVA_HEAP
 67   static char* _archived_main_module_name;
 68 #endif
 69 
 70   // Provides the java.lang.Module for the unnamed module defined
 71   // to the boot loader.
 72   //
 73   //  IllegalArgumentExceptions are thrown for the following :
 74   //  * Module has a name
 75   //  * Module is not a subclass of java.lang.Module
 76   //  * Module's class loader is not the boot loader
 77   //  NullPointerExceptions are thrown if module is null.
 78   static void set_bootloader_unnamed_module(Handle module, TRAPS);
 79 
 80   // This either does a qualified export of package in module from_module to module
 81   // to_module or, if to_module is null, does an unqualified export of package.
 82   // Any "." in the package name will be converted to "/"
 83   //
 84   // Error conditions causing IlegalArgumentException to be throw :
 85   // * Module from_module does not exist
 86   // * Module to_module is not null and does not exist
 87   // * Package is not syntactically correct
 88   // * Package is not defined for from_module's class loader
 89   // * Package is not in module from_module.
 90   static void add_module_exports(Handle from_module, jstring package, Handle to_module, TRAPS);
 91 
 92   // This does a qualified export of package in module from_module to module
 93   // to_module.  Any "." in the package name will be converted to "/"
 94   //
 95   // Error conditions causing IlegalArgumentException to be throw :
 96   // * Module from_module does not exist
 97   // * Module to_module does not exist
 98   // * Package is not syntactically correct
 99   // * Package is not defined for from_module's class loader
100   // * Package is not in module from_module.
101   static void add_module_exports_qualified(Handle from_module, jstring package, Handle to_module, TRAPS);
102 
103   // add_reads_module adds module to_module to the list of modules that from_module
104   // can read.  If from_module is the same as to_module then this is a no-op.
105   // If to_module is null then from_module is marked as a loose module (meaning that
106   // from_module can read all current and future unnamed  modules).
107   // An IllegalArgumentException is thrown if from_module is null or either (non-null)
108   // module does not exist.
109   static void add_reads_module(Handle from_module, Handle to_module, TRAPS);
110 
111   // Return the java.lang.Module object for this class object.
112   static jobject get_module(jclass clazz, TRAPS);
113 
114   // Return the java.lang.Module object for this class loader and package.
115   // Returns null if the package name is empty, if the resulting package
116   // entry is null, if the module is not found or is unnamed.
117   // The package should contain /'s, not .'s, as in java/lang, not java.lang.
118   static oop get_named_module(Handle h_loader, const char* package);
119 
120   // Marks the specified package as exported to all unnamed modules.
121   // If either module or package is null then NullPointerException is thrown.
122   // If module or package is bad, or module is unnamed, or package is not in
123   // module then IllegalArgumentException is thrown.
124   static void add_module_exports_to_all_unnamed(Handle module, jstring package, TRAPS);
125 
126   // Return TRUE iff package is defined by loader
127   static bool is_package_defined(Symbol* package_name, Handle h_loader);
128   static ModuleEntryTable* get_module_entry_table(Handle h_loader);
129 };
130 
131 #endif // SHARE_CLASSFILE_MODULES_HPP