public class org.eclipse.jdt.internal.compiler.lookup.InferenceContext
minor version: 0
major version: 59
flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
this_class: org.eclipse.jdt.internal.compiler.lookup.InferenceContext
super_class: java.lang.Object
{
private org.eclipse.jdt.internal.compiler.lookup.TypeBinding[][][] collectedSubstitutes;
descriptor: [[[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
flags: (0x0002) ACC_PRIVATE
org.eclipse.jdt.internal.compiler.lookup.MethodBinding genericMethod;
descriptor: Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
flags: (0x0000)
int depth;
descriptor: I
flags: (0x0000)
int status;
descriptor: I
flags: (0x0000)
org.eclipse.jdt.internal.compiler.lookup.TypeBinding expectedType;
descriptor: Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
flags: (0x0000)
boolean hasExplicitExpectedType;
descriptor: Z
flags: (0x0000)
public boolean isUnchecked;
descriptor: Z
flags: (0x0001) ACC_PUBLIC
org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] substitutes;
descriptor: [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
flags: (0x0000)
static final int FAILED;
descriptor: I
flags: (0x0018) ACC_STATIC, ACC_FINAL
ConstantValue: 1
public void <init>(org.eclipse.jdt.internal.compiler.lookup.MethodBinding);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=4, args_size=2
start local 0 start local 1 0: aload 0
invokespecial java.lang.Object.<init>:()V
1: aload 0
aload 1
putfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.genericMethod:Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
2: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.typeVariables:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
astore 2
start local 2 3: aload 2
arraylength
istore 3
start local 3 4: aload 0
iload 3
iconst_3
multianewarray [[[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding; 2
putfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.collectedSubstitutes:[[[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
5: aload 0
iload 3
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBinding
putfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.substitutes:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
6: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 7 0 this Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext;
0 7 1 genericMethod Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
3 7 2 typeVariables [Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
4 7 3 varLength I
MethodParameters:
Name Flags
genericMethod
public org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] getSubstitutes(org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding, int);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;I)[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=3, args_size=3
start local 0 start local 1 start local 2 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.collectedSubstitutes:[[[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding.rank:I
aaload
iload 2
aaload
areturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext;
0 1 1 typeVariable Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
0 1 2 constraint I
MethodParameters:
Name Flags
typeVariable
constraint
public boolean hasUnresolvedTypeArgument();
descriptor: ()Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=3, args_size=1
start local 0 0: iconst_0
istore 1
start local 1 1: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.substitutes:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
arraylength
istore 2
start local 2 2: goto 6
3: StackMap locals: int int
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.substitutes:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 1
aaload
ifnonnull 5
4: iconst_1
ireturn
5: StackMap locals:
StackMap stack:
iinc 1 1
StackMap locals:
StackMap stack:
6: iload 1
iload 2
if_icmplt 3
end local 2 end local 1 7: iconst_0
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 8 0 this Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext;
1 7 1 i I
2 7 2 varLength I
public void recordSubstitute(org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, int);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=9, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.collectedSubstitutes:[[[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding.rank:I
aaload
astore 4
start local 4 1: aload 4
iload 3
aaload
astore 5
start local 5 2: aload 5
ifnonnull 6
3: iconst_0
istore 6
start local 6 4: iconst_1
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBinding
astore 5
5: goto 17
end local 6 6: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[][] org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
StackMap stack:
aload 5
arraylength
istore 6
start local 6 7: iconst_0
istore 7
start local 7 8: goto 15
9: StackMap locals: int int
StackMap stack:
aload 5
iload 7
aaload
astore 8
start local 8 10: aload 8
aload 2
if_acmpne 11
return
11: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 8
ifnonnull 14
12: aload 5
iload 7
aload 2
aastore
13: goto 19
end local 8 14: StackMap locals:
StackMap stack:
iinc 7 1
StackMap locals:
StackMap stack:
15: iload 7
iload 6
if_icmplt 9
end local 7 16: aload 5
iconst_0
iload 6
iconst_1
iadd
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBinding
dup
astore 5
iconst_0
iload 6
invokestatic java.lang.System.arraycopy:(Ljava/lang/Object;ILjava/lang/Object;II)V
17: StackMap locals:
StackMap stack:
aload 5
iload 6
aload 2
aastore
18: aload 4
iload 3
aload 5
aastore
end local 6 end local 5 19: StackMap locals:
StackMap stack:
return
end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 20 0 this Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext;
0 20 1 typeVariable Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
0 20 2 actualType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 20 3 constraint I
1 20 4 variableSubstitutes [[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
2 19 5 constraintSubstitutes [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
4 6 6 length I
7 19 6 length I
8 16 7 i I
10 14 8 substitute Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
typeVariable
actualType
constraint
public java.lang.String toString();
descriptor: ()Ljava/lang/String;
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=9, args_size=1
start local 0 0: new java.lang.StringBuffer
dup
bipush 20
invokespecial java.lang.StringBuffer.<init>:(I)V
astore 1
start local 1 1: aload 1
ldc "InferenceContex for "
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
2: iconst_0
istore 2
start local 2 3: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.genericMethod:Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.typeVariables:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
arraylength
istore 3
start local 3 4: goto 7
5: StackMap locals: java.lang.StringBuffer int int
StackMap stack:
aload 1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.genericMethod:Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.typeVariables:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
iload 2
aaload
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/Object;)Ljava/lang/StringBuffer;
pop
6: iinc 2 1
StackMap locals:
StackMap stack:
7: iload 2
iload 3
if_icmplt 5
end local 3 end local 2 8: aload 1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.genericMethod:Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/Object;)Ljava/lang/StringBuffer;
pop
9: aload 1
ldc "\n\t[status="
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
10: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.status:I
tableswitch { // 0 - 1
0: 11
1: 13
default: 14
}
11: StackMap locals:
StackMap stack:
aload 1
ldc "ok]"
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
12: goto 14
13: StackMap locals:
StackMap stack:
aload 1
ldc "failed]"
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
14: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.expectedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
ifnonnull 17
15: aload 1
ldc " [expectedType=null]"
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
16: goto 18
17: StackMap locals:
StackMap stack:
aload 1
ldc " [expectedType="
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.expectedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.shortReadableName:()[C
invokevirtual java.lang.StringBuffer.append:([C)Ljava/lang/StringBuffer;
bipush 93
invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
pop
18: StackMap locals:
StackMap stack:
aload 1
ldc " [depth="
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.depth:I
invokevirtual java.lang.StringBuffer.append:(I)Ljava/lang/StringBuffer;
bipush 93
invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
pop
19: aload 1
ldc "\n\t[collected={"
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
20: iconst_0
istore 2
start local 2 21: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.collectedSubstitutes:[[[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
ifnonnull 22
iconst_0
goto 23
StackMap locals: int
StackMap stack:
22: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.collectedSubstitutes:[[[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
arraylength
StackMap locals:
StackMap stack: int
23: istore 3
start local 3 24: goto 47
25: StackMap locals: int
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.collectedSubstitutes:[[[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 2
aaload
astore 4
start local 4 26: iconst_0
istore 5
start local 5 27: goto 45
28: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[][] int
StackMap stack:
aload 4
iload 5
aaload
astore 6
start local 6 29: aload 6
ifnull 44
30: iconst_0
istore 7
start local 7 31: aload 6
arraylength
istore 8
start local 8 32: goto 43
33: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int int
StackMap stack:
aload 1
ldc "\n\t\t"
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.genericMethod:Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.typeVariables:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
iload 2
aaload
getfield org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding.sourceName:[C
invokevirtual java.lang.StringBuffer.append:([C)Ljava/lang/StringBuffer;
pop
34: iload 5
tableswitch { // 0 - 2
0: 35
1: 37
2: 39
default: 40
}
35: StackMap locals:
StackMap stack:
aload 1
ldc "="
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
36: goto 40
37: StackMap locals:
StackMap stack:
aload 1
ldc "<:"
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
38: goto 40
39: StackMap locals:
StackMap stack:
aload 1
ldc ">:"
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
40: StackMap locals:
StackMap stack:
aload 6
iload 7
aaload
ifnull 42
41: aload 1
aload 6
iload 7
aaload
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.shortReadableName:()[C
invokevirtual java.lang.StringBuffer.append:([C)Ljava/lang/StringBuffer;
pop
42: StackMap locals:
StackMap stack:
iinc 7 1
StackMap locals:
StackMap stack:
43: iload 7
iload 8
if_icmplt 33
end local 8 end local 7 end local 6 44: StackMap locals:
StackMap stack:
iinc 5 1
StackMap locals:
StackMap stack:
45: iload 5
iconst_2
if_icmple 28
end local 5 end local 4 46: iinc 2 1
StackMap locals:
StackMap stack:
47: iload 2
iload 3
if_icmplt 25
end local 3 end local 2 48: aload 1
ldc "}]"
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
49: aload 1
ldc "\n\t[inferred="
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
50: iconst_0
istore 2
start local 2 51: iconst_0
istore 3
start local 3 52: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.substitutes:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
ifnonnull 53
iconst_0
goto 54
StackMap locals:
StackMap stack:
53: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.substitutes:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
arraylength
StackMap locals:
StackMap stack: int
54: istore 4
start local 4 55: goto 61
56: StackMap locals: int
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.substitutes:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 3
aaload
ifnonnull 57
goto 60
57: StackMap locals:
StackMap stack:
iinc 2 1
58: aload 1
bipush 123
invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.genericMethod:Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.typeVariables:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
iload 3
aaload
getfield org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding.sourceName:[C
invokevirtual java.lang.StringBuffer.append:([C)Ljava/lang/StringBuffer;
pop
59: aload 1
ldc "="
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext.substitutes:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 3
aaload
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.shortReadableName:()[C
invokevirtual java.lang.StringBuffer.append:([C)Ljava/lang/StringBuffer;
bipush 125
invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
pop
60: StackMap locals:
StackMap stack:
iinc 3 1
StackMap locals:
StackMap stack:
61: iload 3
iload 4
if_icmplt 56
end local 4 end local 3 62: iload 2
ifne 63
aload 1
ldc "{}"
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
63: StackMap locals:
StackMap stack:
aload 1
bipush 93
invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
pop
64: aload 1
invokevirtual java.lang.StringBuffer.toString:()Ljava/lang/String;
areturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 65 0 this Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext;
1 65 1 buffer Ljava/lang/StringBuffer;
3 8 2 i I
4 8 3 length I
21 48 2 i I
24 48 3 length I
26 46 4 collected [[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
27 46 5 j I
29 44 6 constraintCollected [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
31 44 7 k I
32 44 8 clength I
51 65 2 count I
52 62 3 i I
55 62 4 length I
}
SourceFile: "InferenceContext.java"