org.eclipse.jdt/org.eclipse.jdt.core/3.20.0 : org/eclipse/jdt/internal/compiler/lookup/ConstraintExceptionFormula.class

ConstraintExceptionFormula
http://www.eclipse.org/jdt: Java Development Tools Core (Eclipse Foundation)
Eclipse Public License - v 2.0
public class org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula extends org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
  minor version: 0
  major version: 59
  flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
  this_class: org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula
  super_class: org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
{
  org.eclipse.jdt.internal.compiler.ast.FunctionalExpression left;
    descriptor: Lorg/eclipse/jdt/internal/compiler/ast/FunctionalExpression;
    flags: (0x0000) 

  public void <init>(org.eclipse.jdt.internal.compiler.ast.FunctionalExpression, org.eclipse.jdt.internal.compiler.lookup.TypeBinding);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/ast/FunctionalExpression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=3, args_size=3
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.ast.FunctionalExpression left
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding type
         0: .line 39
            aload 0 /* this */
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.<init>:()V
         1: .line 40
            aload 0 /* this */
            aload 1 /* left */
            putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/FunctionalExpression;
         2: .line 41
            aload 0 /* this */
            aload 2 /* type */
            putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
         3: .line 42
            aload 0 /* this */
            bipush 7
            putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.relation:I
         4: .line 43
            return
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding type
        end local 1 // org.eclipse.jdt.internal.compiler.ast.FunctionalExpression left
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    5     0  this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExceptionFormula;
            0    5     1  left  Lorg/eclipse/jdt/internal/compiler/ast/FunctionalExpression;
            0    5     2  type  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
    MethodParameters:
      Name  Flags
      left  
      type  

  public java.lang.Object reduce(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/lang/Object;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=12, args_size=2
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
         0: .line 48
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            astore 2 /* scope */
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.Scope scope
         1: .line 49
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 2 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isFunctionalInterface:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
            ifne 3
         2: .line 50
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
         3: .line 51
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.Scope
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 2 /* scope */
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.getSingleAbstractMethod:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Z)Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            astore 3 /* sam */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding sam
         4: .line 52
            aload 3 /* sam */
            ifnonnull 6
         5: .line 53
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
         6: .line 54
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.MethodBinding
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/FunctionalExpression;
            instanceof org.eclipse.jdt.internal.compiler.ast.LambdaExpression
            ifeq 17
         7: .line 55
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/FunctionalExpression;
            checkcast org.eclipse.jdt.internal.compiler.ast.LambdaExpression
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.argumentsTypeElided:()Z
            ifeq 15
         8: .line 56
            aload 3 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            arraylength
            istore 4 /* nParam */
        start local 4 // int nParam
         9: .line 57
            iconst_0
            istore 5 /* i */
        start local 5 // int i
        10: goto 14
        11: .line 58
      StackMap locals: int int
      StackMap stack:
            aload 3 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 5 /* i */
            aaload
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifne 13
        12: .line 59
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        13: .line 57
      StackMap locals:
      StackMap stack:
            iinc 5 /* i */ 1
      StackMap locals:
      StackMap stack:
        14: iload 5 /* i */
            iload 4 /* nParam */
            if_icmplt 11
        end local 5 // int i
        end local 4 // int nParam
        15: .line 61
      StackMap locals:
      StackMap stack:
            aload 3 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            getstatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.VOID:Lorg/eclipse/jdt/internal/compiler/lookup/VoidTypeBinding;
            if_acmpeq 27
            aload 3 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifne 27
        16: .line 62
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        17: .line 64
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/FunctionalExpression;
            checkcast org.eclipse.jdt.internal.compiler.ast.ReferenceExpression
            invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.isExactMethodReference:()Z
            ifne 27
        18: .line 65
            aload 3 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            arraylength
            istore 4 /* nParam */
        start local 4 // int nParam
        19: .line 66
            iconst_0
            istore 5 /* i */
        start local 5 // int i
        20: goto 24
        21: .line 67
      StackMap locals: int int
      StackMap stack:
            aload 3 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 5 /* i */
            aaload
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifne 23
        22: .line 68
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        23: .line 66
      StackMap locals:
      StackMap stack:
            iinc 5 /* i */ 1
      StackMap locals:
      StackMap stack:
        24: iload 5 /* i */
            iload 4 /* nParam */
            if_icmplt 21
        end local 5 // int i
        25: .line 69
            aload 3 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            getstatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.VOID:Lorg/eclipse/jdt/internal/compiler/lookup/VoidTypeBinding;
            if_acmpeq 27
            aload 3 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifne 27
        26: .line 70
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        end local 4 // int nParam
        27: .line 73
      StackMap locals:
      StackMap stack:
            aload 3 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.thrownExceptions:[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            astore 4 /* thrown */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] thrown
        28: .line 74
            aload 4 /* thrown */
            arraylength
            anewarray org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            astore 5 /* e */
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] e
        29: .line 75
            iconst_0
            istore 6 /* n */
        start local 6 // int n
        30: .line 76
            iconst_0
            istore 7 /* i */
        start local 7 // int i
        31: goto 35
        32: .line 77
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] int int
      StackMap stack:
            aload 4 /* thrown */
            iload 7 /* i */
            aaload
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifne 34
        33: .line 78
            aload 5 /* e */
            iload 6 /* n */
            iinc 6 /* n */ 1
            aload 4 /* thrown */
            iload 7 /* i */
            aaload
            checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            aastore
        34: .line 76
      StackMap locals:
      StackMap stack:
            iinc 7 /* i */ 1
      StackMap locals:
      StackMap stack:
        35: iload 7 /* i */
            aload 4 /* thrown */
            arraylength
            if_icmplt 32
        end local 7 // int i
        36: .line 83
            iload 6 /* n */
            ifne 38
        37: .line 84
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        38: .line 86
      StackMap locals:
      StackMap stack:
            aconst_null
            astore 7 /* ePrime */
        start local 7 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] ePrime
        39: .line 87
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/FunctionalExpression;
            instanceof org.eclipse.jdt.internal.compiler.ast.LambdaExpression
            ifeq 46
        40: .line 88
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/FunctionalExpression;
            checkcast org.eclipse.jdt.internal.compiler.ast.LambdaExpression
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            aload 1 /* inferenceContext */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.resolveExpressionExpecting:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;
            astore 8 /* lambda */
        start local 8 // org.eclipse.jdt.internal.compiler.ast.LambdaExpression lambda
        41: .line 89
            aload 8 /* lambda */
            ifnonnull 43
        42: .line 90
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        43: .line 91
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.ast.LambdaExpression
      StackMap stack:
            aload 8 /* lambda */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.getThrownExceptions:()Ljava/util/Set;
            astore 9 /* ePrimeSet */
        start local 9 // java.util.Set ePrimeSet
        44: .line 92
            aload 9 /* ePrimeSet */
            aload 9 /* ePrimeSet */
            invokeinterface java.util.Set.size:()I
            anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBinding
            invokeinterface java.util.Set.toArray:([Ljava/lang/Object;)[Ljava/lang/Object;
            checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
            astore 7 /* ePrime */
        end local 9 // java.util.Set ePrimeSet
        end local 8 // org.eclipse.jdt.internal.compiler.ast.LambdaExpression lambda
        45: .line 93
            goto 52
        46: .line 94
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/FunctionalExpression;
            checkcast org.eclipse.jdt.internal.compiler.ast.ReferenceExpression
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 2 /* scope */
            aload 1 /* inferenceContext */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.resolveExpressionExpecting:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;
            astore 8 /* referenceExpression */
        start local 8 // org.eclipse.jdt.internal.compiler.ast.ReferenceExpression referenceExpression
        47: .line 95
            aload 8 /* referenceExpression */
            ifnull 48
            aload 8 /* referenceExpression */
            getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.binding:Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            goto 49
      StackMap locals: org.eclipse.jdt.internal.compiler.ast.ReferenceExpression
      StackMap stack:
        48: aconst_null
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.MethodBinding
        49: astore 9 /* method */
        start local 9 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        50: .line 96
            aload 9 /* method */
            ifnull 52
        51: .line 97
            aload 9 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.thrownExceptions:[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            astore 7 /* ePrime */
        end local 9 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        end local 8 // org.eclipse.jdt.internal.compiler.ast.ReferenceExpression referenceExpression
        52: .line 99
      StackMap locals:
      StackMap stack:
            aload 7 /* ePrime */
            ifnonnull 54
        53: .line 100
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        54: .line 101
      StackMap locals:
      StackMap stack:
            aload 7 /* ePrime */
            arraylength
            istore 8 /* m */
        start local 8 // int m
        55: .line 102
            new java.util.ArrayList
            dup
            invokespecial java.util.ArrayList.<init>:()V
            astore 9 /* result */
        start local 9 // java.util.List result
        56: .line 103
            iconst_0
            istore 10 /* i */
        start local 10 // int i
        57: goto 72
        58: .line 104
      StackMap locals: int java.util.List int
      StackMap stack:
            aload 7 /* ePrime */
            iload 10 /* i */
            aaload
            iconst_0
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isUncheckedException:(Z)Z
            ifeq 60
        59: .line 105
            goto 71
        60: .line 106
      StackMap locals:
      StackMap stack:
            iconst_0
            istore 11 /* j */
        start local 11 // int j
        61: goto 65
        62: .line 107
      StackMap locals: int
      StackMap stack:
            aload 4 /* thrown */
            iload 11 /* j */
            aaload
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifeq 64
            aload 7 /* ePrime */
            iload 10 /* i */
            aaload
            aload 4 /* thrown */
            iload 11 /* j */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 64
        63: .line 108
            goto 71
        64: .line 106
      StackMap locals:
      StackMap stack:
            iinc 11 /* j */ 1
      StackMap locals:
      StackMap stack:
        65: iload 11 /* j */
            aload 4 /* thrown */
            arraylength
            if_icmplt 62
        end local 11 // int j
        66: .line 109
            iconst_0
            istore 11 /* j */
        start local 11 // int j
        67: goto 70
        68: .line 110
      StackMap locals:
      StackMap stack:
            aload 9 /* result */
            aload 7 /* ePrime */
            iload 10 /* i */
            aaload
            aload 5 /* e */
            iload 11 /* j */
            aaload
            iconst_2
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        69: .line 109
            iinc 11 /* j */ 1
      StackMap locals:
      StackMap stack:
        70: iload 11 /* j */
            iload 6 /* n */
            if_icmplt 68
        end local 11 // int j
        71: .line 103
      StackMap locals:
      StackMap stack:
            iinc 10 /* i */ 1
      StackMap locals:
      StackMap stack:
        72: iload 10 /* i */
            iload 8 /* m */
            if_icmplt 58
        end local 10 // int i
        73: .line 112
            iconst_0
            istore 10 /* j */
        start local 10 // int j
        74: goto 77
        75: .line 113
      StackMap locals:
      StackMap stack:
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.currentBounds:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
            getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.inThrows:Ljava/util/Set;
            aload 5 /* e */
            iload 10 /* j */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.prototype:()Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
            invokeinterface java.util.Set.add:(Ljava/lang/Object;)Z
            pop
        76: .line 112
            iinc 10 /* j */ 1
      StackMap locals:
      StackMap stack:
        77: iload 10 /* j */
            iload 6 /* n */
            if_icmplt 75
        end local 10 // int j
        78: .line 114
            aload 9 /* result */
            aload 9 /* result */
            invokeinterface java.util.List.size:()I
            anewarray org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
            invokeinterface java.util.List.toArray:([Ljava/lang/Object;)[Ljava/lang/Object;
            areturn
        end local 9 // java.util.List result
        end local 8 // int m
        end local 7 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] ePrime
        end local 6 // int n
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] e
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] thrown
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding sam
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.Scope scope
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula this
      LocalVariableTable:
        Start  End  Slot                 Name  Signature
            0   79     0                 this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExceptionFormula;
            0   79     1     inferenceContext  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
            1   79     2                scope  Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            4   79     3                  sam  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            9   15     4               nParam  I
           10   15     5                    i  I
           19   27     4               nParam  I
           20   25     5                    i  I
           28   79     4               thrown  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           29   79     5                    e  [Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
           30   79     6                    n  I
           31   36     7                    i  I
           39   79     7               ePrime  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           41   45     8               lambda  Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;
           44   45     9            ePrimeSet  Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;>;
           47   52     8  referenceExpression  Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;
           50   52     9               method  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
           55   79     8                    m  I
           56   79     9               result  Ljava/util/List<Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;>;
           57   73    10                    i  I
           61   66    11                    j  I
           67   71    11                    j  I
           74   78    10                    j  I
    MethodParameters:
                  Name  Flags
      inferenceContext  

  java.util.Collection<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable> inputVariables(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection;
    flags: (0x0000) 
    Code:
      stack=3, locals=7, args_size=2
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 context
         0: .line 120
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/FunctionalExpression;
            instanceof org.eclipse.jdt.internal.compiler.ast.LambdaExpression
            ifeq 17
         1: .line 121
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            ifeq 3
         2: .line 122
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            invokestatic java.util.Collections.singletonList:(Ljava/lang/Object;)Ljava/util/List;
            areturn
         3: .line 124
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* context */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isFunctionalInterface:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
            ifeq 31
         4: .line 125
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/FunctionalExpression;
            checkcast org.eclipse.jdt.internal.compiler.ast.LambdaExpression
            astore 2 /* lambda */
        start local 2 // org.eclipse.jdt.internal.compiler.ast.LambdaExpression lambda
         5: .line 126
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* context */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.getSingleAbstractMethod:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Z)Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            astore 3 /* sam */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding sam
         6: .line 127
            new java.util.HashSet
            dup
            invokespecial java.util.HashSet.<init>:()V
            astore 4 /* variables */
        start local 4 // java.util.Set variables
         7: .line 128
            aload 2 /* lambda */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.argumentsTypeElided:()Z
            ifeq 14
         8: .line 130
            aload 3 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            arraylength
            istore 5 /* len */
        start local 5 // int len
         9: .line 131
            iconst_0
            istore 6 /* i */
        start local 6 // int i
        10: goto 13
        11: .line 132
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.LambdaExpression org.eclipse.jdt.internal.compiler.lookup.MethodBinding java.util.Set int int
      StackMap stack:
            aload 3 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 6 /* i */
            aaload
            aload 4 /* variables */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.collectInferenceVariables:(Ljava/util/Set;)V
        12: .line 131
            iinc 6 /* i */ 1
      StackMap locals:
      StackMap stack:
        13: iload 6 /* i */
            iload 5 /* len */
            if_icmplt 11
        end local 6 // int i
        end local 5 // int len
        14: .line 135
      StackMap locals:
      StackMap stack:
            aload 3 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            getstatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.VOID:Lorg/eclipse/jdt/internal/compiler/lookup/VoidTypeBinding;
            if_acmpeq 16
        15: .line 137
            aload 3 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 4 /* variables */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.collectInferenceVariables:(Ljava/util/Set;)V
        16: .line 139
      StackMap locals:
      StackMap stack:
            aload 4 /* variables */
            areturn
        end local 4 // java.util.Set variables
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding sam
        end local 2 // org.eclipse.jdt.internal.compiler.ast.LambdaExpression lambda
        17: .line 141
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/FunctionalExpression;
            instanceof org.eclipse.jdt.internal.compiler.ast.ReferenceExpression
            ifeq 31
        18: .line 142
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            ifeq 20
        19: .line 143
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            invokestatic java.util.Collections.singletonList:(Ljava/lang/Object;)Ljava/util/List;
            areturn
        20: .line 145
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* context */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isFunctionalInterface:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
            ifeq 31
        21: .line 146
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* context */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.getSingleAbstractMethod:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Z)Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            astore 2 /* sam */
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding sam
        22: .line 147
            new java.util.HashSet
            dup
            invokespecial java.util.HashSet.<init>:()V
            astore 3 /* variables */
        start local 3 // java.util.Set variables
        23: .line 148
            aload 2 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            arraylength
            istore 4 /* len */
        start local 4 // int len
        24: .line 149
            iconst_0
            istore 5 /* i */
        start local 5 // int i
        25: goto 28
        26: .line 150
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.MethodBinding java.util.Set int int
      StackMap stack:
            aload 2 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 5 /* i */
            aaload
            aload 3 /* variables */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.collectInferenceVariables:(Ljava/util/Set;)V
        27: .line 149
            iinc 5 /* i */ 1
      StackMap locals:
      StackMap stack:
        28: iload 5 /* i */
            iload 4 /* len */
            if_icmplt 26
        end local 5 // int i
        29: .line 152
            aload 2 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 3 /* variables */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.collectInferenceVariables:(Ljava/util/Set;)V
        30: .line 153
            aload 3 /* variables */
            areturn
        end local 4 // int len
        end local 3 // java.util.Set variables
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding sam
        31: .line 156
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.EMPTY_VARIABLE_LIST:Ljava/util/List;
            areturn
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 context
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula this
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0   32     0       this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExceptionFormula;
            0   32     1    context  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
            5   17     2     lambda  Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;
            6   17     3        sam  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            7   17     4  variables  Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
            9   14     5        len  I
           10   14     6          i  I
           22   31     2        sam  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
           23   31     3  variables  Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
           24   31     4        len  I
           25   29     5          i  I
    Signature: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
    MethodParameters:
         Name  Flags
      context  final

  public java.lang.String toString();
    descriptor: ()Ljava/lang/String;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=2, args_size=1
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula this
         0: .line 161
            new java.lang.StringBuffer
            dup
            invokespecial java.lang.StringBuffer.<init>:()V
            sipush 10216
            invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
            astore 1 /* buf */
        start local 1 // java.lang.StringBuffer buf
         1: .line 162
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/FunctionalExpression;
            iconst_4
            aload 1 /* buf */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.FunctionalExpression.printExpression:(ILjava/lang/StringBuffer;)Ljava/lang/StringBuffer;
            pop
         2: .line 163
            aload 1 /* buf */
            ldc " \u2286throws "
            invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
            pop
         3: .line 164
            aload 0 /* this */
            aload 1 /* buf */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula.appendTypeName:(Ljava/lang/StringBuffer;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)V
         4: .line 165
            aload 1 /* buf */
            sipush 10217
            invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
            pop
         5: .line 166
            aload 1 /* buf */
            invokevirtual java.lang.StringBuffer.toString:()Ljava/lang/String;
            areturn
        end local 1 // java.lang.StringBuffer buf
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExceptionFormula this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    6     0  this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExceptionFormula;
            1    6     1   buf  Ljava/lang/StringBuffer;

  public boolean applySubstitution(org.eclipse.jdt.internal.compiler.lookup.BoundSet, org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[]);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Z
    flags: (0x1041) ACC_PUBLIC, ACC_BRIDGE, ACC_SYNTHETIC
    Code:
      stack=3, locals=3, args_size=3
         0: .line 1
            aload 0
            aload 1
            aload 2
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.applySubstitution:(Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Z
            ireturn
      LocalVariableTable:
        Start  End  Slot  Name  Signature
}
SourceFile: "ConstraintExceptionFormula.java"
/

org.eclipse.jdt/ org.eclipse.jdt.core/ 3.20.0/ org/eclipse/jdt/internal/compiler/lookup/ConstraintExceptionFormula.class
