1 /*
2 * Copyright (c) 2016, 2025, 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 void check_archived_module_oop(oop orig_module_obj) NOT_CDS_JAVA_HEAP_RETURN;
57 static void define_archived_modules(Handle h_platform_loader, Handle h_system_loader,
58 TRAPS) NOT_CDS_JAVA_HEAP_RETURN;
59 static void verify_archived_modules() NOT_CDS_JAVA_HEAP_RETURN;
60 static void dump_archived_module_info() NOT_CDS_JAVA_HEAP_RETURN;
61 static void serialize_archived_module_info(SerializeClosure* soc) NOT_CDS_JAVA_HEAP_RETURN;
62
63 static bool is_dynamic_proxy_module(Handle module);
64 static bool is_dynamic_proxy_module(ModuleEntry* module_entry);
65
66 static void check_archived_flag_consistency(char* archived_flag, const char* runtime_flag, const char* property) NOT_CDS_JAVA_HEAP_RETURN;
67
68 #if INCLUDE_CDS_JAVA_HEAP
69 private:
70 class ArchivedProperty;
71
72 static ArchivedProperty _archived_props[];
73 static constexpr size_t num_archived_props();
74 static ArchivedProperty& archived_prop(size_t i);
75 public:
76 #endif
77
78 // Provides the java.lang.Module for the unnamed module defined
79 // to the boot loader.
80 //
81 // IllegalArgumentExceptions are thrown for the following :
82 // * Module has a name
83 // * Module is not a subclass of java.lang.Module
84 // * Module's class loader is not the boot loader
85 // NullPointerExceptions are thrown if module is null.
86 static void set_bootloader_unnamed_module(Handle module, TRAPS);
87
88 // This either does a qualified export of package in module from_module to module
89 // to_module or, if to_module is null, does an unqualified export of package.
90 // Any "." in the package name will be converted to "/"
91 //
92 // Error conditions causing IlegalArgumentException to be throw :
93 // * Module from_module does not exist
94 // * Module to_module is not null and does not exist
95 // * Package is not syntactically correct
96 // * Package is not defined for from_module's class loader
97 // * Package is not in module from_module.
98 static void add_module_exports(Handle from_module, jstring package, Handle to_module, TRAPS);
99
100 // This does a qualified export of package in module from_module to module
101 // to_module. Any "." in the package name will be converted to "/"
102 //
103 // Error conditions causing IlegalArgumentException to be throw :
104 // * Module from_module does not exist
105 // * Module to_module does not exist
106 // * Package is not syntactically correct
107 // * Package is not defined for from_module's class loader
108 // * Package is not in module from_module.
109 static void add_module_exports_qualified(Handle from_module, jstring package, Handle to_module, TRAPS);
110
111 // add_reads_module adds module to_module to the list of modules that from_module
112 // can read. If from_module is the same as to_module then this is a no-op.
113 // If to_module is null then from_module is marked as a loose module (meaning that
114 // from_module can read all current and future unnamed modules).
115 // An IllegalArgumentException is thrown if from_module is null or either (non-null)
116 // module does not exist.
117 static void add_reads_module(Handle from_module, Handle to_module, TRAPS);
118
119 // Return the java.lang.Module object for this class object.
120 static jobject get_module(jclass clazz, TRAPS);
121
122 // Return the java.lang.Module object for this class loader and package.
123 // Returns null if the package name is empty, if the resulting package
124 // entry is null, if the module is not found or is unnamed.
125 // The package should contain /'s, not .'s, as in java/lang, not java.lang.
126 static oop get_named_module(Handle h_loader, const char* package);
127
128 // Marks the specified package as exported to all unnamed modules.
129 // If either module or package is null then NullPointerException is thrown.
130 // If module or package is bad, or module is unnamed, or package is not in
131 // module then IllegalArgumentException is thrown.
132 static void add_module_exports_to_all_unnamed(Handle module, jstring package, TRAPS);
133
134 // Return TRUE iff package is defined by loader
135 static bool is_package_defined(Symbol* package_name, Handle h_loader);
136 static ModuleEntryTable* get_module_entry_table(Handle h_loader);
137 };
138
139 #endif // SHARE_CLASSFILE_MODULES_HPP