public class com.oracle.truffle.api.utilities.UnionAssumption implements com.oracle.truffle.api.Assumption
  minor version: 0
  major version: 59
  flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
  this_class: com.oracle.truffle.api.utilities.UnionAssumption
  super_class: java.lang.Object
{
  private final java.lang.String name;
    descriptor: Ljava/lang/String;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  private final com.oracle.truffle.api.Assumption first;
    descriptor: Lcom/oracle/truffle/api/Assumption;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  private final com.oracle.truffle.api.Assumption second;
    descriptor: Lcom/oracle/truffle/api/Assumption;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  public void <init>(java.lang.String, com.oracle.truffle.api.Assumption, com.oracle.truffle.api.Assumption);
    descriptor: (Ljava/lang/String;Lcom/oracle/truffle/api/Assumption;Lcom/oracle/truffle/api/Assumption;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=4, args_size=4
        start local 0 // com.oracle.truffle.api.utilities.UnionAssumption this
        start local 1 // java.lang.String name
        start local 2 // com.oracle.truffle.api.Assumption first
        start local 3 // com.oracle.truffle.api.Assumption second
         0: .line 59
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 60
            aload 0 /* this */
            aload 1 /* name */
            putfield com.oracle.truffle.api.utilities.UnionAssumption.name:Ljava/lang/String;
         2: .line 61
            aload 0 /* this */
            aload 2 /* first */
            putfield com.oracle.truffle.api.utilities.UnionAssumption.first:Lcom/oracle/truffle/api/Assumption;
         3: .line 62
            aload 0 /* this */
            aload 3 /* second */
            putfield com.oracle.truffle.api.utilities.UnionAssumption.second:Lcom/oracle/truffle/api/Assumption;
         4: .line 63
            return
        end local 3 // com.oracle.truffle.api.Assumption second
        end local 2 // com.oracle.truffle.api.Assumption first
        end local 1 // java.lang.String name
        end local 0 // com.oracle.truffle.api.utilities.UnionAssumption this
      LocalVariableTable:
        Start  End  Slot    Name  Signature
            0    5     0    this  Lcom/oracle/truffle/api/utilities/UnionAssumption;
            0    5     1    name  Ljava/lang/String;
            0    5     2   first  Lcom/oracle/truffle/api/Assumption;
            0    5     3  second  Lcom/oracle/truffle/api/Assumption;
    MethodParameters:
        Name  Flags
      name    
      first   
      second  

  public void <init>(com.oracle.truffle.api.Assumption, com.oracle.truffle.api.Assumption);
    descriptor: (Lcom/oracle/truffle/api/Assumption;Lcom/oracle/truffle/api/Assumption;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=3, args_size=3
        start local 0 // com.oracle.truffle.api.utilities.UnionAssumption this
        start local 1 // com.oracle.truffle.api.Assumption first
        start local 2 // com.oracle.truffle.api.Assumption second
         0: .line 67
            aload 0 /* this */
            aconst_null
            aload 1 /* first */
            aload 2 /* second */
            invokespecial com.oracle.truffle.api.utilities.UnionAssumption.<init>:(Ljava/lang/String;Lcom/oracle/truffle/api/Assumption;Lcom/oracle/truffle/api/Assumption;)V
         1: .line 68
            return
        end local 2 // com.oracle.truffle.api.Assumption second
        end local 1 // com.oracle.truffle.api.Assumption first
        end local 0 // com.oracle.truffle.api.utilities.UnionAssumption this
      LocalVariableTable:
        Start  End  Slot    Name  Signature
            0    2     0    this  Lcom/oracle/truffle/api/utilities/UnionAssumption;
            0    2     1   first  Lcom/oracle/truffle/api/Assumption;
            0    2     2  second  Lcom/oracle/truffle/api/Assumption;
    MethodParameters:
        Name  Flags
      first   
      second  

  public void check();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.truffle.api.utilities.UnionAssumption this
         0: .line 73
            aload 0 /* this */
            getfield com.oracle.truffle.api.utilities.UnionAssumption.first:Lcom/oracle/truffle/api/Assumption;
            invokeinterface com.oracle.truffle.api.Assumption.check:()V
         1: .line 74
            aload 0 /* this */
            getfield com.oracle.truffle.api.utilities.UnionAssumption.second:Lcom/oracle/truffle/api/Assumption;
            invokeinterface com.oracle.truffle.api.Assumption.check:()V
         2: .line 75
            return
        end local 0 // com.oracle.truffle.api.utilities.UnionAssumption this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    3     0  this  Lcom/oracle/truffle/api/utilities/UnionAssumption;
    Exceptions:
      throws com.oracle.truffle.api.nodes.InvalidAssumptionException

  public void invalidate();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.truffle.api.utilities.UnionAssumption this
         0: .line 80
            aload 0 /* this */
            getfield com.oracle.truffle.api.utilities.UnionAssumption.first:Lcom/oracle/truffle/api/Assumption;
            invokeinterface com.oracle.truffle.api.Assumption.invalidate:()V
         1: .line 81
            aload 0 /* this */
            getfield com.oracle.truffle.api.utilities.UnionAssumption.second:Lcom/oracle/truffle/api/Assumption;
            invokeinterface com.oracle.truffle.api.Assumption.invalidate:()V
         2: .line 82
            return
        end local 0 // com.oracle.truffle.api.utilities.UnionAssumption this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    3     0  this  Lcom/oracle/truffle/api/utilities/UnionAssumption;

  public void invalidate(java.lang.String);
    descriptor: (Ljava/lang/String;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // com.oracle.truffle.api.utilities.UnionAssumption this
        start local 1 // java.lang.String message
         0: .line 87
            aload 0 /* this */
            getfield com.oracle.truffle.api.utilities.UnionAssumption.first:Lcom/oracle/truffle/api/Assumption;
            aload 1 /* message */
            invokeinterface com.oracle.truffle.api.Assumption.invalidate:(Ljava/lang/String;)V
         1: .line 88
            aload 0 /* this */
            getfield com.oracle.truffle.api.utilities.UnionAssumption.second:Lcom/oracle/truffle/api/Assumption;
            aload 1 /* message */
            invokeinterface com.oracle.truffle.api.Assumption.invalidate:(Ljava/lang/String;)V
         2: .line 89
            return
        end local 1 // java.lang.String message
        end local 0 // com.oracle.truffle.api.utilities.UnionAssumption this
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    3     0     this  Lcom/oracle/truffle/api/utilities/UnionAssumption;
            0    3     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.UnionAssumption this
         0: .line 94
            aload 0 /* this */
            getfield com.oracle.truffle.api.utilities.UnionAssumption.name:Ljava/lang/String;
            areturn
        end local 0 // com.oracle.truffle.api.utilities.UnionAssumption this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/utilities/UnionAssumption;

  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.UnionAssumption this
         0: .line 100
            aload 0 /* this */
            getfield com.oracle.truffle.api.utilities.UnionAssumption.first:Lcom/oracle/truffle/api/Assumption;
            invokeinterface com.oracle.truffle.api.Assumption.isValid:()Z
            ifeq 1
            aload 0 /* this */
            getfield com.oracle.truffle.api.utilities.UnionAssumption.second:Lcom/oracle/truffle/api/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.utilities.UnionAssumption this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  this  Lcom/oracle/truffle/api/utilities/UnionAssumption;
}
SourceFile: "UnionAssumption.java"