public class com.oracle.truffle.api.dsl.test.TypeSystemErrorsTest$CheckError2
minor version: 0
major version: 59
flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
this_class: com.oracle.truffle.api.dsl.test.TypeSystemErrorsTest$CheckError2
super_class: java.lang.Object
{
public void <init>();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: aload 0
invokespecial java.lang.Object.<init>:()V
return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lcom/oracle/truffle/api/dsl/test/TypeSystemErrorsTest$CheckError2;
public boolean isInt(java.lang.Object);
descriptor: (Ljava/lang/Object;)Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=2, args_size=2
start local 0 start local 1 0: aload 1
instanceof java.lang.Integer
ireturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lcom/oracle/truffle/api/dsl/test/TypeSystemErrorsTest$CheckError2;
0 1 1 value Ljava/lang/Object;
RuntimeVisibleAnnotations:
com.oracle.truffle.api.dsl.test.ExpectError(value = {"@TypeCheck annotated method isInt must be public and static."})
RuntimeInvisibleAnnotations:
com.oracle.truffle.api.dsl.TypeCheck(value = I)
RuntimeVisibleTypeAnnotations:
METHOD_RETURN
com.oracle.truffle.api.dsl.test.ExpectError(value = {"@TypeCheck annotated method isInt must be public and static."})
MethodParameters:
Name Flags
value
}
SourceFile: "TypeSystemErrorsTest.java"
NestHost: com.oracle.truffle.api.dsl.test.TypeSystemErrorsTest
InnerClasses:
public CheckError2 = com.oracle.truffle.api.dsl.test.TypeSystemErrorsTest$CheckError2 of com.oracle.truffle.api.dsl.test.TypeSystemErrorsTest
RuntimeInvisibleAnnotations:
com.oracle.truffle.api.dsl.TypeSystem(value = {I})