blob: d183a0b4985823c5610cba76cf83ce06c360df83 [file]
/*
* Copyright (c) 2022, 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 java.lang.classfile.attribute;
import java.lang.classfile.constantpool.ModuleEntry;
import java.lang.classfile.constantpool.PackageEntry;
import java.lang.constant.ModuleDesc;
import java.lang.constant.PackageDesc;
import java.lang.invoke.MethodHandles;
import java.lang.module.ModuleDescriptor;
import java.lang.reflect.AccessFlag;
import java.util.Collection;
import java.util.List;
import java.util.Set;
import jdk.internal.classfile.impl.TemporaryConstantPool;
import jdk.internal.classfile.impl.UnboundAttribute;
import jdk.internal.classfile.impl.Util;
/**
* Models a single "opens" declaration in the {@link ModuleAttribute}.
*
* @apiNote
* Opening a package to another module allows that other module to gain
* the same full privilege access as members in this module. See {@link
* MethodHandles#privateLookupIn} for more details.
*
* @see ModuleAttribute#exports()
* @see ModuleDescriptor.Opens
* @jvms 4.7.25 The {@code Module} Attribute
* @since 24
*/
public sealed interface ModuleOpenInfo
permits UnboundAttribute.UnboundModuleOpenInfo {
/**
* {@return the package being opened}
*
* @see ModuleDescriptor.Opens#source()
*/
PackageEntry openedPackage();
/**
* {@return the flags associated with this open declaration, as a bit mask}
* It is in the range of unsigned short, {@code [0, 0xFFFF]}.
*
* @see ModuleDescriptor.Opens#modifiers()
* @see AccessFlag.Location#MODULE_OPENS
*/
int opensFlagsMask();
/**
* {@return the flags associated with this open declaration, as a set of
* flag enums}
*
* @throws IllegalArgumentException if the flags mask has any undefined bit set
* @see ModuleDescriptor.Opens#accessFlags()
* @see AccessFlag.Location#MODULE_OPENS
*/
default Set<AccessFlag> opensFlags() {
return AccessFlag.maskToAccessFlags(opensFlagsMask(), AccessFlag.Location.MODULE_OPENS);
}
/**
* {@return whether the open declaration has the specified access flag set}
*
* @param flag the access flag
* @see AccessFlag.Location#MODULE_OPENS
*/
default boolean has(AccessFlag flag) {
return Util.has(AccessFlag.Location.MODULE_OPENS, opensFlagsMask(), flag);
}
/**
* {@return the modules to which this package is opened, or empty if this
* is an unqualified open}
*
* @see ModuleDescriptor.Opens#isQualified()
* @see ModuleDescriptor.Opens#targets()
*/
List<ModuleEntry> opensTo();
/**
* {@return a module open description}
*
* @param opens the package to open
* @param opensFlags the open flags
* @param opensTo the modules to which this package is opened, or empty if
* this is an unqualified open
*/
static ModuleOpenInfo of(PackageEntry opens, int opensFlags,
List<ModuleEntry> opensTo) {
return new UnboundAttribute.UnboundModuleOpenInfo(opens, opensFlags, opensTo);
}
/**
* {@return a module open description}
*
* @param opens the package to open
* @param opensFlags the open flags
* @param opensTo the modules to which this package is opened, or empty if
* this is an unqualified open
* @throws IllegalArgumentException if any flag cannot be applied to the
* {@link AccessFlag.Location#MODULE_OPENS} location
*/
static ModuleOpenInfo of(PackageEntry opens, Collection<AccessFlag> opensFlags,
List<ModuleEntry> opensTo) {
return of(opens, Util.flagsToBits(AccessFlag.Location.MODULE_OPENS, opensFlags), opensTo);
}
/**
* {@return a module open description}
*
* @param opens the package to open
* @param opensFlags the open flags
* @param opensTo the modules to which this package is opened, or empty if
* this is an unqualified open
*/
static ModuleOpenInfo of(PackageEntry opens,
int opensFlags,
ModuleEntry... opensTo) {
return of(opens, opensFlags, List.of(opensTo));
}
/**
* {@return a module open description}
*
* @param opens the package to open
* @param opensFlags the open flags
* @param opensTo the modules to which this package is opened, or empty if
* this is an unqualified open
* @throws IllegalArgumentException if any flag cannot be applied to the
* {@link AccessFlag.Location#MODULE_OPENS} location
*/
static ModuleOpenInfo of(PackageEntry opens,
Collection<AccessFlag> opensFlags,
ModuleEntry... opensTo) {
return of(opens, Util.flagsToBits(AccessFlag.Location.MODULE_OPENS, opensFlags), opensTo);
}
/**
* {@return a module open description}
* @param opens the package to open
* @param opensFlags the open flags
* @param opensTo the modules to which this package is opened, if it is a
* qualified open, or empty
*/
static ModuleOpenInfo of(PackageDesc opens, int opensFlags,
List<ModuleDesc> opensTo) {
return of(TemporaryConstantPool.INSTANCE.packageEntry(TemporaryConstantPool.INSTANCE.utf8Entry(opens.internalName())),
opensFlags,
Util.moduleEntryList(opensTo));
}
/**
* {@return a module open description}
* @param opens the package to open
* @param opensFlags the open flags
* @param opensTo the modules to which this package is opened, if it is a
* qualified open, or empty
* @throws IllegalArgumentException if any flag cannot be applied to the
* {@link AccessFlag.Location#MODULE_OPENS} location
*/
static ModuleOpenInfo of(PackageDesc opens, Collection<AccessFlag> opensFlags,
List<ModuleDesc> opensTo) {
return of(opens, Util.flagsToBits(AccessFlag.Location.MODULE_OPENS, opensFlags), opensTo);
}
/**
* {@return a module open description}
* @param opens the package to open
* @param opensFlags the open flags
* @param opensTo the packages to which this package is opened, or empty if
* this is an unqualified open
*/
static ModuleOpenInfo of(PackageDesc opens,
int opensFlags,
ModuleDesc... opensTo) {
return of(opens, opensFlags, List.of(opensTo));
}
/**
* {@return a module open description}
* @param opens the package to open
* @param opensFlags the open flags
* @param opensTo the packages to which this package is opened, or empty if
* this is an unqualified open
* @throws IllegalArgumentException if any flag cannot be applied to the
* {@link AccessFlag.Location#MODULE_OPENS} location
*/
static ModuleOpenInfo of(PackageDesc opens,
Collection<AccessFlag> opensFlags,
ModuleDesc... opensTo) {
return of(opens, Util.flagsToBits(AccessFlag.Location.MODULE_OPENS, opensFlags), opensTo);
}
}