public final class com.oracle.truffle.api.utilities.AlwaysValidAssumption implements com.oracle.truffle.api.Assumption
  minor version: 0
  major version: 59
  flags: flags: (0x0031) ACC_PUBLIC, ACC_FINAL, ACC_SUPER
  this_class: com.oracle.truffle.api.utilities.AlwaysValidAssumption
  super_class: java.lang.Object
{
  public static final com.oracle.truffle.api.utilities.AlwaysValidAssumption INSTANCE;
    descriptor: Lcom/oracle/truffle/api/utilities/AlwaysValidAssumption;
    flags: (0x0019) ACC_PUBLIC, ACC_STATIC, ACC_FINAL

  static void <clinit>();
    descriptor: ()V
    flags: (0x0008) ACC_STATIC
    Code:
      stack=2, locals=0, args_size=0
         0: .line 54
            new com.oracle.truffle.api.utilities.AlwaysValidAssumption
            dup
            invokespecial com.oracle.truffle.api.utilities.AlwaysValidAssumption.<init>:()V
            putstatic com.oracle.truffle.api.utilities.AlwaysValidAssumption.INSTANCE:Lcom/oracle/truffle/api/utilities/AlwaysValidAssumption;
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  private void <init>();
    descriptor: ()V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.truffle.api.utilities.AlwaysValidAssumption this
         0: .line 56
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 57
            return
        end local 0 // com.oracle.truffle.api.utilities.AlwaysValidAssumption this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  this  Lcom/oracle/truffle/api/utilities/AlwaysValidAssumption;

  public void check();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=0, locals=1, args_size=1
        start local 0 // com.oracle.truffle.api.utilities.AlwaysValidAssumption this
         0: .line 62
            return
        end local 0 // com.oracle.truffle.api.utilities.AlwaysValidAssumption this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/utilities/AlwaysValidAssumption;
    Exceptions:
      throws com.oracle.truffle.api.nodes.InvalidAssumptionException

  public void invalidate();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=1, args_size=1
        start local 0 // com.oracle.truffle.api.utilities.AlwaysValidAssumption this
         0: .line 67
            new java.lang.UnsupportedOperationException
            dup
            ldc "Cannot invalidate this assumption - it is always valid"
            invokespecial java.lang.UnsupportedOperationException.<init>:(Ljava/lang/String;)V
            athrow
        end local 0 // com.oracle.truffle.api.utilities.AlwaysValidAssumption this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/utilities/AlwaysValidAssumption;

  public void invalidate(java.lang.String);
    descriptor: (Ljava/lang/String;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=2, args_size=2
        start local 0 // com.oracle.truffle.api.utilities.AlwaysValidAssumption this
        start local 1 // java.lang.String message
         0: .line 73
            aload 0 /* this */
            invokevirtual com.oracle.truffle.api.utilities.AlwaysValidAssumption.invalidate:()V
         1: .line 74
            return
        end local 1 // java.lang.String message
        end local 0 // com.oracle.truffle.api.utilities.AlwaysValidAssumption this
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    2     0     this  Lcom/oracle/truffle/api/utilities/AlwaysValidAssumption;
            0    2     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 // com.oracle.truffle.api.utilities.AlwaysValidAssumption this
         0: .line 79
            aload 0 /* this */
            invokevirtual java.lang.Object.getClass:()Ljava/lang/Class;
            invokevirtual java.lang.Class.getName:()Ljava/lang/String;
            areturn
        end local 0 // com.oracle.truffle.api.utilities.AlwaysValidAssumption this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/utilities/AlwaysValidAssumption;

  public boolean isValid();
    descriptor: ()Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.truffle.api.utilities.AlwaysValidAssumption this
         0: .line 85
            iconst_1
            ireturn
        end local 0 // com.oracle.truffle.api.utilities.AlwaysValidAssumption this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/utilities/AlwaysValidAssumption;
}
SourceFile: "AlwaysValidAssumption.java"