class com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType3 extends com.oracle.truffle.api.dsl.test.TypeSystemTest$ValueNode
minor version: 0
major version: 59
flags: flags: (0x0020) ACC_SUPER
this_class: com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType3
super_class: com.oracle.truffle.api.dsl.test.TypeSystemTest$ValueNode
{
void <init>();
descriptor: ()V
flags: (0x0000)
Code:
stack=1, locals=1, args_size=1
start local 0 // com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType3 this
0: .line 99
aload 0 /* this */
invokespecial com.oracle.truffle.api.dsl.test.TypeSystemTest$ValueNode.<init>:()V
return
end local 0 // com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType3 this
LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lcom/oracle/truffle/api/dsl/test/ReachabilityTest$ReachabilityType3;
com.oracle.truffle.api.dsl.test.TypeSystemTest$Abstract do2(com.oracle.truffle.api.dsl.test.TypeSystemTest$Abstract);
descriptor: (Lcom/oracle/truffle/api/dsl/test/TypeSystemTest$Abstract;)Lcom/oracle/truffle/api/dsl/test/TypeSystemTest$Abstract;
flags: (0x0000)
Code:
stack=1, locals=2, args_size=2
start local 0 // com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType3 this
start local 1 // com.oracle.truffle.api.dsl.test.TypeSystemTest$Abstract a
0: .line 102
aload 1 /* a */
areturn
end local 1 // com.oracle.truffle.api.dsl.test.TypeSystemTest$Abstract a
end local 0 // com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType3 this
LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lcom/oracle/truffle/api/dsl/test/ReachabilityTest$ReachabilityType3;
0 1 1 a Lcom/oracle/truffle/api/dsl/test/TypeSystemTest$Abstract;
RuntimeVisibleAnnotations:
com.oracle.truffle.api.dsl.Specialization()
MethodParameters:
Name Flags
a
com.oracle.truffle.api.dsl.test.TypeSystemTest$BExtendsAbstract do1(com.oracle.truffle.api.dsl.test.TypeSystemTest$BExtendsAbstract);
descriptor: (Lcom/oracle/truffle/api/dsl/test/TypeSystemTest$BExtendsAbstract;)Lcom/oracle/truffle/api/dsl/test/TypeSystemTest$BExtendsAbstract;
flags: (0x0000)
Code:
stack=1, locals=2, args_size=2
start local 0 // com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType3 this
start local 1 // com.oracle.truffle.api.dsl.test.TypeSystemTest$BExtendsAbstract a
0: .line 108
aload 1 /* a */
areturn
end local 1 // com.oracle.truffle.api.dsl.test.TypeSystemTest$BExtendsAbstract a
end local 0 // com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType3 this
LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lcom/oracle/truffle/api/dsl/test/ReachabilityTest$ReachabilityType3;
0 1 1 a Lcom/oracle/truffle/api/dsl/test/TypeSystemTest$BExtendsAbstract;
RuntimeVisibleAnnotations:
com.oracle.truffle.api.dsl.test.ExpectError(value = {"Specialization is not reachable. It is shadowed by do2(Abstract)."})
com.oracle.truffle.api.dsl.Specialization()
RuntimeVisibleTypeAnnotations:
METHOD_RETURN
com.oracle.truffle.api.dsl.test.ExpectError(value = {"Specialization is not reachable. It is shadowed by do2(Abstract)."})
MethodParameters:
Name Flags
a
}
SourceFile: "ReachabilityTest.java"
NestHost: com.oracle.truffle.api.dsl.test.ReachabilityTest
InnerClasses:
ReachabilityType3 = com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType3 of com.oracle.truffle.api.dsl.test.ReachabilityTest
abstract Abstract = com.oracle.truffle.api.dsl.test.TypeSystemTest$Abstract of com.oracle.truffle.api.dsl.test.TypeSystemTest
final BExtendsAbstract = com.oracle.truffle.api.dsl.test.TypeSystemTest$BExtendsAbstract of com.oracle.truffle.api.dsl.test.TypeSystemTest
public ValueNode = com.oracle.truffle.api.dsl.test.TypeSystemTest$ValueNode of com.oracle.truffle.api.dsl.test.TypeSystemTest
RuntimeInvisibleAnnotations:
com.oracle.truffle.api.dsl.NodeChildren(value = {com.oracle.truffle.api.dsl.NodeChild(value = "a")})