class org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula extends org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
minor version: 0
major version: 59
flags: flags: (0x0020) ACC_SUPER
this_class: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
super_class: org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
{
org.eclipse.jdt.internal.compiler.ast.Expression left;
descriptor: Lorg/eclipse/jdt/internal/compiler/ast/Expression;
flags: (0x0000)
boolean isSoft;
descriptor: Z
flags: (0x0000)
void <init>(org.eclipse.jdt.internal.compiler.ast.Expression, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, int);
descriptor: (Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
flags: (0x0000)
Code:
stack=2, locals=4, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 0
invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.<init>:()V
1: aload 0
aload 1
putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
2: aload 0
aload 2
putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
3: aload 0
iload 3
putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.relation:I
4: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
0 5 1 expression Lorg/eclipse/jdt/internal/compiler/ast/Expression;
0 5 2 type Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 5 3 relation I
MethodParameters:
Name Flags
expression
type
relation
void <init>(org.eclipse.jdt.internal.compiler.ast.Expression, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, int, boolean);
descriptor: (Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
flags: (0x0000)
Code:
stack=4, locals=5, args_size=5
start local 0 start local 1 start local 2 start local 3 start local 4 0: aload 0
aload 1
aload 2
iload 3
invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
1: aload 0
iload 4
putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.isSoft:Z
2: return
end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
0 3 1 expression Lorg/eclipse/jdt/internal/compiler/ast/Expression;
0 3 2 type Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 3 3 relation I
0 3 4 isSoft Z
MethodParameters:
Name Flags
expression
type
relation
isSoft
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=9, locals=15, args_size=2
start local 0 start local 1 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.relation:I
bipush 8
if_icmpne 4
1: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isPotentiallyCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
ifeq 2
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
goto 3
StackMap locals:
StackMap stack:
2: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
StackMap locals:
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
3: areturn
4: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifeq 10
5: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
ifne 6
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isBoxingCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
ifeq 9
6: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
ifnull 8
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.needsUncheckedConversion:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifeq 8
7: aload 1
iconst_1
putfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.usesUncheckedConversion:Z
8: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
9: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
10: StackMap locals:
StackMap stack:
aload 0
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.canBePolyExpression:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;)Z
ifne 17
11: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 2
start local 2 12: aload 2
ifnull 13
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isValidBinding:()Z
ifne 16
13: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
instanceof org.eclipse.jdt.internal.compiler.ast.MessageSend
ifeq 15
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
checkcast org.eclipse.jdt.internal.compiler.ast.MessageSend
getfield org.eclipse.jdt.internal.compiler.ast.MessageSend.actualReceiverType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 15
14: aconst_null
areturn
15: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
16: StackMap locals:
StackMap stack:
aload 2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.isSoft:Z
invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
end local 2 17: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
instanceof org.eclipse.jdt.internal.compiler.ast.Invocation
ifeq 66
18: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
checkcast org.eclipse.jdt.internal.compiler.ast.Invocation
astore 2
start local 2 19: aload 2
invokeinterface org.eclipse.jdt.internal.compiler.ast.Invocation.binding:()Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
astore 3
start local 3 20: aload 3
ifnonnull 22
21: aconst_null
areturn
22: StackMap locals: org.eclipse.jdt.internal.compiler.ast.Invocation org.eclipse.jdt.internal.compiler.lookup.MethodBinding
StackMap stack:
aload 3
astore 4
start local 4 23: aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.shallowOriginal:()Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
astore 4
24: aload 1
aload 2
aload 2
invokeinterface org.eclipse.jdt.internal.compiler.ast.Invocation.arguments:()[Lorg/eclipse/jdt/internal/compiler/ast/Expression;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.enterPolyInvocation:(Lorg/eclipse/jdt/internal/compiler/lookup/InvocationSite;[Lorg/eclipse/jdt/internal/compiler/ast/Expression;)Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;
astore 5
start local 5 25: aconst_null
astore 6
start local 6 26: aload 2
invokeinterface org.eclipse.jdt.internal.compiler.ast.Invocation.arguments:()[Lorg/eclipse/jdt/internal/compiler/ast/Expression;
astore 7
start local 7 27: aload 7
ifnonnull 28
getstatic org.eclipse.jdt.internal.compiler.lookup.Binding.NO_PARAMETERS:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
goto 29
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.Invocation org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.Expression[]
StackMap stack:
28: aload 7
arraylength
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap locals:
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
29: astore 8
start local 8 30: iconst_0
istore 9
start local 9 31: goto 34
32: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int
StackMap stack:
aload 8
iload 9
aload 7
iload 9
aaload
getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aastore
33: iinc 9 1
StackMap locals:
StackMap stack:
34: iload 9
aload 8
arraylength
if_icmplt 32
end local 9 35: aload 3
instanceof org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding
ifeq 52
36: aload 2
aload 3
checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding
invokeinterface org.eclipse.jdt.internal.compiler.ast.Invocation.getInferenceContext:(Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedMethodBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
astore 6
37: aload 6
ifnonnull 46
38: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 9
start local 9 39: aload 9
ifnull 40
aload 9
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isValidBinding:()Z
ifne 43
40: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.Invocation org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.Expression[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 11
41: aload 1
aload 5
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
42: aload 11
areturn
43: StackMap locals:
StackMap stack:
aload 9
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.isSoft:Z
invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 11
44: aload 1
aload 5
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
45: aload 11
areturn
end local 9 46: StackMap locals:
StackMap stack:
aload 6
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.stepCompleted:I
iconst_1
if_icmplt 49
47: aload 1
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.integrateInnerInferenceB2:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
48: goto 57
49: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 11
50: aload 1
aload 5
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
51: aload 11
areturn
52: StackMap locals:
StackMap stack:
aload 1
aload 1
aload 3
aload 8
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.getInferenceKind:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)I
putfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.inferenceKind:I
53: aload 4
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
ifeq 54
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
aload 4
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isPolyExpression:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)Z
ifeq 54
iconst_1
goto 55
StackMap locals:
StackMap stack:
54: iconst_0
StackMap locals:
StackMap stack: int
55: istore 9
start local 9 56: aload 1
aload 4
aload 8
iload 9
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.inferenceKind:I
invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.inferInvocationApplicability:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;ZI)V
end local 9 57: StackMap locals:
StackMap stack:
aload 1
aload 2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 4
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.computeB3:(Lorg/eclipse/jdt/internal/compiler/lookup/InvocationSite;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)Z
ifne 61
58: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 11
59: aload 1
aload 5
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
60: aload 11
areturn
61: StackMap locals:
StackMap stack:
aload 1
aload 5
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
62: aconst_null
areturn
end local 8 end local 7 63: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.Invocation org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
StackMap stack: java.lang.Throwable
astore 10
64: aload 1
aload 5
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
65: aload 10
athrow
end local 6 end local 5 end local 4 end local 3 end local 2 66: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
instanceof org.eclipse.jdt.internal.compiler.ast.ConditionalExpression
ifeq 72
67: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
checkcast org.eclipse.jdt.internal.compiler.ast.ConditionalExpression
astore 2
start local 2 68: iconst_2
anewarray org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
dup
iconst_0
69: new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
dup
aload 2
getfield org.eclipse.jdt.internal.compiler.ast.ConditionalExpression.valueIfTrue:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.relation:I
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.isSoft:Z
invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
aastore
dup
iconst_1
70: new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
dup
aload 2
getfield org.eclipse.jdt.internal.compiler.ast.ConditionalExpression.valueIfFalse:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.relation:I
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.isSoft:Z
invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
aastore
71: areturn
end local 2 72: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
instanceof org.eclipse.jdt.internal.compiler.ast.SwitchExpression
ifeq 81
73: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
checkcast org.eclipse.jdt.internal.compiler.ast.SwitchExpression
astore 2
start local 2 74: aload 2
getfield org.eclipse.jdt.internal.compiler.ast.SwitchExpression.resultExpressions:Ljava/util/List;
invokeinterface java.util.List.size:()I
anewarray org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
astore 3
start local 3 75: iconst_0
istore 4
start local 4 76: aload 2
getfield org.eclipse.jdt.internal.compiler.ast.SwitchExpression.resultExpressions:Ljava/util/List;
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 6
goto 79
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.SwitchExpression org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] int top java.util.Iterator
StackMap stack:
77: aload 6
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.ast.Expression
astore 5
start local 5 78: aload 3
iload 4
iinc 4 1
new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
dup
aload 5
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.relation:I
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.isSoft:Z
invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
aastore
end local 5 79: StackMap locals:
StackMap stack:
aload 6
invokeinterface java.util.Iterator.hasNext:()Z
ifne 77
80: aload 3
areturn
end local 4 end local 3 end local 2 81: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
instanceof org.eclipse.jdt.internal.compiler.ast.LambdaExpression
ifeq 145
82: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
checkcast org.eclipse.jdt.internal.compiler.ast.LambdaExpression
astore 2
start local 2 83: aload 2
getfield org.eclipse.jdt.internal.compiler.ast.LambdaExpression.enclosingScope:Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;
astore 3
start local 3 84: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 86
85: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
86: StackMap locals: org.eclipse.jdt.internal.compiler.ast.LambdaExpression org.eclipse.jdt.internal.compiler.lookup.BlockScope
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isFunctionalInterface:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
ifne 88
87: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
88: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
astore 4
start local 4 89: aload 4
invokestatic org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.parameterizedWithWildcard:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
astore 5
start local 5 90: aload 5
ifnull 92
91: aload 1
aload 3
aload 2
aload 5
invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.findGroundTargetType:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
astore 4
92: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
StackMap stack:
aload 4
ifnonnull 94
93: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
94: StackMap locals:
StackMap stack:
aload 4
aload 3
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.getSingleAbstractMethod:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Z)Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
astore 6
start local 6 95: aload 6
ifnonnull 97
96: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
97: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.MethodBinding
StackMap stack:
aload 6
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 7
start local 7 98: aload 7
arraylength
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.arguments:()[Lorg/eclipse/jdt/internal/compiler/ast/Argument;
arraylength
if_icmpeq 100
99: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
100: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
StackMap stack:
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.argumentsTypeElided:()Z
ifeq 107
101: iconst_0
istore 8
start local 8 102: goto 106
103: StackMap locals: int
StackMap stack:
aload 7
iload 8
aaload
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifne 105
104: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
105: StackMap locals:
StackMap stack:
iinc 8 1
StackMap locals:
StackMap stack:
106: iload 8
aload 7
arraylength
if_icmplt 103
end local 8 107: StackMap locals:
StackMap stack:
aload 2
aload 4
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
aload 1
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 2
108: aload 2
ifnonnull 110
109: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
110: StackMap locals:
StackMap stack:
aload 6
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_acmpne 113
111: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.isVoidCompatible:()Z
ifne 115
112: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
113: StackMap locals:
StackMap stack:
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.isValueCompatible:()Z
ifne 115
114: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
115: StackMap locals:
StackMap stack:
new java.util.ArrayList
dup
invokespecial java.util.ArrayList.<init>:()V
astore 8
start local 8 116: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.argumentsTypeElided:()Z
ifne 125
117: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.arguments:()[Lorg/eclipse/jdt/internal/compiler/ast/Argument;
astore 9
start local 9 118: iconst_0
istore 10
start local 10 119: goto 122
120: StackMap locals: java.util.List org.eclipse.jdt.internal.compiler.ast.Argument[] int
StackMap stack:
aload 8
aload 7
iload 10
aaload
aload 9
iload 10
aaload
getfield org.eclipse.jdt.internal.compiler.ast.Argument.type:Lorg/eclipse/jdt/internal/compiler/ast/TypeReference;
getfield org.eclipse.jdt.internal.compiler.ast.TypeReference.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_4
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
121: iinc 10 1
StackMap locals:
StackMap stack:
122: iload 10
aload 7
arraylength
if_icmplt 120
end local 10 123: aload 2
getfield org.eclipse.jdt.internal.compiler.ast.LambdaExpression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
ifnull 125
124: aload 8
aload 2
getfield org.eclipse.jdt.internal.compiler.ast.LambdaExpression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
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
end local 9 125: StackMap locals:
StackMap stack:
aload 6
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 142
126: aload 6
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 9
start local 9 127: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.resultExpressions:()[Lorg/eclipse/jdt/internal/compiler/ast/Expression;
astore 10
start local 10 128: iconst_0
istore 11
start local 11 129: aload 10
ifnonnull 130
iconst_0
goto 131
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.ast.Expression[] int
StackMap stack:
130: aload 10
arraylength
StackMap locals:
StackMap stack: int
131: istore 12
start local 12 132: goto 141
133: StackMap locals: int
StackMap stack:
aload 10
iload 11
aaload
astore 13
start local 13 134: aload 9
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifeq 139
aload 13
getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
ifnull 139
135: aload 13
getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 14
start local 14 136: aload 13
aload 14
aload 9
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isConstantValueOfTypeAssignableToType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifne 140
137: aload 14
aload 9
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifne 140
aload 13
aload 14
aload 9
aload 13
aload 3
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isBoxingCompatible:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
ifne 140
138: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
end local 14 139: StackMap locals: org.eclipse.jdt.internal.compiler.ast.Expression
StackMap stack:
aload 8
new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
dup
aload 13
aload 9
iconst_1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.isSoft:Z
invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
pop
end local 13 140: StackMap locals:
StackMap stack:
iinc 11 1
StackMap locals:
StackMap stack:
141: iload 11
iload 12
if_icmplt 133
end local 12 end local 11 end local 10 end local 9 142: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.LambdaExpression org.eclipse.jdt.internal.compiler.lookup.BlockScope org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] java.util.List
StackMap stack:
aload 8
invokeinterface java.util.List.size:()I
ifne 144
143: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
144: StackMap locals:
StackMap stack:
aload 8
aload 8
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 8 end local 7 end local 6 end local 5 end local 4 end local 3 end local 2 145: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
instanceof org.eclipse.jdt.internal.compiler.ast.ReferenceExpression
ifeq 147
146: aload 0
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
checkcast org.eclipse.jdt.internal.compiler.ast.ReferenceExpression
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.reduceReferenceExpressionCompatibility:(Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/lang/Object;
areturn
147: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 148 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
0 148 1 inferenceContext Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
12 17 2 exprType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
19 66 2 invocation Lorg/eclipse/jdt/internal/compiler/ast/Invocation;
20 66 3 previousMethod Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
23 66 4 method Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
25 66 5 prevInvocation Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;
26 66 6 innerCtx Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
27 63 7 arguments [Lorg/eclipse/jdt/internal/compiler/ast/Expression;
30 63 8 argumentTypes [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
31 35 9 i I
39 46 9 exprType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
56 57 9 isDiamond Z
68 72 2 conditional Lorg/eclipse/jdt/internal/compiler/ast/ConditionalExpression;
74 81 2 se Lorg/eclipse/jdt/internal/compiler/ast/SwitchExpression;
75 81 3 cfs [Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
76 81 4 i I
78 79 5 re Lorg/eclipse/jdt/internal/compiler/ast/Expression;
83 145 2 lambda Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;
84 145 3 scope Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;
89 145 4 t Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
90 145 5 withWildCards Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
95 145 6 functionType Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
98 145 7 parameters [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
102 107 8 i I
116 145 8 result Ljava/util/List<Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;>;
118 125 9 arguments [Lorg/eclipse/jdt/internal/compiler/ast/Argument;
119 123 10 i I
127 142 9 r Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
128 142 10 exprs [Lorg/eclipse/jdt/internal/compiler/ast/Expression;
129 142 11 i I
132 142 12 length I
134 140 13 expr Lorg/eclipse/jdt/internal/compiler/ast/Expression;
136 139 14 exprType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
Exception table:
from to target type
26 41 63 any
43 44 63 any
46 50 63 any
52 59 63 any
Exceptions:
throws org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
MethodParameters:
Name Flags
inferenceContext
public static org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding findGroundTargetType(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18, org.eclipse.jdt.internal.compiler.lookup.BlockScope, org.eclipse.jdt.internal.compiler.ast.LambdaExpression, org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
flags: (0x0009) ACC_PUBLIC, ACC_STATIC
Code:
stack=4, locals=7, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.argumentsTypeElided:()Z
ifeq 2
1: aload 2
aload 1
aload 3
invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.findGroundTargetTypeForElidedLambda:(Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
areturn
2: StackMap locals:
StackMap stack:
aload 0
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.enterLambda:(Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;)Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;
astore 4
start local 4 3: aload 0
aload 2
aload 1
aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.inferFunctionalInterfaceParameterization:(Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
astore 6
4: aload 0
aload 4
aconst_null
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
5: aload 6
areturn
6: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.BlockScope org.eclipse.jdt.internal.compiler.ast.LambdaExpression org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord
StackMap stack: java.lang.Throwable
astore 5
7: aload 0
aload 4
aconst_null
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
8: aload 5
athrow
end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 9 0 inferenceContext Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
0 9 1 scope Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;
0 9 2 lambda Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;
0 9 3 targetTypeWithWildCards Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
3 9 4 previous Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;
Exception table:
from to target type
3 4 6 any
MethodParameters:
Name Flags
inferenceContext
scope
lambda
targetTypeWithWildCards
private boolean canBePolyExpression(org.eclipse.jdt.internal.compiler.ast.Expression);
descriptor: (Lorg/eclipse/jdt/internal/compiler/ast/Expression;)Z
flags: (0x0002) ACC_PRIVATE
Code:
stack=2, locals=5, args_size=2
start local 0 start local 1 0: aload 1
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.getExpressionContext:()Lorg/eclipse/jdt/internal/compiler/ast/ExpressionContext;
astore 2
start local 2 1: aload 2
getstatic org.eclipse.jdt.internal.compiler.ast.ExpressionContext.VANILLA_CONTEXT:Lorg/eclipse/jdt/internal/compiler/ast/ExpressionContext;
if_acmpne 3
2: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
getstatic org.eclipse.jdt.internal.compiler.ast.ExpressionContext.ASSIGNMENT_CONTEXT:Lorg/eclipse/jdt/internal/compiler/ast/ExpressionContext;
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.setExpressionContext:(Lorg/eclipse/jdt/internal/compiler/ast/ExpressionContext;)V
3: StackMap locals: org.eclipse.jdt.internal.compiler.ast.ExpressionContext
StackMap stack:
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isPolyExpression:()Z
istore 4
4: aload 1
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.setExpressionContext:(Lorg/eclipse/jdt/internal/compiler/ast/ExpressionContext;)V
5: iload 4
ireturn
6: StackMap locals:
StackMap stack: java.lang.Throwable
astore 3
7: aload 1
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.setExpressionContext:(Lorg/eclipse/jdt/internal/compiler/ast/ExpressionContext;)V
8: aload 3
athrow
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 9 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
0 9 1 expr Lorg/eclipse/jdt/internal/compiler/ast/Expression;
1 9 2 previousExpressionContext Lorg/eclipse/jdt/internal/compiler/ast/ExpressionContext;
Exception table:
from to target type
3 4 6 any
MethodParameters:
Name Flags
expr
private java.lang.Object reduceReferenceExpressionCompatibility(org.eclipse.jdt.internal.compiler.ast.ReferenceExpression, org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
descriptor: (Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/lang/Object;
flags: (0x0002) ACC_PRIVATE
Code:
stack=5, locals=16, args_size=3
start local 0 start local 1 start local 2 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 3
start local 3 1: aload 3
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifeq 3
2: new java.lang.IllegalStateException
dup
ldc "Should not reach here with T being a proper type"
invokespecial java.lang.IllegalStateException.<init>:(Ljava/lang/String;)V
athrow
3: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 3
aload 2
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
ifne 5
4: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
5: StackMap locals:
StackMap stack:
aload 3
aload 2
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 4
start local 4 6: aload 4
ifnonnull 8
7: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
8: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.MethodBinding
StackMap stack:
aload 1
aload 3
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
aload 2
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 1
9: aload 1
ifnull 10
aload 1
getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.binding:Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
goto 11
StackMap locals:
StackMap stack:
10: aconst_null
StackMap locals:
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.MethodBinding
11: astore 5
start local 5 12: aload 5
ifnonnull 14
13: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
14: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.MethodBinding
StackMap stack:
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.isExactMethodReference:()Z
ifeq 39
15: new java.util.ArrayList
dup
invokespecial java.util.ArrayList.<init>:()V
astore 6
start local 6 16: aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 7
start local 7 17: aload 7
arraylength
istore 8
start local 8 18: aload 5
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 9
start local 9 19: aload 9
arraylength
istore 10
start local 10 20: iconst_0
istore 11
start local 11 21: iload 8
iload 10
iconst_1
iadd
if_icmpne 24
22: aload 6
aload 7
iconst_0
aaload
aload 1
getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.lhs:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_1
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
23: iconst_1
istore 11
24: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.ast.ReferenceExpression org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding java.util.List org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int int
StackMap stack:
iload 11
istore 12
start local 12 25: goto 28
26: StackMap locals: int
StackMap stack:
aload 6
aload 7
iload 12
aaload
aload 9
iload 12
iload 11
isub
aaload
iconst_1
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
27: iinc 12 1
StackMap locals:
StackMap stack:
28: iload 12
iload 8
if_icmplt 26
end local 12 29: aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 12
start local 12 30: aload 12
getstatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.VOID:Lorg/eclipse/jdt/internal/compiler/lookup/VoidTypeBinding;
if_acmpeq 38
31: aload 5
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
ifeq 32
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.isArrayConstructorReference:()Z
ifne 32
aload 5
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
goto 33
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.ast.ReferenceExpression org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding java.util.List org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int int org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
32: aload 5
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
StackMap locals:
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
33: astore 13
start local 13 34: aload 13
getstatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.VOID:Lorg/eclipse/jdt/internal/compiler/lookup/VoidTypeBinding;
if_acmpne 36
35: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
36: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 13
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
aload 1
getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.sourceStart:I
aload 1
getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.sourceEnd:I
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.capture:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;II)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 14
start local 14 37: aload 6
aload 14
aload 12
iconst_1
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
end local 14 end local 13 38: StackMap locals:
StackMap stack:
aload 6
aload 6
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 12 end local 11 end local 10 end local 9 end local 8 end local 7 end local 6 39: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.ast.ReferenceExpression org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding
StackMap stack:
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
arraylength
istore 6
start local 6 40: iconst_0
istore 7
start local 7 41: goto 45
42: StackMap locals: int int
StackMap stack:
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 7
aaload
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifne 44
43: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
44: StackMap locals:
StackMap stack:
iinc 7 1
StackMap locals:
StackMap stack:
45: iload 7
iload 6
if_icmplt 42
end local 7 46: aload 5
astore 7
start local 7 47: aload 7
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isValidBinding:()Z
ifne 49
48: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
49: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.ast.ReferenceExpression org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding int org.eclipse.jdt.internal.compiler.lookup.MethodBinding
StackMap stack:
aload 4
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
ifeq 50
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
goto 51
StackMap locals:
StackMap stack:
50: aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
StackMap locals:
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
51: astore 8
start local 8 52: aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
bipush 6
if_icmpne 54
53: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
54: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 7
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.shallowOriginal:()Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
astore 9
start local 9 55: aload 0
aload 1
aload 9
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.needsInference:(Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)Z
ifeq 81
56: aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isParameterizedType:()Z
ifeq 60
57: aload 3
checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
iconst_1
aload 1
getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.sourceStart:I
aload 1
getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.sourceEnd:I
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.getSingleAbstractMethod:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;ZII)Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
astore 11
start local 11 58: aload 11
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 10
end local 11 start local 10 59: goto 61
end local 10 60: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.MethodBinding
StackMap stack:
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 10
start local 10 61: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
StackMap stack:
aload 2
aload 1
aload 1
aload 10
invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.createPseudoExpressions:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)[Lorg/eclipse/jdt/internal/compiler/ast/Expression;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.enterPolyInvocation:(Lorg/eclipse/jdt/internal/compiler/lookup/InvocationSite;[Lorg/eclipse/jdt/internal/compiler/ast/Expression;)Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;
astore 11
start local 11 62: aconst_null
astore 12
start local 12 63: aload 1
aload 7
checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedMethodBinding
invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.getInferenceContext:(Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedMethodBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
astore 12
64: aload 12
ifnull 66
65: aload 12
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.pushBoundsTo:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
66: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
StackMap stack:
aload 0
aload 7
aload 10
aload 12
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.determineInferenceKind:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)I
istore 13
start local 13 67: aload 2
aload 9
aload 10
aload 9
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
iload 13
invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.inferInvocationApplicability:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;ZI)V
68: aload 2
aload 1
aload 8
aload 9
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.computeB3:(Lorg/eclipse/jdt/internal/compiler/lookup/InvocationSite;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)Z
ifne 72
69: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 15
70: aload 2
aload 11
aload 12
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
71: aload 15
areturn
72: StackMap locals: int
StackMap stack:
aload 2
aload 11
aload 12
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
73: aconst_null
areturn
end local 13 74: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.ast.ReferenceExpression org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding int org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
pop
75: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 15
76: aload 2
aload 11
aload 12
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
77: aload 15
areturn
78: StackMap locals:
StackMap stack: java.lang.Throwable
astore 14
79: aload 2
aload 11
aload 12
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
80: aload 14
athrow
end local 12 end local 11 end local 10 81: StackMap locals:
StackMap stack:
aload 7
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
ifeq 82
aload 7
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
goto 83
StackMap locals:
StackMap stack:
82: aload 7
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.sourceStart:()I
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.sourceEnd:()I
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.capture:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;II)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
StackMap locals:
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
83: astore 10
start local 10 84: aload 10
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
bipush 6
if_icmpne 86
85: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
86: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 10
aload 8
iconst_1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.isSoft:Z
invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
end local 10 end local 9 end local 8 end local 7 end local 6 end local 5 end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 87 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
0 87 1 reference Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;
0 87 2 inferenceContext Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
1 87 3 t Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
6 87 4 functionType Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
12 87 5 potentiallyApplicable Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
16 39 6 newConstraints Ljava/util/List<Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;>;
17 39 7 p [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
18 39 8 n I
19 39 9 pPrime [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
20 39 10 k I
21 39 11 offset I
25 29 12 i I
30 39 12 r Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
34 38 13 rAppl Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
37 38 14 rPrime Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
40 87 6 n I
41 46 7 i I
47 87 7 compileTimeDecl Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
52 87 8 r Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
55 87 9 original Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
59 60 10 argumentTypes [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
61 81 10 argumentTypes [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
58 59 11 capturedFunctionType Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
62 81 11 prevInvocation Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;
63 81 12 innerContext Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
67 74 13 innerInferenceKind I
84 87 10 rPrime Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
Exception table:
from to target type
63 70 74 Class org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
63 70 78 any
74 76 78 any
MethodParameters:
Name Flags
reference
inferenceContext
private boolean needsInference(org.eclipse.jdt.internal.compiler.ast.ReferenceExpression, org.eclipse.jdt.internal.compiler.lookup.MethodBinding);
descriptor: (Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)Z
flags: (0x0002) ACC_PRIVATE
Code:
stack=3, locals=4, args_size=3
start local 0 start local 1 start local 2 0: aload 1
getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.typeArguments:[Lorg/eclipse/jdt/internal/compiler/ast/TypeReference;
ifnull 2
1: iconst_0
ireturn
2: StackMap locals:
StackMap stack:
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
ifeq 8
3: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.typeVariables:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
getstatic org.eclipse.jdt.internal.compiler.lookup.Binding.NO_TYPE_VARIABLES:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
if_acmpeq 6
4: aload 1
getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.receiverType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isRawType:()Z
ifeq 6
5: iconst_1
ireturn
6: StackMap locals:
StackMap stack:
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
astore 3
start local 3 7: goto 9
end local 3 8: StackMap locals:
StackMap stack:
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 3
start local 3 9: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.typeVariables:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
getstatic org.eclipse.jdt.internal.compiler.lookup.Binding.NO_TYPE_VARIABLES:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
if_acmpeq 12
10: aload 3
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.typeVariables:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
iconst_m1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.mentionsAny:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Z
ifeq 12
11: iconst_1
ireturn
StackMap locals:
StackMap stack:
12: iconst_0
ireturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 13 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
0 13 1 reference Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;
0 13 2 original Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
7 8 3 compileTimeReturn Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
9 13 3 compileTimeReturn Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
reference
original
private int determineInferenceKind(org.eclipse.jdt.internal.compiler.lookup.MethodBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding[], org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)I
flags: (0x0002) ACC_PRIVATE
Code:
stack=3, locals=8, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 3
ifnull 2
1: aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.inferenceKind:I
ireturn
2: StackMap locals:
StackMap stack:
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isVarargs:()Z
ifeq 15
3: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
arraylength
istore 4
start local 4 4: aload 2
arraylength
istore 5
start local 5 5: iload 4
iload 5
if_icmpge 7
6: iconst_3
ireturn
7: StackMap locals: int int
StackMap stack:
iload 4
iload 5
if_icmpne 15
8: aload 2
iload 4
iconst_1
isub
aaload
astore 6
start local 6 9: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 4
iconst_1
isub
aaload
astore 7
start local 7 10: aload 6
aload 7
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifne 15
11: aload 7
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isArrayType:()Z
ifeq 15
12: aload 7
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 7
13: aload 6
aload 7
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifeq 15
14: iconst_3
ireturn
end local 7 end local 6 end local 5 end local 4 15: StackMap locals:
StackMap stack:
iconst_1
ireturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 16 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
0 16 1 original Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
0 16 2 argumentTypes [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 16 3 innerContext Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
4 15 4 expectedLen I
5 15 5 providedLen I
9 15 6 providedLast Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
10 15 7 expectedLast Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
original
argumentTypes
innerContext
static void inferInvocationApplicability(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18, org.eclipse.jdt.internal.compiler.lookup.MethodBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding[], boolean, int);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;ZI)V
flags: (0x0008) ACC_STATIC
Code:
stack=5, locals=10, args_size=5
start local 0 start local 1 start local 2 start local 3 start local 4 0: aload 1
iload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.getAllTypeVariables:(Z)[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
astore 5
start local 5 1: aload 0
aload 5
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.createInitialBoundSet:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;)[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
astore 6
start local 6 2: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
arraylength
istore 7
start local 7 3: aconst_null
astore 8
start local 8 4: aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isVarargs:()Z
ifeq 7
5: iload 7
iconst_1
isub
istore 9
start local 9 6: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 9
aaload
astore 8
end local 9 7: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int int org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] int org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 0
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 4
iconst_3
if_icmpne 8
iconst_1
goto 9
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int int org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] int org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
8: iconst_0
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int int org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] int org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int
9: aload 8
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.createInitialConstraintsForParameters:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;ZLorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)V
10: aload 0
aload 5
aload 6
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.thrownExceptions:[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.addThrowsContraints:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;)V
11: return
end local 8 end local 7 end local 6 end local 5 end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 12 0 inferenceContext Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
0 12 1 method Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
0 12 2 arguments [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 12 3 isDiamond Z
0 12 4 checkType I
1 12 5 typeVariables [Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
2 12 6 inferenceVariables [Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
3 12 7 paramLength I
4 12 8 varArgsType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
6 7 9 varArgPos I
MethodParameters:
Name Flags
inferenceContext
method
arguments
isDiamond
checkType
static boolean inferPolyInvocationType(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18, org.eclipse.jdt.internal.compiler.lookup.InvocationSite, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.MethodBinding);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/InvocationSite;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)Z
flags: (0x0008) ACC_STATIC
Code:
stack=6, locals=14, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 1
invokeinterface org.eclipse.jdt.internal.compiler.lookup.InvocationSite.genericTypeArguments:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 4
start local 4 1: aload 4
ifnonnull 59
2: aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
ifeq 3
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
goto 4
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
StackMap stack:
3: aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
StackMap locals:
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
4: astore 5
start local 5 5: aload 5
getstatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.VOID:Lorg/eclipse/jdt/internal/compiler/lookup/VoidTypeBinding;
if_acmpne 7
6: new org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
dup
ldc "expression has no value"
invokespecial org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException.<init>:(Ljava/lang/String;)V
athrow
7: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.usesUncheckedConversion:Z
ifeq 11
8: aload 5
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.getRealErasure:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 6
start local 6 9: aload 6
aload 2
iconst_1
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;
astore 7
start local 7 10: aload 0
aload 7
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.reduceAndIncorporate:(Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
ireturn
end local 7 end local 6 11: StackMap locals:
StackMap stack:
aload 0
aload 5
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.substitute:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 6
start local 6 12: aload 6
invokestatic org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.parameterizedWithWildcard:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
astore 7
start local 7 13: aload 7
ifnull 33
aload 7
getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
ifnull 33
14: aload 7
getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 8
start local 8 15: aload 0
aload 8
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.addTypeVariableSubstitutions:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
astore 9
start local 9 16: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
17: aload 7
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.genericType:()Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
aload 9
aload 7
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.enclosingType:()Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
aload 7
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.getTypeAnnotations:()[Lorg/eclipse/jdt/internal/compiler/lookup/AnnotationBinding;
18: invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.createParameterizedType:(Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/AnnotationBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
astore 10
start local 10 19: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.currentBounds:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.captures:Ljava/util/HashMap;
aload 10
aload 7
invokevirtual java.util.HashMap.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
pop
20: iconst_0
istore 11
start local 11 21: aload 8
arraylength
istore 12
start local 12 22: goto 30
23: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.InvocationSite org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding int int
StackMap stack:
aload 8
iload 11
aaload
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isWildcard:()Z
ifeq 29
24: aload 8
iload 11
aaload
checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
astore 13
start local 13 25: aload 13
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
tableswitch { // 1 - 2
1: 26
2: 28
default: 29
}
26: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.currentBounds:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
new org.eclipse.jdt.internal.compiler.lookup.TypeBound
dup
aload 9
iload 11
aaload
aload 13
invokevirtual org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_2
invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.addBound:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
27: goto 29
28: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.currentBounds:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
new org.eclipse.jdt.internal.compiler.lookup.TypeBound
dup
aload 9
iload 11
aaload
aload 13
invokevirtual org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_3
invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.addBound:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
end local 13 29: StackMap locals:
StackMap stack:
iinc 11 1
StackMap locals:
StackMap stack:
30: iload 11
iload 12
if_icmplt 23
end local 12 end local 11 31: aload 10
aload 2
iconst_1
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;
astore 11
start local 11 32: aload 0
aload 11
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.reduceAndIncorporate:(Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
ireturn
end local 11 end local 10 end local 9 end local 8 33: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.InvocationSite org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
StackMap stack:
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 56
34: aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
astore 8
start local 8 35: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 9
start local 9 36: iconst_0
istore 10
start local 10 37: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.currentBounds:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
aload 8
aload 9
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.condition18_5_2_bullet_3_3_1:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifeq 40
38: iconst_1
istore 10
39: goto 47
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
StackMap stack:
40: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.currentBounds:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
aload 8
aload 9
aload 0
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.condition18_5_2_bullet_3_3_2:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Z
ifeq 43
41: iconst_1
istore 10
42: goto 47
StackMap locals:
StackMap stack:
43: aload 9
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isPrimitiveType:()Z
ifeq 47
44: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.currentBounds:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
aload 8
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.findWrapperTypeBound:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 11
start local 11 45: aload 11
ifnull 47
46: iconst_1
istore 10
end local 11 47: StackMap locals:
StackMap stack:
iload 10
ifeq 56
48: aload 0
iconst_1
anewarray org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
dup
iconst_0
aload 8
aastore
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.solve:([Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
astore 11
start local 11 49: aload 11
ifnonnull 51
50: iconst_0
ireturn
51: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet
StackMap stack:
aload 11
aload 8
aconst_null
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.getInstantiation:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
aload 1
invokeinterface org.eclipse.jdt.internal.compiler.lookup.InvocationSite.sourceStart:()I
aload 1
invokeinterface org.eclipse.jdt.internal.compiler.lookup.InvocationSite.sourceEnd:()I
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.capture:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;II)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 12
start local 12 52: aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
ifeq 54
53: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
aload 12
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.createArrayType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ArrayBinding;
astore 12
54: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 12
aload 2
iconst_1
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;
astore 13
start local 13 55: aload 0
aload 13
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.reduceAndIncorporate:(Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
ireturn
end local 13 end local 12 end local 11 end local 10 end local 9 end local 8 56: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.InvocationSite org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
StackMap stack:
aload 6
aload 2
iconst_1
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;
astore 8
start local 8 57: aload 0
aload 8
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.reduceAndIncorporate:(Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
ifne 59
58: iconst_0
ireturn
end local 8 end local 7 end local 6 end local 5 59: StackMap locals:
StackMap stack:
iconst_1
ireturn
end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 60 0 inferenceContext Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
0 60 1 invocationSite Lorg/eclipse/jdt/internal/compiler/lookup/InvocationSite;
0 60 2 targetType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 60 3 method Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
1 60 4 typeArguments [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
5 59 5 returnType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
9 11 6 erasure Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
10 11 7 newConstraint Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
12 59 6 rTheta Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
13 59 7 parameterizedType Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
15 33 8 arguments [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
16 33 9 betas [Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
19 33 10 gbeta Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
21 31 11 i I
22 31 12 length I
25 29 13 wc Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
32 33 11 newConstraint Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
35 56 8 alpha Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
36 56 9 targetLeafType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
37 56 10 toResolve Z
45 47 11 wrapper Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
49 56 11 solution Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
52 56 12 u Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
55 56 13 newConstraint Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
57 59 8 newConstraint Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
Exceptions:
throws org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
MethodParameters:
Name Flags
inferenceContext
invocationSite
targetType
method
private static org.eclipse.jdt.internal.compiler.lookup.TypeBinding getRealErasure(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=3, locals=4, args_size=2
start local 0 start local 1 0: aload 0
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.erasure:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 2
start local 2 1: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 3
start local 3 2: aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isGenericType:()Z
ifeq 4
3: aload 1
aload 3
iconst_0
invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.convertToRawType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Z)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 3
4: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isArrayType:()Z
ifeq 6
5: aload 1
aload 3
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.createArrayType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ArrayBinding;
areturn
6: StackMap locals:
StackMap stack:
aload 3
areturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 7 0 type Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 7 1 environment Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
1 7 2 erasure Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
2 7 3 erasedLeaf Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
type
environment
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=6, locals=12, args_size=2
start local 0 start local 1 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
instanceof org.eclipse.jdt.internal.compiler.ast.LambdaExpression
ifeq 35
1: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 3
2: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.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: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
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 62
4: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
checkcast org.eclipse.jdt.internal.compiler.ast.LambdaExpression
astore 2
start local 2 5: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
astore 3
start local 3 6: aload 3
invokestatic org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.parameterizedWithWildcard:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
astore 4
start local 4 7: aload 4
ifnull 9
8: aload 1
aload 2
getfield org.eclipse.jdt.internal.compiler.ast.LambdaExpression.enclosingScope:Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;
aload 2
aload 4
invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.findGroundTargetType:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
astore 3
9: StackMap locals: org.eclipse.jdt.internal.compiler.ast.LambdaExpression org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
StackMap stack:
aload 3
ifnonnull 11
10: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.EMPTY_VARIABLE_LIST:Ljava/util/List;
areturn
11: StackMap locals:
StackMap stack:
aload 3
aload 1
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.ReferenceBinding.getSingleAbstractMethod:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Z)Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
astore 5
start local 5 12: new java.util.HashSet
dup
invokespecial java.util.HashSet.<init>:()V
astore 6
start local 6 13: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.argumentsTypeElided:()Z
ifeq 20
14: aload 5
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
arraylength
istore 7
start local 7 15: iconst_0
istore 8
start local 8 16: goto 19
17: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.LambdaExpression org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding java.util.Set int int
StackMap stack:
aload 5
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 8
aaload
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.collectInferenceVariables:(Ljava/util/Set;)V
18: iinc 8 1
StackMap locals:
StackMap stack:
19: iload 8
iload 7
if_icmplt 17
end local 8 end local 7 20: StackMap locals:
StackMap stack:
aload 5
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 34
21: aload 5
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 7
start local 7 22: aload 2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
aload 1
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
start local 8 23: aload 8
ifnull 24
aload 8
invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.resultExpressions:()[Lorg/eclipse/jdt/internal/compiler/ast/Expression;
goto 25
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.ast.LambdaExpression
StackMap stack:
24: aconst_null
StackMap locals:
StackMap stack: org.eclipse.jdt.internal.compiler.ast.Expression[]
25: astore 9
start local 9 26: iconst_0
istore 10
start local 10 27: aload 9
ifnonnull 28
iconst_0
goto 29
StackMap locals: org.eclipse.jdt.internal.compiler.ast.Expression[] int
StackMap stack:
28: aload 9
arraylength
StackMap locals:
StackMap stack: int
29: istore 11
start local 11 30: goto 33
31: StackMap locals: int
StackMap stack:
aload 6
new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
dup
aload 9
iload 10
aaload
aload 7
iconst_1
invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.inputVariables:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection;
invokeinterface java.util.Set.addAll:(Ljava/util/Collection;)Z
pop
32: iinc 10 1
StackMap locals:
StackMap stack:
33: iload 10
iload 11
if_icmplt 31
end local 11 end local 10 end local 9 end local 8 end local 7 34: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.LambdaExpression org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding java.util.Set
StackMap stack:
aload 6
areturn
end local 6 end local 5 end local 4 end local 3 end local 2 35: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
instanceof org.eclipse.jdt.internal.compiler.ast.ReferenceExpression
ifeq 48
36: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 38
37: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.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
38: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
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 62
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isExactMethodReference:()Z
ifne 62
39: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
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
start local 2 40: new java.util.HashSet
dup
invokespecial java.util.HashSet.<init>:()V
astore 3
start local 3 41: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
arraylength
istore 4
start local 4 42: iconst_0
istore 5
start local 5 43: goto 46
44: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.MethodBinding java.util.Set int int
StackMap stack:
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 5
aaload
aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.collectInferenceVariables:(Ljava/util/Set;)V
45: iinc 5 1
StackMap locals:
StackMap stack:
46: iload 5
iload 4
if_icmplt 44
end local 5 47: aload 3
areturn
end local 4 end local 3 end local 2 48: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
instanceof org.eclipse.jdt.internal.compiler.ast.ConditionalExpression
ifeq 54
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isPolyExpression:()Z
ifeq 54
49: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
checkcast org.eclipse.jdt.internal.compiler.ast.ConditionalExpression
astore 2
start local 2 50: new java.util.HashSet
dup
invokespecial java.util.HashSet.<init>:()V
astore 3
start local 3 51: aload 3
new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
dup
aload 2
getfield org.eclipse.jdt.internal.compiler.ast.ConditionalExpression.valueIfTrue:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_1
invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.inputVariables:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection;
invokeinterface java.util.Set.addAll:(Ljava/util/Collection;)Z
pop
52: aload 3
new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
dup
aload 2
getfield org.eclipse.jdt.internal.compiler.ast.ConditionalExpression.valueIfFalse:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_1
invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.inputVariables:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection;
invokeinterface java.util.Set.addAll:(Ljava/util/Collection;)Z
pop
53: aload 3
areturn
end local 3 end local 2 54: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
instanceof org.eclipse.jdt.internal.compiler.ast.SwitchExpression
ifeq 62
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isPolyExpression:()Z
ifeq 62
55: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
checkcast org.eclipse.jdt.internal.compiler.ast.SwitchExpression
astore 2
start local 2 56: new java.util.HashSet
dup
invokespecial java.util.HashSet.<init>:()V
astore 3
start local 3 57: aload 2
getfield org.eclipse.jdt.internal.compiler.ast.SwitchExpression.resultExpressions:Ljava/util/List;
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 5
goto 60
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.SwitchExpression java.util.Set top java.util.Iterator
StackMap stack:
58: aload 5
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.ast.Expression
astore 4
start local 4 59: aload 3
new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
dup
aload 4
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_1
invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.inputVariables:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection;
invokeinterface java.util.Set.addAll:(Ljava/util/Collection;)Z
pop
end local 4 60: StackMap locals:
StackMap stack:
aload 5
invokeinterface java.util.Iterator.hasNext:()Z
ifne 58
61: aload 3
areturn
end local 3 end local 2 62: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.EMPTY_VARIABLE_LIST:Ljava/util/List;
areturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 63 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
0 63 1 context Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
5 35 2 lambda Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;
6 35 3 targetType Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
7 35 4 withWildCards Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
12 35 5 sam Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
13 35 6 variables Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
15 20 7 len I
16 20 8 i I
22 34 7 r Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
23 34 8 resolved Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;
26 34 9 resultExpressions [Lorg/eclipse/jdt/internal/compiler/ast/Expression;
27 34 10 i I
30 34 11 length I
40 48 2 sam Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
41 48 3 variables Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
42 48 4 len I
43 47 5 i I
50 54 2 expr Lorg/eclipse/jdt/internal/compiler/ast/ConditionalExpression;
51 54 3 variables Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
56 62 2 expr Lorg/eclipse/jdt/internal/compiler/ast/SwitchExpression;
57 62 3 variables Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
59 60 4 re Lorg/eclipse/jdt/internal/compiler/ast/Expression;
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 0: new java.lang.StringBuffer
dup
invokespecial java.lang.StringBuffer.<init>:()V
sipush 10216
invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
astore 1
start local 1 1: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
iconst_4
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.printExpression:(ILjava/lang/StringBuffer;)Ljava/lang/StringBuffer;
pop
2: aload 1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.relation:I
invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.relationToString:(I)Ljava/lang/String;
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
3: aload 0
aload 1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.appendTypeName:(Ljava/lang/StringBuffer;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)V
4: aload 1
sipush 10217
invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
pop
5: aload 1
invokevirtual java.lang.StringBuffer.toString:()Ljava/lang/String;
areturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 6 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
1 6 1 buf Ljava/lang/StringBuffer;
}
SourceFile: "ConstraintExpressionFormula.java"
InnerClasses:
SuspendedInferenceRecord = org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord of org.eclipse.jdt.internal.compiler.lookup.InferenceContext18