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"