public interface com.oracle.truffle.api.Assumption
  minor version: 0
  major version: 59
  flags: flags: (0x0601) ACC_PUBLIC, ACC_INTERFACE, ACC_ABSTRACT
  this_class: com.oracle.truffle.api.Assumption
  super_class: java.lang.Object
{
  public abstract void check();
    descriptor: ()V
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT
    Exceptions:
      throws com.oracle.truffle.api.nodes.InvalidAssumptionException

  public abstract boolean isValid();
    descriptor: ()Z
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT

  public abstract void invalidate();
    descriptor: ()V
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT

  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.Assumption this
        start local 1 // java.lang.String message
         0: .line 97
            aload 0 /* this */
            invokeinterface com.oracle.truffle.api.Assumption.invalidate:()V
         1: .line 98
            return
        end local 1 // java.lang.String message
        end local 0 // com.oracle.truffle.api.Assumption this
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    2     0     this  Lcom/oracle/truffle/api/Assumption;
            0    2     1  message  Ljava/lang/String;
    MethodParameters:
         Name  Flags
      message  

  public abstract java.lang.String getName();
    descriptor: ()Ljava/lang/String;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT

  public static boolean isValidAssumption(com.oracle.truffle.api.Assumption);
    descriptor: (Lcom/oracle/truffle/api/Assumption;)Z
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.truffle.api.Assumption assumption
         0: .line 114
            aload 0 /* assumption */
            ifnull 1
            aload 0 /* 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 // com.oracle.truffle.api.Assumption assumption
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    2     0  assumption  Lcom/oracle/truffle/api/Assumption;
    MethodParameters:
            Name  Flags
      assumption  

  public static boolean isValidAssumption(com.oracle.truffle.api.Assumption[]);
    descriptor: ([Lcom/oracle/truffle/api/Assumption;)Z
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=2, locals=5, args_size=1
        start local 0 // com.oracle.truffle.api.Assumption[] assumptions
         0: .line 127
            aload 0 /* assumptions */
            invokestatic com.oracle.truffle.api.CompilerDirectives.isPartialEvaluationConstant:(Ljava/lang/Object;)Z
            pop
         1: .line 128
            aload 0 /* assumptions */
            ifnonnull 3
         2: .line 129
            iconst_0
            ireturn
         3: .line 131
      StackMap locals:
      StackMap stack:
            aload 0 /* assumptions */
            dup
            astore 4
            arraylength
            istore 3
            iconst_0
            istore 2
            goto 8
      StackMap locals: com.oracle.truffle.api.Assumption[] top int int com.oracle.truffle.api.Assumption[]
      StackMap stack:
         4: aload 4
            iload 2
            aaload
            astore 1 /* assumption */
        start local 1 // com.oracle.truffle.api.Assumption assumption
         5: .line 132
            aload 1 /* assumption */
            invokestatic com.oracle.truffle.api.Assumption.isValidAssumption:(Lcom/oracle/truffle/api/Assumption;)Z
            ifne 7
         6: .line 133
            iconst_0
            ireturn
        end local 1 // com.oracle.truffle.api.Assumption assumption
         7: .line 131
      StackMap locals:
      StackMap stack:
            iinc 2 1
      StackMap locals:
      StackMap stack:
         8: iload 2
            iload 3
            if_icmplt 4
         9: .line 136
            iconst_1
            ireturn
        end local 0 // com.oracle.truffle.api.Assumption[] assumptions
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0   10     0  assumptions  [Lcom/oracle/truffle/api/Assumption;
            5    7     1   assumption  Lcom/oracle/truffle/api/Assumption;
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.nodes.ExplodeLoop()
    MethodParameters:
             Name  Flags
      assumptions  
}
SourceFile: "Assumption.java"