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;
}
});
}
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);
}
Aggregations