public class com.oracle.truffle.api.utilities.UnionAssumption implements com.oracle.truffle.api.Assumption
minor version: 0
major version: 59
flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
this_class: com.oracle.truffle.api.utilities.UnionAssumption
super_class: java.lang.Object
{
private final java.lang.String name;
descriptor: Ljava/lang/String;
flags: (0x0012) ACC_PRIVATE, ACC_FINAL
private final com.oracle.truffle.api.Assumption first;
descriptor: Lcom/oracle/truffle/api/Assumption;
flags: (0x0012) ACC_PRIVATE, ACC_FINAL
private final com.oracle.truffle.api.Assumption second;
descriptor: Lcom/oracle/truffle/api/Assumption;
flags: (0x0012) ACC_PRIVATE, ACC_FINAL
public void <init>(java.lang.String, com.oracle.truffle.api.Assumption, com.oracle.truffle.api.Assumption);
descriptor: (Ljava/lang/String;Lcom/oracle/truffle/api/Assumption;Lcom/oracle/truffle/api/Assumption;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=4, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 0
invokespecial java.lang.Object.<init>:()V
1: aload 0
aload 1
putfield com.oracle.truffle.api.utilities.UnionAssumption.name:Ljava/lang/String;
2: aload 0
aload 2
putfield com.oracle.truffle.api.utilities.UnionAssumption.first:Lcom/oracle/truffle/api/Assumption;
3: aload 0
aload 3
putfield com.oracle.truffle.api.utilities.UnionAssumption.second:Lcom/oracle/truffle/api/Assumption;
4: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lcom/oracle/truffle/api/utilities/UnionAssumption;
0 5 1 name Ljava/lang/String;
0 5 2 first Lcom/oracle/truffle/api/Assumption;
0 5 3 second Lcom/oracle/truffle/api/Assumption;
MethodParameters:
Name Flags
name
first
second
public void <init>(com.oracle.truffle.api.Assumption, com.oracle.truffle.api.Assumption);
descriptor: (Lcom/oracle/truffle/api/Assumption;Lcom/oracle/truffle/api/Assumption;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=3, args_size=3
start local 0 start local 1 start local 2 0: aload 0
aconst_null
aload 1
aload 2
invokespecial com.oracle.truffle.api.utilities.UnionAssumption.<init>:(Ljava/lang/String;Lcom/oracle/truffle/api/Assumption;Lcom/oracle/truffle/api/Assumption;)V
1: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 2 0 this Lcom/oracle/truffle/api/utilities/UnionAssumption;
0 2 1 first Lcom/oracle/truffle/api/Assumption;
0 2 2 second Lcom/oracle/truffle/api/Assumption;
MethodParameters:
Name Flags
first
second
public void check();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: aload 0
getfield com.oracle.truffle.api.utilities.UnionAssumption.first:Lcom/oracle/truffle/api/Assumption;
invokeinterface com.oracle.truffle.api.Assumption.check:()V
1: aload 0
getfield com.oracle.truffle.api.utilities.UnionAssumption.second:Lcom/oracle/truffle/api/Assumption;
invokeinterface com.oracle.truffle.api.Assumption.check:()V
2: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 this Lcom/oracle/truffle/api/utilities/UnionAssumption;
Exceptions:
throws com.oracle.truffle.api.nodes.InvalidAssumptionException
public void invalidate();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: aload 0
getfield com.oracle.truffle.api.utilities.UnionAssumption.first:Lcom/oracle/truffle/api/Assumption;
invokeinterface com.oracle.truffle.api.Assumption.invalidate:()V
1: aload 0
getfield com.oracle.truffle.api.utilities.UnionAssumption.second:Lcom/oracle/truffle/api/Assumption;
invokeinterface com.oracle.truffle.api.Assumption.invalidate:()V
2: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 this Lcom/oracle/truffle/api/utilities/UnionAssumption;
public void invalidate(java.lang.String);
descriptor: (Ljava/lang/String;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=2, args_size=2
start local 0 start local 1 0: aload 0
getfield com.oracle.truffle.api.utilities.UnionAssumption.first:Lcom/oracle/truffle/api/Assumption;
aload 1
invokeinterface com.oracle.truffle.api.Assumption.invalidate:(Ljava/lang/String;)V
1: aload 0
getfield com.oracle.truffle.api.utilities.UnionAssumption.second:Lcom/oracle/truffle/api/Assumption;
aload 1
invokeinterface com.oracle.truffle.api.Assumption.invalidate:(Ljava/lang/String;)V
2: return
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 this Lcom/oracle/truffle/api/utilities/UnionAssumption;
0 3 1 message Ljava/lang/String;
MethodParameters:
Name Flags
message
public java.lang.String getName();
descriptor: ()Ljava/lang/String;
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: aload 0
getfield com.oracle.truffle.api.utilities.UnionAssumption.name:Ljava/lang/String;
areturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lcom/oracle/truffle/api/utilities/UnionAssumption;
public boolean isValid();
descriptor: ()Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: aload 0
getfield com.oracle.truffle.api.utilities.UnionAssumption.first:Lcom/oracle/truffle/api/Assumption;
invokeinterface com.oracle.truffle.api.Assumption.isValid:()Z
ifeq 1
aload 0
getfield com.oracle.truffle.api.utilities.UnionAssumption.second:Lcom/oracle/truffle/api/Assumption;
invokeinterface com.oracle.truffle.api.Assumption.isValid:()Z
ifeq 1
iconst_1
ireturn
StackMap locals:
StackMap stack:
1: iconst_0
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 2 0 this Lcom/oracle/truffle/api/utilities/UnionAssumption;
}
SourceFile: "UnionAssumption.java"