svm: add ResolvedJavaModule, ResolvedJavaModuleLayer and ResolvedJavaPackage

Author: zapster

substratevm/src/com.oracle.svm.util/src/com/oracle/svm/util/JVMCIReflectionUtil.java

@@ -238,6 +238,10 @@ public static String getPackageName(ResolvedJavaType type) {
         return (dot != -1) ? cn.substring(0, dot).intern() : "";
     }
 
+    public static ResolvedJavaPackage getPackage(ResolvedJavaType type) {
+        return JVMCIReflectionUtilFallback.getPackage(type);
+    }
+
     /**
      * Gets the return type for a {@link ResolvedJavaMethod}. This is the same as calling
      * {@link Method#getReturnType()} on the underlying method.
@@ -274,4 +278,8 @@ public static String getTypeName(ResolvedJavaType type) {
         }
         return type.toClassName();
     }
+
+    public static ResolvedJavaModule getModule(ResolvedJavaType declaringClass) {
+        return JVMCIReflectionUtilFallback.getModule(declaringClass);
+    }
 }

substratevm/src/com.oracle.svm.util/src/com/oracle/svm/util/JVMCIReflectionUtilFallback.java

@@ -0,0 +1,46 @@
+/*
+ * Copyright (c) 2025, 2025, 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.
+ */
+package com.oracle.svm.util;
+
+import jdk.vm.ci.meta.ResolvedJavaType;
+
+/**
+ * Fallback implementations for {@link JVMCIReflectionUtil} that is still implemented in terms of
+ * core reflection due to missing features in JVMCI.
+ */
+final class JVMCIReflectionUtilFallback {
+
+    private static Class<?> getJavaClass(ResolvedJavaType type) {
+        return OriginalClassProvider.getJavaClass(type);
+    }
+
+    static ResolvedJavaPackage getPackage(ResolvedJavaType type) {
+        return new ResolvedJavaPackageImpl(getJavaClass(type).getPackage());
+    }
+
+    static ResolvedJavaModule getModule(ResolvedJavaType declaringClass) {
+        return new ResolvedJavaModuleImpl(getJavaClass(declaringClass).getModule());
+    }
+}

substratevm/src/com.oracle.svm.util/src/com/oracle/svm/util/ResolvedJavaModule.java

@@ -0,0 +1,84 @@
+/*
+ * Copyright (c) 2025, 2025, 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.
+ */
+package com.oracle.svm.util;
+
+import java.lang.module.ModuleDescriptor;
+import java.util.Set;
+
+/**
+ * JVMCI equivalent to {@link Module}. Do not compare with {@code ==}, use {@code #equals(Object)}
+ * instead.
+ */
+public interface ResolvedJavaModule {
+    /**
+     * Returns the module name or {@code null} if this module is an unnamed module. See
+     * {@link Module#getName()}.
+     */
+    String getName();
+
+    /**
+     * Returns {@code true} if this module has <em>opened</em> a package unconditionally. See
+     * {@link Module#isOpen(String)}.
+     */
+    boolean isOpen(String pn);
+
+    /**
+     * Returns {@code true} if this module has <em>opened</em> a package to at least the given
+     * module. See {@link Module#isOpen(String, java.lang.Module)}.
+     */
+    boolean isOpen(String packageName, ResolvedJavaModule accessingModule);
+
+    /**
+     * Returns {@code true} if this module exports the given package unconditionally. See
+     * {@link Module#isExported(String)}.
+     */
+    boolean isExported(String packageName);
+
+    /**
+     * Returns {@code true} if this module exports the given package to at least the given module.
+     * See {@link Module#isExported(String, java.lang.Module)}.
+     */
+    boolean isExported(String packageName, ResolvedJavaModule accessingModule);
+
+    /**
+     * Returns the set of package names for the packages in this module. See
+     * {@link java.lang.Module#getPackages()}.
+     */
+    Set<String> getPackages();
+
+    /**
+     * Returns {@code true} if this module is a named module. See {@link Module#isNamed()}.
+     */
+    boolean isNamed();
+
+    /**
+     * Returns the module descriptor for this module or {@code null} if this module is an unnamed
+     * module. See {@link Module#getDescriptor()}.
+     * <p>
+     * Note that although {@link ModuleDescriptor} is a JDK class, it is OK in JVMCI because it is
+     * purely symbolic.
+     */
+    ModuleDescriptor getDescriptor();
+}

substratevm/src/com.oracle.svm.util/src/com/oracle/svm/util/ResolvedJavaModuleImpl.java

@@ -0,0 +1,102 @@
+/*
+ * Copyright (c) 2025, 2025, 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.
+ */
+package com.oracle.svm.util;
+
+import java.lang.module.ModuleDescriptor;
+import java.util.Objects;
+import java.util.Set;
+
+/**
+ * Fallback implementation of {@link ResolvedJavaModule} based on {@link Module}.
+ */
+final class ResolvedJavaModuleImpl implements ResolvedJavaModule {
+
+    private final Module module;
+
+    ResolvedJavaModuleImpl(Module module) {
+        this.module = Objects.requireNonNull(module);
+    }
+
+    @Override
+    public String getName() {
+        return module.getName();
+    }
+
+    @Override
+    public boolean equals(Object o) {
+        if (o == null || getClass() != o.getClass()) {
+            return false;
+        }
+        ResolvedJavaModuleImpl that = (ResolvedJavaModuleImpl) o;
+        return module.equals(that.module);
+    }
+
+    @Override
+    public int hashCode() {
+        return module.hashCode();
+    }
+
+    @Override
+    public boolean isOpen(String pn) {
+        return module.isOpen(pn);
+    }
+
+    @Override
+    public boolean isOpen(String packageName, ResolvedJavaModule accessingModule) {
+        return module.isOpen(packageName, toImpl(accessingModule).module);
+    }
+
+    @Override
+    public boolean isExported(String packageName) {
+        return module.isExported(packageName);
+    }
+
+    @Override
+    public boolean isExported(String packageName, ResolvedJavaModule accessingModule) {
+        return module.isExported(packageName, toImpl(accessingModule).module);
+    }
+
+    @Override
+    public Set<String> getPackages() {
+        return module.getPackages();
+    }
+
+    @Override
+    public boolean isNamed() {
+        return module.isNamed();
+    }
+
+    @Override
+    public ModuleDescriptor getDescriptor() {
+        return module.getDescriptor();
+    }
+
+    private static ResolvedJavaModuleImpl toImpl(ResolvedJavaModule module) {
+        if (module instanceof ResolvedJavaModuleImpl moduleImpl) {
+            return moduleImpl;
+        }
+        throw new IllegalArgumentException("Unsupported ResolvedJavaModule implementation: " + module.getClass().getName());
+    }
+}

substratevm/src/com.oracle.svm.util/src/com/oracle/svm/util/ResolvedJavaModuleLayer.java

@@ -0,0 +1,46 @@
+/*
+ * Copyright (c) 2025, 2025, 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.
+ */
+package com.oracle.svm.util;
+
+import java.util.Optional;
+
+/**
+ * JVMCI equivalent for {@link ModuleLayer}. Do not compare with {@code ==}, use
+ * {@code #equals(Object)} instead.
+ */
+public interface ResolvedJavaModuleLayer {
+    /**
+     * Returns the boot layer. See {@link java.lang.ModuleLayer#boot()}.
+     */
+    static ResolvedJavaModuleLayer boot() {
+        return new ResolvedJavaModuleLayerImpl(ModuleLayer.boot());
+    }
+
+    /**
+     * Returns the module with the given name in this layer, or if not in this layer, the parent
+     * layers. See {@link java.lang.ModuleLayer#findModule(String)}.
+     */
+    Optional<ResolvedJavaModule> findModule(String moduleName);
+}

substratevm/src/com.oracle.svm.util/src/com/oracle/svm/util/ResolvedJavaModuleLayerImpl.java

@@ -0,0 +1,59 @@
+/*
+ * Copyright (c) 2025, 2025, 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.
+ */
+package com.oracle.svm.util;
+
+import java.util.Objects;
+import java.util.Optional;
+
+/**
+ * Fallback implementation of {@link ResolvedJavaModuleLayer} based on {@link ModuleLayer}.
+ */
+final class ResolvedJavaModuleLayerImpl implements ResolvedJavaModuleLayer {
+
+    private final ModuleLayer moduleLayer;
+
+    ResolvedJavaModuleLayerImpl(ModuleLayer moduleLayer) {
+        this.moduleLayer = Objects.requireNonNull(moduleLayer);
+    }
+
+    @Override
+    public boolean equals(Object o) {
+        if (o == null || getClass() != o.getClass()) {
+            return false;
+        }
+        ResolvedJavaModuleLayerImpl that = (ResolvedJavaModuleLayerImpl) o;
+        return moduleLayer.equals(that.moduleLayer);
+    }
+
+    @Override
+    public int hashCode() {
+        return moduleLayer.hashCode();
+    }
+
+    @Override
+    public Optional<ResolvedJavaModule> findModule(String moduleName) {
+        return moduleLayer.findModule(moduleName).map(ResolvedJavaModuleImpl::new);
+    }
+}

substratevm/src/com.oracle.svm.util/src/com/oracle/svm/util/ResolvedJavaPackage.java

@@ -0,0 +1,37 @@
+/*
+ * Copyright (c) 2025, 2025, 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.
+ */
+package com.oracle.svm.util;
+
+/**
+ * JVMCI equivalent to {@link Package}. Do not compare with {@code ==}, use {@code #equals(Object)}
+ * instead.
+ */
+public interface ResolvedJavaPackage {
+    /**
+     * Return the version of this implementation. See
+     * {@link java.lang.Package#getImplementationVersion()}.
+     */
+    String getImplementationVersion();
+}