public class com.oracle.truffle.api.test.utilities.CyclicAssumptionTest
minor version: 0
major version: 59
flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
this_class: com.oracle.truffle.api.test.utilities.CyclicAssumptionTest
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 // com.oracle.truffle.api.test.utilities.CyclicAssumptionTest this
0: .line 52
aload 0 /* this */
invokespecial java.lang.Object.<init>:()V
return
end local 0 // com.oracle.truffle.api.test.utilities.CyclicAssumptionTest this
LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lcom/oracle/truffle/api/test/utilities/CyclicAssumptionTest;
public void testIsValid();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=2, args_size=1
start local 0 // com.oracle.truffle.api.test.utilities.CyclicAssumptionTest this
0: .line 56
new com.oracle.truffle.api.utilities.CyclicAssumption
dup
ldc "cyclic-assumption"
invokespecial com.oracle.truffle.api.utilities.CyclicAssumption.<init>:(Ljava/lang/String;)V
astore 1 /* assumption */
start local 1 // com.oracle.truffle.api.utilities.CyclicAssumption assumption
1: .line 57
aload 1 /* assumption */
invokevirtual com.oracle.truffle.api.utilities.CyclicAssumption.getAssumption:()Lcom/oracle/truffle/api/Assumption;
invokeinterface com.oracle.truffle.api.Assumption.isValid:()Z
invokestatic org.junit.Assert.assertTrue:(Z)V
2: .line 58
return
end local 1 // com.oracle.truffle.api.utilities.CyclicAssumption assumption
end local 0 // com.oracle.truffle.api.test.utilities.CyclicAssumptionTest this
LocalVariableTable:
Start End Slot Name Signature
0 3 0 this Lcom/oracle/truffle/api/test/utilities/CyclicAssumptionTest;
1 3 1 assumption Lcom/oracle/truffle/api/utilities/CyclicAssumption;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testInvalidate();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=4, args_size=1
start local 0 // com.oracle.truffle.api.test.utilities.CyclicAssumptionTest this
0: .line 62
new com.oracle.truffle.api.utilities.CyclicAssumption
dup
ldc "cyclic-assumption"
invokespecial com.oracle.truffle.api.utilities.CyclicAssumption.<init>:(Ljava/lang/String;)V
astore 1 /* cyclicAssumption */
start local 1 // com.oracle.truffle.api.utilities.CyclicAssumption cyclicAssumption
1: .line 64
aload 1 /* cyclicAssumption */
invokevirtual com.oracle.truffle.api.utilities.CyclicAssumption.getAssumption:()Lcom/oracle/truffle/api/Assumption;
astore 2 /* firstAssumption */
start local 2 // com.oracle.truffle.api.Assumption firstAssumption
2: .line 65
ldc "cyclic-assumption"
aload 2 /* firstAssumption */
invokeinterface com.oracle.truffle.api.Assumption.getName:()Ljava/lang/String;
invokestatic org.junit.Assert.assertEquals:(Ljava/lang/Object;Ljava/lang/Object;)V
3: .line 66
aload 2 /* firstAssumption */
invokeinterface com.oracle.truffle.api.Assumption.isValid:()Z
invokestatic org.junit.Assert.assertTrue:(Z)V
4: .line 68
aload 1 /* cyclicAssumption */
invokevirtual com.oracle.truffle.api.utilities.CyclicAssumption.invalidate:()V
5: .line 70
aload 2 /* firstAssumption */
invokeinterface com.oracle.truffle.api.Assumption.isValid:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
6: .line 72
aload 1 /* cyclicAssumption */
invokevirtual com.oracle.truffle.api.utilities.CyclicAssumption.getAssumption:()Lcom/oracle/truffle/api/Assumption;
astore 3 /* secondAssumption */
start local 3 // com.oracle.truffle.api.Assumption secondAssumption
7: .line 73
ldc "cyclic-assumption"
aload 3 /* secondAssumption */
invokeinterface com.oracle.truffle.api.Assumption.getName:()Ljava/lang/String;
invokestatic org.junit.Assert.assertEquals:(Ljava/lang/Object;Ljava/lang/Object;)V
8: .line 74
aload 3 /* secondAssumption */
invokeinterface com.oracle.truffle.api.Assumption.isValid:()Z
invokestatic org.junit.Assert.assertTrue:(Z)V
9: .line 76
aload 1 /* cyclicAssumption */
invokevirtual com.oracle.truffle.api.utilities.CyclicAssumption.invalidate:()V
10: .line 78
aload 2 /* firstAssumption */
invokeinterface com.oracle.truffle.api.Assumption.isValid:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
11: .line 79
aload 3 /* secondAssumption */
invokeinterface com.oracle.truffle.api.Assumption.isValid:()Z
invokestatic org.junit.Assert.assertFalse:(Z)V
12: .line 80
return
end local 3 // com.oracle.truffle.api.Assumption secondAssumption
end local 2 // com.oracle.truffle.api.Assumption firstAssumption
end local 1 // com.oracle.truffle.api.utilities.CyclicAssumption cyclicAssumption
end local 0 // com.oracle.truffle.api.test.utilities.CyclicAssumptionTest this
LocalVariableTable:
Start End Slot Name Signature
0 13 0 this Lcom/oracle/truffle/api/test/utilities/CyclicAssumptionTest;
1 13 1 cyclicAssumption Lcom/oracle/truffle/api/utilities/CyclicAssumption;
2 13 2 firstAssumption Lcom/oracle/truffle/api/Assumption;
7 13 3 secondAssumption Lcom/oracle/truffle/api/Assumption;
RuntimeVisibleAnnotations:
org.junit.Test()
}
SourceFile: "CyclicAssumptionTest.java"