Search in sources :

Example 1 with PermittedSubclassesAttribute

use of com.oracle.truffle.espresso.classfile.attributes.PermittedSubclassesAttribute in project graal by oracle.

the class ClassfileParser method parseClassAttributes.

private Attribute[] parseClassAttributes() {
    int attributeCount = stream.readU2();
    if (attributeCount == 0) {
        if (maxBootstrapMethodAttrIndex >= 0) {
            throw ConstantPool.classFormatError("BootstrapMethods attribute is missing");
        }
        return Attribute.EMPTY_ARRAY;
    }
    SourceFileAttribute sourceFileName = null;
    SourceDebugExtensionAttribute sourceDebugExtensionAttribute = null;
    NestHostAttribute nestHost = null;
    NestMembersAttribute nestMembers = null;
    EnclosingMethodAttribute enclosingMethod = null;
    BootstrapMethodsAttribute bootstrapMethods = null;
    InnerClassesAttribute innerClasses = null;
    PermittedSubclassesAttribute permittedSubclasses = null;
    RecordAttribute record = null;
    CommonAttributeParser commonAttributeParser = new CommonAttributeParser(InfoType.Class);
    final Attribute[] classAttributes = spawnAttributesArray(attributeCount);
    for (int i = 0; i < attributeCount; i++) {
        final int attributeNameIndex = stream.readU2();
        final Symbol<Name> attributeName = pool.symbolAt(attributeNameIndex, "attribute name");
        final int attributeSize = stream.readS4();
        final int startPosition = stream.getPosition();
        if (attributeName.equals(Name.SourceFile)) {
            if (sourceFileName != null) {
                throw ConstantPool.classFormatError("Duplicate SourceFile attribute");
            }
            classAttributes[i] = sourceFileName = parseSourceFileAttribute(attributeName);
        } else if (attributeName.equals(Name.SourceDebugExtension)) {
            if (sourceDebugExtensionAttribute != null) {
                throw ConstantPool.classFormatError("Duplicate SourceDebugExtension attribute");
            }
            classAttributes[i] = sourceDebugExtensionAttribute = parseSourceDebugExtensionAttribute(attributeName, attributeSize);
        } else if (attributeName.equals(Name.Synthetic)) {
            classFlags |= ACC_SYNTHETIC;
            classAttributes[i] = new Attribute(attributeName, null);
        } else if (attributeName.equals(Name.InnerClasses)) {
            if (innerClasses != null) {
                throw ConstantPool.classFormatError("Duplicate InnerClasses attribute");
            }
            classAttributes[i] = innerClasses = parseInnerClasses(attributeName);
        } else if (majorVersion >= JAVA_1_5_VERSION) {
            if (majorVersion >= JAVA_7_VERSION && attributeName.equals(Name.BootstrapMethods)) {
                if (bootstrapMethods != null) {
                    throw ConstantPool.classFormatError("Duplicate BootstrapMethods attribute");
                }
                classAttributes[i] = bootstrapMethods = parseBootstrapMethods(attributeName);
            } else if (attributeName.equals(Name.EnclosingMethod)) {
                if (enclosingMethod != null) {
                    throw ConstantPool.classFormatError("Duplicate EnclosingMethod attribute");
                }
                classAttributes[i] = enclosingMethod = parseEnclosingMethodAttribute(attributeName);
            } else if (majorVersion >= JAVA_11_VERSION && attributeName.equals(Name.NestHost)) {
                if (nestHost != null) {
                    throw ConstantPool.classFormatError("Duplicate NestHost attribute");
                }
                if (nestMembers != null) {
                    throw ConstantPool.classFormatError("Classfile cannot have both a nest members and a nest host attribute.");
                }
                if (attributeSize != 2) {
                    throw ConstantPool.classFormatError("Attribute length of NestHost must be 2");
                }
                classAttributes[i] = nestHost = parseNestHostAttribute(attributeName);
            } else if (majorVersion >= JAVA_11_VERSION && attributeName.equals(Name.NestMembers)) {
                if (nestMembers != null) {
                    throw ConstantPool.classFormatError("Duplicate NestMembers attribute");
                }
                if (nestHost != null) {
                    throw ConstantPool.classFormatError("Classfile cannot have both a nest members and a nest host attribute.");
                }
                classAttributes[i] = nestMembers = parseNestMembers(attributeName);
            } else if (majorVersion >= JAVA_14_VERSION && attributeName.equals(Name.Record)) {
                if (record != null) {
                    throw ConstantPool.classFormatError("Duplicate Record attribute");
                }
                classAttributes[i] = record = parseRecord(attributeName);
            } else if (majorVersion >= JAVA_17_VERSION && attributeName.equals(Name.PermittedSubclasses)) {
                if (permittedSubclasses != null) {
                    throw ConstantPool.classFormatError("Duplicate PermittedSubclasses attribute");
                }
                classAttributes[i] = permittedSubclasses = parsePermittedSubclasses(attributeName);
            } else {
                Attribute attr = commonAttributeParser.parseCommonAttribute(attributeName, attributeSize);
                // stream.skip(attributeSize);
                classAttributes[i] = attr == null ? new Attribute(attributeName, stream.readByteArray(attributeSize)) : attr;
            }
        } else {
            // stream.skip(attributeSize);
            classAttributes[i] = new Attribute(attributeName, stream.readByteArray(attributeSize));
        }
        if (attributeSize != stream.getPosition() - startPosition) {
            throw ConstantPool.classFormatError("Invalid attribute length for " + attributeName + " attribute");
        }
    }
    if (maxBootstrapMethodAttrIndex >= 0 && bootstrapMethods == null) {
        throw ConstantPool.classFormatError("BootstrapMethods attribute is missing");
    }
    return classAttributes;
}
Also used : NestHostAttribute(com.oracle.truffle.espresso.classfile.attributes.NestHostAttribute) BootstrapMethodsAttribute(com.oracle.truffle.espresso.classfile.attributes.BootstrapMethodsAttribute) PermittedSubclassesAttribute(com.oracle.truffle.espresso.classfile.attributes.PermittedSubclassesAttribute) BootstrapMethodsAttribute(com.oracle.truffle.espresso.classfile.attributes.BootstrapMethodsAttribute) EnclosingMethodAttribute(com.oracle.truffle.espresso.classfile.attributes.EnclosingMethodAttribute) StackMapTableAttribute(com.oracle.truffle.espresso.classfile.attributes.StackMapTableAttribute) NestHostAttribute(com.oracle.truffle.espresso.classfile.attributes.NestHostAttribute) SourceFileAttribute(com.oracle.truffle.espresso.classfile.attributes.SourceFileAttribute) SourceDebugExtensionAttribute(com.oracle.truffle.espresso.classfile.attributes.SourceDebugExtensionAttribute) PermittedSubclassesAttribute(com.oracle.truffle.espresso.classfile.attributes.PermittedSubclassesAttribute) LineNumberTableAttribute(com.oracle.truffle.espresso.classfile.attributes.LineNumberTableAttribute) ExceptionsAttribute(com.oracle.truffle.espresso.classfile.attributes.ExceptionsAttribute) CodeAttribute(com.oracle.truffle.espresso.classfile.attributes.CodeAttribute) NestMembersAttribute(com.oracle.truffle.espresso.classfile.attributes.NestMembersAttribute) ConstantValueAttribute(com.oracle.truffle.espresso.classfile.attributes.ConstantValueAttribute) MethodParametersAttribute(com.oracle.truffle.espresso.classfile.attributes.MethodParametersAttribute) Attribute(com.oracle.truffle.espresso.runtime.Attribute) InnerClassesAttribute(com.oracle.truffle.espresso.classfile.attributes.InnerClassesAttribute) RecordAttribute(com.oracle.truffle.espresso.classfile.attributes.RecordAttribute) SignatureAttribute(com.oracle.truffle.espresso.classfile.attributes.SignatureAttribute) SourceDebugExtensionAttribute(com.oracle.truffle.espresso.classfile.attributes.SourceDebugExtensionAttribute) NestMembersAttribute(com.oracle.truffle.espresso.classfile.attributes.NestMembersAttribute) Name(com.oracle.truffle.espresso.descriptors.Symbol.Name) SourceFileAttribute(com.oracle.truffle.espresso.classfile.attributes.SourceFileAttribute) RecordAttribute(com.oracle.truffle.espresso.classfile.attributes.RecordAttribute) EnclosingMethodAttribute(com.oracle.truffle.espresso.classfile.attributes.EnclosingMethodAttribute) InnerClassesAttribute(com.oracle.truffle.espresso.classfile.attributes.InnerClassesAttribute)

Example 2 with PermittedSubclassesAttribute

use of com.oracle.truffle.espresso.classfile.attributes.PermittedSubclassesAttribute in project graal by oracle.

the class VM method JVM_GetPermittedSubclasses.

@VmImpl(isJni = true)
@TruffleBoundary
@JavaType(Class[].class)
public StaticObject JVM_GetPermittedSubclasses(@JavaType(Class.class) StaticObject self) {
    Klass k = self.getMirrorKlass();
    if (!(k instanceof ObjectKlass)) {
        return StaticObject.NULL;
    }
    ObjectKlass klass = (ObjectKlass) k;
    if (!klass.isSealed()) {
        return StaticObject.NULL;
    }
    char[] classes = ((PermittedSubclassesAttribute) klass.getAttribute(PermittedSubclassesAttribute.NAME)).getClasses();
    StaticObject[] permittedSubclasses = new StaticObject[classes.length];
    RuntimeConstantPool pool = klass.getConstantPool();
    int nClasses = 0;
    for (int index : classes) {
        Klass permitted;
        try {
            permitted = pool.resolvedKlassAt(klass, index);
        } catch (EspressoException e) {
            /* Suppress and continue */
            continue;
        }
        if (permitted instanceof ObjectKlass) {
            permittedSubclasses[nClasses++] = permitted.mirror();
        }
    }
    if (nClasses == permittedSubclasses.length) {
        return StaticObject.createArray(getMeta().java_lang_Class_array, permittedSubclasses);
    }
    return getMeta().java_lang_Class.allocateReferenceArray(nClasses, (i) -> permittedSubclasses[i]);
}
Also used : Klass(com.oracle.truffle.espresso.impl.Klass) ObjectKlass(com.oracle.truffle.espresso.impl.ObjectKlass) ArrayKlass(com.oracle.truffle.espresso.impl.ArrayKlass) RuntimeConstantPool(com.oracle.truffle.espresso.classfile.RuntimeConstantPool) EspressoException(com.oracle.truffle.espresso.runtime.EspressoException) StaticObject(com.oracle.truffle.espresso.runtime.StaticObject) PermittedSubclassesAttribute(com.oracle.truffle.espresso.classfile.attributes.PermittedSubclassesAttribute) ObjectKlass(com.oracle.truffle.espresso.impl.ObjectKlass) NoSafepoint(com.oracle.truffle.espresso.jni.NoSafepoint) JavaType(com.oracle.truffle.espresso.substitutions.JavaType) TruffleBoundary(com.oracle.truffle.api.CompilerDirectives.TruffleBoundary)

Example 3 with PermittedSubclassesAttribute

use of com.oracle.truffle.espresso.classfile.attributes.PermittedSubclassesAttribute in project graal by oracle.

the class ObjectKlass method permittedSubclassCheck.

public boolean permittedSubclassCheck(ObjectKlass k) {
    CompilerAsserts.neverPartOfCompilation();
    if (!getContext().getJavaVersion().java17OrLater()) {
        return true;
    }
    PermittedSubclassesAttribute permittedSubclasses = (PermittedSubclassesAttribute) getAttribute(PermittedSubclassesAttribute.NAME);
    if (permittedSubclasses == null) {
        return true;
    }
    if (module() != k.module()) {
        return false;
    }
    if (!isPublic() && !sameRuntimePackage(k)) {
        return false;
    }
    RuntimeConstantPool pool = getConstantPool();
    for (int index : permittedSubclasses.getClasses()) {
        if (k.getName().equals(pool.classAt(index).getName(pool))) {
            // resolve to k, but resolving here would cause circularity errors.
            return true;
        }
    }
    return false;
}
Also used : RuntimeConstantPool(com.oracle.truffle.espresso.classfile.RuntimeConstantPool) PermittedSubclassesAttribute(com.oracle.truffle.espresso.classfile.attributes.PermittedSubclassesAttribute)

Aggregations

PermittedSubclassesAttribute (com.oracle.truffle.espresso.classfile.attributes.PermittedSubclassesAttribute)3 RuntimeConstantPool (com.oracle.truffle.espresso.classfile.RuntimeConstantPool)2 TruffleBoundary (com.oracle.truffle.api.CompilerDirectives.TruffleBoundary)1 BootstrapMethodsAttribute (com.oracle.truffle.espresso.classfile.attributes.BootstrapMethodsAttribute)1 CodeAttribute (com.oracle.truffle.espresso.classfile.attributes.CodeAttribute)1 ConstantValueAttribute (com.oracle.truffle.espresso.classfile.attributes.ConstantValueAttribute)1 EnclosingMethodAttribute (com.oracle.truffle.espresso.classfile.attributes.EnclosingMethodAttribute)1 ExceptionsAttribute (com.oracle.truffle.espresso.classfile.attributes.ExceptionsAttribute)1 InnerClassesAttribute (com.oracle.truffle.espresso.classfile.attributes.InnerClassesAttribute)1 LineNumberTableAttribute (com.oracle.truffle.espresso.classfile.attributes.LineNumberTableAttribute)1 MethodParametersAttribute (com.oracle.truffle.espresso.classfile.attributes.MethodParametersAttribute)1 NestHostAttribute (com.oracle.truffle.espresso.classfile.attributes.NestHostAttribute)1 NestMembersAttribute (com.oracle.truffle.espresso.classfile.attributes.NestMembersAttribute)1 RecordAttribute (com.oracle.truffle.espresso.classfile.attributes.RecordAttribute)1 SignatureAttribute (com.oracle.truffle.espresso.classfile.attributes.SignatureAttribute)1 SourceDebugExtensionAttribute (com.oracle.truffle.espresso.classfile.attributes.SourceDebugExtensionAttribute)1 SourceFileAttribute (com.oracle.truffle.espresso.classfile.attributes.SourceFileAttribute)1 StackMapTableAttribute (com.oracle.truffle.espresso.classfile.attributes.StackMapTableAttribute)1 Name (com.oracle.truffle.espresso.descriptors.Symbol.Name)1 ArrayKlass (com.oracle.truffle.espresso.impl.ArrayKlass)1