Search in sources :

Example 1 with MethodParametersAttribute

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

the class VM method JVM_GetMethodParameters.

@VmImpl(isJni = true)
@JavaType(Parameter[].class)
public StaticObject JVM_GetMethodParameters(@JavaType(Object.class) StaticObject executable, @Inject Meta meta, @Inject SubstitutionProfiler profiler) {
    assert meta.java_lang_reflect_Executable.isAssignableFrom(executable.getKlass());
    StaticObject parameterTypes = (StaticObject) executable.getKlass().lookupMethod(Name.getParameterTypes, Signature.Class_array).invokeDirect(executable);
    int numParams = parameterTypes.length();
    if (numParams == 0) {
        return StaticObject.NULL;
    }
    Method method;
    if (meta.java_lang_reflect_Method.isAssignableFrom(executable.getKlass())) {
        method = Method.getHostReflectiveMethodRoot(executable, meta);
    } else if (meta.java_lang_reflect_Constructor.isAssignableFrom(executable.getKlass())) {
        method = Method.getHostReflectiveConstructorRoot(executable, meta);
    } else {
        throw EspressoError.shouldNotReachHere();
    }
    MethodParametersAttribute methodParameters = (MethodParametersAttribute) method.getAttribute(Name.MethodParameters);
    if (methodParameters == null) {
        return StaticObject.NULL;
    }
    // Verify first.
    /*
         * If number of entries in ParametersAttribute is inconsistent with actual parameters from
         * the signature, it will be caught in guest java code.
         */
    int cpLength = method.getConstantPool().length();
    for (MethodParametersAttribute.Entry entry : methodParameters.getEntries()) {
        int nameIndex = entry.getNameIndex();
        if (nameIndex < 0 || nameIndex >= cpLength) {
            profiler.profile(0);
            throw meta.throwExceptionWithMessage(meta.java_lang_IllegalArgumentException, "Constant pool index out of bounds");
        }
        if (nameIndex != 0 && method.getConstantPool().tagAt(nameIndex) != ConstantPool.Tag.UTF8) {
            profiler.profile(1);
            throw meta.throwExceptionWithMessage(meta.java_lang_IllegalArgumentException, "Wrong type at constant pool index");
        }
    }
    // TODO(peterssen): Cache guest j.l.reflect.Parameter constructor.
    // Calling the constructor is just for validation, manually setting the fields would
    // be faster.
    Method parameterInit = meta.java_lang_reflect_Parameter.lookupDeclaredMethod(Name._init_, getSignatures().makeRaw(Type._void, /* name */
    Type.java_lang_String, /* modifiers */
    Type._int, /* executable */
    Type.java_lang_reflect_Executable, /* index */
    Type._int));
    // Use attribute's number of parameters.
    return meta.java_lang_reflect_Parameter.allocateReferenceArray(methodParameters.getEntries().length, new IntFunction<StaticObject>() {

        @Override
        public StaticObject apply(int index) {
            MethodParametersAttribute.Entry entry = methodParameters.getEntries()[index];
            StaticObject instance = meta.java_lang_reflect_Parameter.allocateInstance();
            // For a 0 index, give an empty name.
            StaticObject guestName;
            if (entry.getNameIndex() != 0) {
                guestName = meta.toGuestString(method.getConstantPool().symbolAt(entry.getNameIndex(), "parameter name").toString());
            } else {
                guestName = getJavaVersion().java9OrLater() ? StaticObject.NULL : meta.toGuestString("");
            }
            parameterInit.invokeDirect(/* this */
            instance, /* name */
            guestName, /* modifiers */
            entry.getAccessFlags(), /* executable */
            executable, /* index */
            index);
            return instance;
        }
    });
}
Also used : ModuleEntry(com.oracle.truffle.espresso.impl.ModuleTable.ModuleEntry) PackageEntry(com.oracle.truffle.espresso.impl.PackageTable.PackageEntry) StaticObject(com.oracle.truffle.espresso.runtime.StaticObject) Method(com.oracle.truffle.espresso.impl.Method) MethodParametersAttribute(com.oracle.truffle.espresso.classfile.attributes.MethodParametersAttribute) NoSafepoint(com.oracle.truffle.espresso.jni.NoSafepoint) JavaType(com.oracle.truffle.espresso.substitutions.JavaType)

Example 2 with MethodParametersAttribute

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

the class ClassfileParser method parseMethod.

private ParserMethod parseMethod(boolean isInterface) {
    int methodFlags = stream.readU2();
    int nameIndex = stream.readU2();
    int signatureIndex = stream.readU2();
    final Symbol<Name> name;
    final Symbol<Signature> signature;
    int attributeCount;
    Attribute[] methodAttributes;
    int extraFlags = methodFlags;
    boolean isClinit = false;
    boolean isInit = false;
    try (DebugCloseable closeable = METHOD_INIT.scope(context.getTimers())) {
        try (DebugCloseable nameCheck = NAME_CHECK.scope(context.getTimers())) {
            pool.utf8At(nameIndex).validateMethodName(true);
            name = pool.symbolAt(nameIndex, "method name");
            if (name.equals(Name._clinit_)) {
                // ACC_STRICT flag.
                if (majorVersion < JAVA_7_VERSION) {
                    // Backwards compatibility.
                    methodFlags = ACC_STATIC;
                } else if ((methodFlags & ACC_STATIC) == ACC_STATIC) {
                    methodFlags &= (ACC_STRICT | ACC_STATIC);
                } else if (context.getJavaVersion().java9OrLater()) {
                    throw ConstantPool.classFormatError("Method <clinit> is not static.");
                }
                // extraFlags = INITIALIZER | methodFlags;
                isClinit = true;
            } else if (name.equals(Name._init_)) {
                if (isInterface) {
                    throw ConstantPool.classFormatError("Method <init> is not valid in an interface.");
                }
                isInit = true;
            }
        }
        final boolean isStatic = Modifier.isStatic(extraFlags);
        verifyMethodFlags(methodFlags, isInterface, isInit, isClinit, majorVersion);
        /*
             * A method is a class or interface initialization method if all of the following are
             * true:
             *
             * It has the special name <clinit>.
             *
             * It is void (4.3.3). (checked earlier)
             *
             * In a class file whose version number is 51.0 or above, the method has its ACC_STATIC
             * flag set and takes no arguments (4.6).
             */
        try (DebugCloseable signatureCheck = SIGNATURE_CHECK.scope(context.getTimers())) {
            // Checks for void method if init or clinit.
            /*
                 * Obtain slot number for the signature. Forces a validation, but better in startup
                 * than going twice through the sequence, once for validation, once for slots.
                 */
            int slots = pool.utf8At(signatureIndex).validateSignatureGetSlots(isInit || isClinit);
            signature = Signatures.check(pool.symbolAt(signatureIndex, "method descriptor"));
            if (isClinit && majorVersion >= JAVA_7_VERSION) {
                // Checks clinit takes no arguments.
                if (!signature.equals(Signature._void)) {
                    throw ConstantPool.classFormatError("Method <clinit> has invalid signature: " + signature);
                }
            }
            if (slots + (isStatic ? 0 : 1) > 255) {
                throw ConstantPool.classFormatError("Too many arguments in method signature: " + signature);
            }
            if (name.equals(Name.finalize) && signature.equals(Signature._void) && !Modifier.isStatic(methodFlags) && !Type.java_lang_Object.equals(classType)) {
                // This class has a finalizer method implementation (ignore for
                // java.lang.Object).
                classFlags |= ACC_FINALIZER;
            }
        }
        attributeCount = stream.readU2();
        methodAttributes = spawnAttributesArray(attributeCount);
    }
    CodeAttribute codeAttribute = null;
    Attribute checkedExceptions = null;
    Attribute runtimeVisibleAnnotations = null;
    CommonAttributeParser commonAttributeParser = new CommonAttributeParser(InfoType.Method);
    MethodParametersAttribute methodParameters = null;
    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.Code)) {
            if (codeAttribute != null) {
                throw ConstantPool.classFormatError("Duplicate Code attribute");
            }
            try (DebugCloseable code = CODE_PARSE.scope(context.getTimers())) {
                methodAttributes[i] = codeAttribute = parseCodeAttribute(attributeName);
            }
        } else if (attributeName.equals(Name.Exceptions)) {
            if (checkedExceptions != null) {
                throw ConstantPool.classFormatError("Duplicate Exceptions attribute");
            }
            methodAttributes[i] = checkedExceptions = parseExceptions(attributeName);
        } else if (attributeName.equals(Name.Synthetic)) {
            methodFlags |= ACC_SYNTHETIC;
            methodAttributes[i] = checkedExceptions = new Attribute(attributeName, null);
        } else if (majorVersion >= JAVA_1_5_VERSION) {
            if (attributeName.equals(Name.RuntimeVisibleAnnotations)) {
                if (runtimeVisibleAnnotations != null) {
                    throw ConstantPool.classFormatError("Duplicate RuntimeVisibleAnnotations attribute");
                }
                // Check if java.lang.invoke.LambdaForm.Compiled is present here.
                byte[] data = stream.readByteArray(attributeSize);
                ClassfileStream subStream = new ClassfileStream(data, this.classfile);
                int count = subStream.readU2();
                for (int j = 0; j < count; j++) {
                    int typeIndex = parseAnnotation(subStream);
                    Utf8Constant constant = pool.utf8At(typeIndex, "annotation type");
                    // Validation of the type is done at runtime by guest java code.
                    Symbol<Type> annotType = constant.value();
                    if (Type.java_lang_invoke_LambdaForm$Compiled.equals(annotType)) {
                        methodFlags |= ACC_LAMBDA_FORM_COMPILED;
                    } else if (Type.java_lang_invoke_LambdaForm$Hidden.equals(annotType) || Type.jdk_internal_vm_annotation_Hidden.equals(annotType)) {
                        methodFlags |= ACC_HIDDEN;
                    } else if (Type.sun_reflect_CallerSensitive.equals(annotType) || Type.jdk_internal_reflect_CallerSensitive.equals(annotType)) {
                        methodFlags |= ACC_CALLER_SENSITIVE;
                    }
                }
                methodAttributes[i] = runtimeVisibleAnnotations = new Attribute(attributeName, data);
            } else if (attributeName.equals(Name.MethodParameters)) {
                if (methodParameters != null) {
                    throw ConstantPool.classFormatError("Duplicate MethodParameters attribute");
                }
                methodAttributes[i] = methodParameters = parseMethodParameters(attributeName);
            } else {
                Attribute attr = commonAttributeParser.parseCommonAttribute(attributeName, attributeSize);
                // stream.skip(attributeSize);
                methodAttributes[i] = attr == null ? new Attribute(attributeName, stream.readByteArray(attributeSize)) : attr;
            }
        } else {
            // stream.skip(attributeSize);
            methodAttributes[i] = new Attribute(attributeName, stream.readByteArray(attributeSize));
        }
        final int distance = stream.getPosition() - startPosition;
        if (attributeSize != distance) {
            final String message = "Invalid attribute_length for " + attributeName + " attribute (reported " + attributeSize + " != parsed " + distance + ")";
            throw ConstantPool.classFormatError(message);
        }
    }
    if (Modifier.isAbstract(methodFlags) || Modifier.isNative(methodFlags)) {
        if (codeAttribute != null) {
            throw ConstantPool.classFormatError("Code attribute supplied for native or abstract method");
        }
    } else {
        if (codeAttribute == null) {
            throw ConstantPool.classFormatError("Missing Code attribute");
        }
    }
    if (classDefinitionInfo.isHidden()) {
        methodFlags |= ACC_HIDDEN;
    }
    return ParserMethod.create(methodFlags, name, signature, methodAttributes);
}
Also used : 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) Symbol(com.oracle.truffle.espresso.descriptors.Symbol) MethodParametersAttribute(com.oracle.truffle.espresso.classfile.attributes.MethodParametersAttribute) Name(com.oracle.truffle.espresso.descriptors.Symbol.Name) Utf8Constant(com.oracle.truffle.espresso.classfile.constantpool.Utf8Constant) CodeAttribute(com.oracle.truffle.espresso.classfile.attributes.CodeAttribute) Signature(com.oracle.truffle.espresso.descriptors.Symbol.Signature) DebugCloseable(com.oracle.truffle.espresso.perf.DebugCloseable)

Aggregations

MethodParametersAttribute (com.oracle.truffle.espresso.classfile.attributes.MethodParametersAttribute)2 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 NestHostAttribute (com.oracle.truffle.espresso.classfile.attributes.NestHostAttribute)1 NestMembersAttribute (com.oracle.truffle.espresso.classfile.attributes.NestMembersAttribute)1 PermittedSubclassesAttribute (com.oracle.truffle.espresso.classfile.attributes.PermittedSubclassesAttribute)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 Utf8Constant (com.oracle.truffle.espresso.classfile.constantpool.Utf8Constant)1 Symbol (com.oracle.truffle.espresso.descriptors.Symbol)1 Name (com.oracle.truffle.espresso.descriptors.Symbol.Name)1 Signature (com.oracle.truffle.espresso.descriptors.Symbol.Signature)1