public class com.oracle.truffle.api.test.utilities.NeverValidAssumptionTest
  minor version: 0
  major version: 59
  flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
  this_class: com.oracle.truffle.api.test.utilities.NeverValidAssumptionTest
  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.NeverValidAssumptionTest this
         0: .line 51
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
            return
        end local 0 // com.oracle.truffle.api.test.utilities.NeverValidAssumptionTest this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/test/utilities/NeverValidAssumptionTest;

  public void testCheck();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=2, args_size=1
        start local 0 // com.oracle.truffle.api.test.utilities.NeverValidAssumptionTest this
         0: .line 55
            getstatic com.oracle.truffle.api.utilities.NeverValidAssumption.INSTANCE:Lcom/oracle/truffle/api/utilities/NeverValidAssumption;
            astore 1 /* assumption */
        start local 1 // com.oracle.truffle.api.utilities.NeverValidAssumption assumption
         1: .line 58
            aload 1 /* assumption */
            invokevirtual com.oracle.truffle.api.utilities.NeverValidAssumption.check:()V
         2: .line 59
            invokestatic org.junit.Assert.fail:()V
         3: .line 60
            goto 7
      StackMap locals: com.oracle.truffle.api.test.utilities.NeverValidAssumptionTest com.oracle.truffle.api.utilities.NeverValidAssumption
      StackMap stack: com.oracle.truffle.api.nodes.InvalidAssumptionException
         4: pop
            goto 7
         5: .line 61
      StackMap locals:
      StackMap stack: java.lang.Exception
            pop
         6: .line 62
            invokestatic org.junit.Assert.fail:()V
         7: .line 64
      StackMap locals:
      StackMap stack:
            return
        end local 1 // com.oracle.truffle.api.utilities.NeverValidAssumption assumption
        end local 0 // com.oracle.truffle.api.test.utilities.NeverValidAssumptionTest this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    8     0        this  Lcom/oracle/truffle/api/test/utilities/NeverValidAssumptionTest;
            1    8     1  assumption  Lcom/oracle/truffle/api/utilities/NeverValidAssumption;
      Exception table:
        from    to  target  type
           1     3       4  Class com.oracle.truffle.api.nodes.InvalidAssumptionException
           1     3       5  Class java.lang.Exception
    RuntimeVisibleAnnotations: 
      org.junit.Test()

  public void testIsValid();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=2, args_size=1
        start local 0 // com.oracle.truffle.api.test.utilities.NeverValidAssumptionTest this
         0: .line 68
            getstatic com.oracle.truffle.api.utilities.NeverValidAssumption.INSTANCE:Lcom/oracle/truffle/api/utilities/NeverValidAssumption;
            astore 1 /* assumption */
        start local 1 // com.oracle.truffle.api.utilities.NeverValidAssumption assumption
         1: .line 69
            aload 1 /* assumption */
            invokevirtual com.oracle.truffle.api.utilities.NeverValidAssumption.isValid:()Z
            invokestatic org.junit.Assert.assertFalse:(Z)V
         2: .line 70
            return
        end local 1 // com.oracle.truffle.api.utilities.NeverValidAssumption assumption
        end local 0 // com.oracle.truffle.api.test.utilities.NeverValidAssumptionTest this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    3     0        this  Lcom/oracle/truffle/api/test/utilities/NeverValidAssumptionTest;
            1    3     1  assumption  Lcom/oracle/truffle/api/utilities/NeverValidAssumption;
    RuntimeVisibleAnnotations: 
      org.junit.Test()

  public void testInvalidateDoesNothing();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=2, args_size=1
        start local 0 // com.oracle.truffle.api.test.utilities.NeverValidAssumptionTest this
         0: .line 74
            getstatic com.oracle.truffle.api.utilities.NeverValidAssumption.INSTANCE:Lcom/oracle/truffle/api/utilities/NeverValidAssumption;
            astore 1 /* assumption */
        start local 1 // com.oracle.truffle.api.utilities.NeverValidAssumption assumption
         1: .line 75
            aload 1 /* assumption */
            invokevirtual com.oracle.truffle.api.utilities.NeverValidAssumption.invalidate:()V
         2: .line 76
            aload 1 /* assumption */
            invokevirtual com.oracle.truffle.api.utilities.NeverValidAssumption.invalidate:()V
         3: .line 77
            aload 1 /* assumption */
            invokevirtual com.oracle.truffle.api.utilities.NeverValidAssumption.invalidate:()V
         4: .line 78
            return
        end local 1 // com.oracle.truffle.api.utilities.NeverValidAssumption assumption
        end local 0 // com.oracle.truffle.api.test.utilities.NeverValidAssumptionTest this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    5     0        this  Lcom/oracle/truffle/api/test/utilities/NeverValidAssumptionTest;
            1    5     1  assumption  Lcom/oracle/truffle/api/utilities/NeverValidAssumption;
    RuntimeVisibleAnnotations: 
      org.junit.Test()
}
SourceFile: "NeverValidAssumptionTest.java"