class org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula 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.ConstraintTypeFormula
super_class: org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
{
org.eclipse.jdt.internal.compiler.lookup.TypeBinding left;
descriptor: Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
flags: (0x0000)
boolean isSoft;
descriptor: Z
flags: (0x0000)
public static org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula create(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, int);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
flags: (0x0009) ACC_PUBLIC, ACC_STATIC
Code:
stack=6, locals=3, args_size=3
start local 0 start local 1 start local 2 0: aload 0
ifnull 1
aload 1
ifnonnull 2
1: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
2: StackMap locals:
StackMap stack:
new org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
dup
aload 0
aload 1
iload 2
iconst_0
invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
areturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 exprType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 3 1 right Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 3 2 relation I
MethodParameters:
Name Flags
exprType
right
relation
public static org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula create(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, int, boolean);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
flags: (0x0009) ACC_PUBLIC, ACC_STATIC
Code:
stack=6, locals=4, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 0
ifnull 1
aload 1
ifnonnull 2
1: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
2: StackMap locals:
StackMap stack:
new org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
dup
aload 0
aload 1
iload 2
iload 3
invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
areturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 exprType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 3 1 right Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 3 2 relation I
0 3 3 isSoft Z
MethodParameters:
Name Flags
exprType
right
relation
isSoft
private void <init>(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, int, boolean);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
flags: (0x0002) ACC_PRIVATE
Code:
stack=2, locals=5, args_size=5
start local 0 start local 1 start local 2 start local 3 start local 4 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.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
2: aload 0
aload 2
putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
3: aload 0
iload 3
putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.relation:I
4: aload 0
iload 4
putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
5: return
end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 6 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
0 6 1 exprType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 6 2 right Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 6 3 relation I
0 6 4 isSoft Z
MethodParameters:
Name Flags
exprType
right
relation
isSoft
void <init>();
descriptor: ()V
flags: (0x0000)
Code:
stack=1, locals=1, args_size=1
start local 0 0: aload 0
invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.<init>:()V
return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
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=6, locals=4, args_size=2
start local 0 start local 1 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.relation:I
tableswitch { // 1 - 5
1: 1
2: 20
3: 21
4: 22
5: 26
default: 50
}
1: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifeq 6
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifeq 6
2: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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.isCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
ifne 3
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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.isBoxingCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
ifeq 4
StackMap locals:
StackMap stack:
3: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
goto 5
StackMap locals:
StackMap stack:
4: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
StackMap locals:
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
5: areturn
6: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isPrimitiveType:()Z
ifeq 9
7: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.computeBoxingType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 2
start local 2 8: aload 2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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 9: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isPrimitiveType:()Z
ifeq 12
10: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.computeBoxingType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 2
start local 2 11: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 2
iconst_4
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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 12: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
lookupswitch { // 2
68: 13
260: 15
default: 19
}
13: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
sipush 260
if_icmpeq 15
14: goto 19
15: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.findSuperTypeOriginatingFrom:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 2
start local 2 16: aload 2
ifnull 19
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isRawType:()Z
ifeq 19
17: aload 1
aload 0
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.recordUncheckedConversion:(Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;)V
18: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
end local 2 19: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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
20: StackMap locals:
StackMap stack:
aload 0
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.reduceSubType:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Ljava/lang/Object;
areturn
21: StackMap locals:
StackMap stack:
aload 0
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.reduceSubType:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Ljava/lang/Object;
areturn
22: StackMap locals:
StackMap stack:
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
getfield org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.globalOptions:Lorg/eclipse/jdt/internal/compiler/impl/CompilerOptions;
getfield org.eclipse.jdt.internal.compiler.impl.CompilerOptions.isAnnotationBasedNullAnalysisEnabled:Z
ifeq 25
23: aload 0
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.checkIVFreeTVmatch:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifne 25
24: aload 0
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.checkIVFreeTVmatch:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
pop
25: StackMap locals:
StackMap stack:
aload 0
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.object:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.reduceTypeEquality:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/lang/Object;
areturn
26: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
sipush 516
if_icmpeq 32
27: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
sipush 516
if_icmpeq 29
28: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_4
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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
29: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 31
30: new org.eclipse.jdt.internal.compiler.lookup.TypeBound
dup
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_4
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
areturn
31: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
32: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
astore 2
start local 2 33: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
ifne 35
34: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
35: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
StackMap stack:
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
iconst_1
if_icmpne 44
36: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
sipush 516
if_icmpeq 38
37: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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
38: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
astore 3
start local 3 39: aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
tableswitch { // 0 - 2
0: 40
1: 41
2: 42
default: 43
}
40: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
StackMap stack:
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.object:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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
41: StackMap locals:
StackMap stack:
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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
42: StackMap locals:
StackMap stack:
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.object:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_4
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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
43: StackMap locals:
StackMap stack:
new java.lang.IllegalArgumentException
dup
new java.lang.StringBuilder
dup
ldc "Unexpected boundKind "
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
invokespecial java.lang.IllegalArgumentException.<init>:(Ljava/lang/String;)V
athrow
end local 3 44: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
sipush 516
if_icmpeq 46
45: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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
46: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
astore 3
start local 3 47: aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
iconst_2
if_icmpne 49
48: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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
49: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
end local 3 end local 2 50: StackMap locals:
StackMap stack:
new java.lang.IllegalStateException
dup
new java.lang.StringBuilder
dup
ldc "Unexpected relation kind "
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.relation:I
invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
invokespecial java.lang.IllegalStateException.<init>:(Ljava/lang/String;)V
athrow
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 51 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
0 51 1 inferenceContext Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
8 9 2 sPrime Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
11 12 2 tPrime Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
16 19 2 gs Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
33 50 2 t Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
39 44 3 s Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
47 50 3 s Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
MethodParameters:
Name Flags
inferenceContext
boolean checkIVFreeTVmatch(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
flags: (0x0000)
Code:
stack=4, locals=3, args_size=3
start local 0 start local 1 start local 2 0: aload 1
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 3
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isTypeVariable:()Z
ifeq 3
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.tagBits:J
ldc 108086391056891904
land
lconst_0
lcmp
ifne 3
1: aload 1
checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ldc 108086391056891904
putfield org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.nullHints:J
2: iconst_1
ireturn
3: StackMap locals:
StackMap stack:
iconst_0
ireturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
0 4 1 one Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 4 2 two Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
one
two
private java.lang.Object reduceTypeEquality(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/lang/Object;
flags: (0x0002) ACC_PRIVATE
Code:
stack=6, locals=8, args_size=3
start local 0 start local 1 start local 2 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
sipush 516
if_icmpne 13
1: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
sipush 516
if_icmpne 50
2: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
astore 3
start local 3 3: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
astore 4
start local 4 4: aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
ifne 6
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
ifne 6
5: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
6: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.WildcardBinding org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
StackMap stack:
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
ifne 8
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
iconst_1
if_icmpne 8
7: aload 1
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_4
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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
8: StackMap locals:
StackMap stack:
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
iconst_1
if_icmpne 10
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
ifne 10
9: aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
iconst_4
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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
10: StackMap locals:
StackMap stack:
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
iconst_1
if_icmpne 11
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
iconst_1
if_icmpeq 12
11: StackMap locals:
StackMap stack:
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
iconst_2
if_icmpne 50
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
iconst_2
if_icmpne 50
12: StackMap locals:
StackMap stack:
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_4
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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 4 end local 3 13: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
sipush 516
if_icmpeq 50
14: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifeq 18
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifeq 18
15: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifeq 17
16: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
17: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
18: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
bipush 12
if_icmpeq 19
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
bipush 12
if_icmpne 20
19: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
20: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 22
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isPrimitiveType:()Z
ifne 22
21: new org.eclipse.jdt.internal.compiler.lookup.TypeBound
dup
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_4
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
areturn
22: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 24
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isPrimitiveType:()Z
ifne 24
23: new org.eclipse.jdt.internal.compiler.lookup.TypeBound
dup
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_4
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
areturn
24: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isClass:()Z
ifne 25
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isInterface:()Z
ifeq 43
25: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isClass:()Z
ifne 26
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isInterface:()Z
ifeq 43
26: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.erasure:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.erasure:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifeq 43
27: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.typeArguments:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 3
start local 3 28: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.typeArguments:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 4
start local 4 29: aload 3
ifnull 30
aload 4
ifnonnull 33
30: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
StackMap stack:
aload 3
aload 4
if_acmpne 31
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
goto 32
StackMap locals:
StackMap stack:
31: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
StackMap locals:
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
32: areturn
33: StackMap locals:
StackMap stack:
aload 3
arraylength
aload 4
arraylength
if_icmpeq 35
34: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
35: StackMap locals:
StackMap stack:
aload 3
arraylength
istore 5
start local 5 36: iload 5
anewarray org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
astore 6
start local 6 37: iconst_0
istore 7
start local 7 38: goto 41
39: StackMap locals: int org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] int
StackMap stack:
aload 6
iload 7
aload 3
iload 7
aaload
aload 4
iload 7
aaload
iconst_4
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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;
aastore
40: iinc 7 1
StackMap locals:
StackMap stack:
41: iload 7
iload 5
if_icmplt 39
end local 7 42: aload 6
areturn
end local 6 end local 5 end local 4 end local 3 43: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isArrayType:()Z
ifeq 50
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isArrayType:()Z
ifeq 50
44: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
if_icmpne 46
45: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_4
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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
46: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
ifle 50
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
ifle 50
47: aload 0
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.peelOneDimension:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 3
start local 3 48: aload 0
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.peelOneDimension:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 4
start local 4 49: aload 3
aload 4
iconst_4
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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 4 end local 3 50: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 51 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
0 51 1 object Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 51 2 inferenceContext Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
3 13 3 leftWC Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
4 13 4 rightWC Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
28 43 3 leftParams [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
29 43 4 rightParams [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
36 43 5 len I
37 43 6 constraints [Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
38 42 7 i I
48 50 3 leftPrime Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
49 50 4 rightPrime Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
object
inferenceContext
private org.eclipse.jdt.internal.compiler.lookup.TypeBinding peelOneDimension(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: (0x0002) ACC_PRIVATE
Code:
stack=4, locals=3, args_size=3
start local 0 start local 1 start local 2 0: aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
iconst_1
if_icmpne 2
1: aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
areturn
2: StackMap locals:
StackMap stack:
aload 2
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
iconst_1
isub
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
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/ConstraintTypeFormula;
0 3 1 arrayType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 3 2 env Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
MethodParameters:
Name Flags
arrayType
env
private java.lang.Object reduceSubType(org.eclipse.jdt.internal.compiler.lookup.Scope, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Ljava/lang/Object;
flags: (0x0002) ACC_PRIVATE
Code:
stack=7, locals=14, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 2
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifeq 4
aload 3
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifeq 4
1: aload 2
aload 3
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isSubtypeOf:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Z)Z
ifeq 3
2: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
3: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
4: StackMap locals:
StackMap stack:
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
bipush 12
if_icmpne 6
5: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
6: StackMap locals:
StackMap stack:
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
bipush 12
if_icmpne 8
7: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
8: StackMap locals:
StackMap stack:
aload 2
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 10
9: new org.eclipse.jdt.internal.compiler.lookup.TypeBound
dup
aload 2
checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
aload 3
iconst_2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
areturn
10: StackMap locals:
StackMap stack:
aload 3
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 12
11: new org.eclipse.jdt.internal.compiler.lookup.TypeBound
dup
aload 3
checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
aload 2
iconst_3
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
areturn
12: StackMap locals:
StackMap stack:
aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
lookupswitch { // 10
4: 13
68: 29
260: 16
516: 49
1028: 13
2052: 13
4100: 62
8196: 76
32772: 77
65540: 85
default: 94
}
13: StackMap locals:
StackMap stack:
aload 2
aload 3
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isSubtypeOf:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Z)Z
ifeq 15
14: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
15: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
16: StackMap locals:
StackMap stack:
new java.util.ArrayList
dup
invokespecial java.util.ArrayList.<init>:()V
astore 4
start local 4 17: iconst_1
istore 5
start local 5 18: goto 24
19: StackMap locals: java.util.List int
StackMap stack:
aload 0
aload 2
aload 3
checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
aload 4
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.addConstraintsFromTypeParameters:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;Ljava/util/List;)Z
ifne 21
20: iload 5
ifeq 21
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
21: StackMap locals:
StackMap stack:
iconst_0
istore 5
22: aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.enclosingType:()Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
astore 3
23: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.enclosingType:()Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
astore 2
24: StackMap locals:
StackMap stack:
aload 3
ifnull 25
aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
sipush 260
if_icmpne 25
aload 2
ifnonnull 19
25: StackMap locals:
StackMap stack:
aload 4
invokeinterface java.util.List.size:()I
tableswitch { // 0 - 1
0: 26
1: 27
default: 28
}
26: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
27: StackMap locals:
StackMap stack:
aload 4
iconst_0
invokeinterface java.util.List.get:(I)Ljava/lang/Object;
areturn
28: StackMap locals:
StackMap stack:
aload 4
aload 4
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 5 end local 4 29: StackMap locals:
StackMap stack:
aload 3
checkcast org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ArrayBinding.elementsType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 4
start local 4 30: aconst_null
astore 5
start local 5 31: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
lookupswitch { // 3
68: 35
4100: 37
8196: 32
default: 40
}
32: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
StackMap stack:
aload 2
checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
astore 6
start local 6 33: aload 0
aload 6
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 6
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.otherBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.findMostSpecificSuperArray:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ArrayBinding;
astore 5
34: goto 41
end local 6 35: StackMap locals:
StackMap stack:
aload 2
checkcast org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
astore 5
36: goto 41
37: StackMap locals:
StackMap stack:
aload 2
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding
astore 6
start local 6 38: aload 0
aload 6
getfield org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding.firstBound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding.otherUpperBounds:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.findMostSpecificSuperArray:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ArrayBinding;
astore 5
39: goto 41
end local 6 40: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
41: StackMap locals:
StackMap stack:
aload 5
ifnonnull 43
42: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
43: StackMap locals:
StackMap stack:
aload 5
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ArrayBinding.elementsType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 6
start local 6 44: aload 4
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isPrimitiveType:()Z
ifne 46
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isPrimitiveType:()Z
ifne 46
45: aload 6
aload 4
iconst_2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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
46: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 4
aload 6
invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifeq 47
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
goto 48
StackMap locals:
StackMap stack:
47: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
StackMap locals:
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
48: areturn
end local 6 end local 5 end local 4 49: StackMap locals:
StackMap stack:
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
sipush 8196
if_icmpne 58
50: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.getIntersectingTypes:()[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
astore 7
start local 7 51: aload 7
ifnull 58
52: iconst_0
istore 8
start local 8 53: goto 57
54: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding top top top org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding[] int
StackMap stack:
aload 7
iload 8
aaload
aload 3
invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifeq 56
55: iconst_1
invokestatic java.lang.Boolean.valueOf:(Z)Ljava/lang/Boolean;
areturn
56: StackMap locals:
StackMap stack:
iinc 8 1
StackMap locals:
StackMap stack:
57: iload 8
aload 7
arraylength
if_icmplt 54
end local 8 end local 7 58: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 3
checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
astore 7
start local 7 59: aload 7
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
iconst_2
if_icmpne 61
60: aload 2
aload 7
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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
61: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding top top top org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
end local 7 62: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope 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.kind:()I
sipush 8196
if_icmpne 71
63: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.getIntersectingTypes:()[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
astore 8
start local 8 64: aload 8
ifnull 71
65: iconst_0
istore 9
start local 9 66: goto 70
67: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding top top top top org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding[] int
StackMap stack:
aload 8
iload 9
aaload
aload 3
invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifeq 69
68: iconst_1
invokestatic java.lang.Boolean.valueOf:(Z)Ljava/lang/Boolean;
areturn
69: StackMap locals:
StackMap stack:
iinc 9 1
StackMap locals:
StackMap stack:
70: iload 9
aload 8
arraylength
if_icmplt 67
end local 9 end local 8 71: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 3
instanceof org.eclipse.jdt.internal.compiler.lookup.CaptureBinding
ifeq 75
72: aload 3
checkcast org.eclipse.jdt.internal.compiler.lookup.CaptureBinding
astore 8
start local 8 73: aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.CaptureBinding.lowerBound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
ifnull 75
74: aload 2
aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.CaptureBinding.lowerBound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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 8 75: StackMap locals:
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
76: StackMap locals:
StackMap stack:
aload 3
checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
invokevirtual org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.allBounds:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 3
77: StackMap locals:
StackMap stack:
aload 3
checkcast org.eclipse.jdt.internal.compiler.lookup.IntersectionTypeBinding18
getfield org.eclipse.jdt.internal.compiler.lookup.IntersectionTypeBinding18.intersectingTypes:[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
astore 8
start local 8 78: aload 8
arraylength
anewarray org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
astore 9
start local 9 79: iconst_0
istore 10
start local 10 80: goto 83
81: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding top top top top org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] int
StackMap stack:
aload 9
iload 10
aload 2
aload 8
iload 10
aaload
iconst_2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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;
aastore
82: iinc 10 1
StackMap locals:
StackMap stack:
83: iload 10
aload 8
arraylength
if_icmplt 81
end local 10 84: aload 9
areturn
end local 9 end local 8 85: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 3
checkcast org.eclipse.jdt.internal.compiler.lookup.PolyTypeBinding
astore 10
start local 10 86: aload 10
getfield org.eclipse.jdt.internal.compiler.lookup.PolyTypeBinding.expression:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
checkcast org.eclipse.jdt.internal.compiler.ast.Invocation
astore 11
start local 11 87: aload 11
invokeinterface org.eclipse.jdt.internal.compiler.ast.Invocation.binding:()Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
astore 12
start local 12 88: aload 12
ifnull 89
aload 12
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isValidBinding:()Z
ifne 90
89: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding top top top top top top org.eclipse.jdt.internal.compiler.lookup.PolyTypeBinding org.eclipse.jdt.internal.compiler.ast.Invocation org.eclipse.jdt.internal.compiler.lookup.MethodBinding
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
90: StackMap locals:
StackMap stack:
aload 12
invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
ifeq 91
aload 12
getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
goto 92
StackMap locals:
StackMap stack:
91: aload 12
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
92: astore 13
start local 13 93: aload 0
aload 1
aload 2
aload 13
aload 1
aload 11
invokeinterface org.eclipse.jdt.internal.compiler.ast.Invocation.sourceStart:()I
aload 11
invokeinterface org.eclipse.jdt.internal.compiler.ast.Invocation.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;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.reduceSubType:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Ljava/lang/Object;
areturn
end local 13 end local 12 end local 11 end local 10 94: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
new java.lang.IllegalStateException
dup
new java.lang.StringBuilder
dup
ldc "Unexpected RHS "
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
aload 3
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
invokespecial java.lang.IllegalStateException.<init>:(Ljava/lang/String;)V
athrow
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 95 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
0 95 1 scope Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
0 95 2 subCandidate Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 95 3 superCandidate Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
17 29 4 constraints Ljava/util/List<Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;>;
18 29 5 isFirst Z
30 49 4 tPrime Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
31 49 5 sPrimeArray Lorg/eclipse/jdt/internal/compiler/lookup/ArrayBinding;
33 35 6 intersection Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
38 40 6 subTVB Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
44 49 6 sPrime Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
51 58 7 intersectingTypes [Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
53 58 8 i I
59 62 7 variable Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
64 71 8 intersectingTypes [Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
66 71 9 i I
73 75 8 capture Lorg/eclipse/jdt/internal/compiler/lookup/CaptureBinding;
78 85 8 intersectingTypes [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
79 85 9 result [Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
80 84 10 i I
86 94 10 poly Lorg/eclipse/jdt/internal/compiler/lookup/PolyTypeBinding;
87 94 11 invocation Lorg/eclipse/jdt/internal/compiler/ast/Invocation;
88 94 12 binding Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
93 94 13 returnType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
scope
subCandidate
superCandidate
private org.eclipse.jdt.internal.compiler.lookup.ArrayBinding findMostSpecificSuperArray(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding[], org.eclipse.jdt.internal.compiler.lookup.TypeBinding);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ArrayBinding;
flags: (0x0002) ACC_PRIVATE
Code:
stack=2, locals=7, args_size=4
start local 0 start local 1 start local 2 start local 3 0: iconst_0
istore 4
start local 4 1: aconst_null
astore 5
start local 5 2: aload 1
ifnull 5
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isArrayType:()Z
ifeq 5
3: aload 1
checkcast org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
astore 5
4: iinc 4 1
5: StackMap locals: int org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
StackMap stack:
iconst_0
istore 6
start local 6 6: goto 11
7: StackMap locals: int
StackMap stack:
aload 2
iload 6
aaload
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isArrayType:()Z
ifeq 10
8: aload 2
iload 6
aaload
checkcast org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
astore 5
9: iinc 4 1
10: StackMap locals:
StackMap stack:
iinc 6 1
StackMap locals:
StackMap stack:
11: iload 6
aload 2
arraylength
if_icmplt 7
end local 6 12: iload 4
ifne 14
13: aconst_null
areturn
14: StackMap locals:
StackMap stack:
iload 4
iconst_1
if_icmpne 16
15: aload 5
areturn
16: StackMap locals:
StackMap stack:
ldc "Extracting array from intersection is not defined"
invokestatic org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.missingImplementation:(Ljava/lang/String;)V
17: aconst_null
areturn
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 18 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
0 18 1 firstBound Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 18 2 otherUpperBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 18 3 theType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
1 18 4 numArrayBounds I
2 18 5 result Lorg/eclipse/jdt/internal/compiler/lookup/ArrayBinding;
6 12 6 i I
MethodParameters:
Name Flags
firstBound
otherUpperBounds
theType
boolean addConstraintsFromTypeParameters(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding, java.util.List<org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula>);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;Ljava/util/List;)Z
flags: (0x0000)
Code:
stack=5, locals=8, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 1
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.findSuperTypeOriginatingFrom:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 4
start local 4 1: aload 4
ifnonnull 3
2: iconst_0
ireturn
3: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 2
aload 4
invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifeq 5
4: iconst_1
ireturn
5: StackMap locals:
StackMap stack:
aload 4
instanceof org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
ifne 7
6: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.isParameterizedWithOwnVariables:()Z
ireturn
7: StackMap locals:
StackMap stack:
aload 4
checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 5
start local 5 8: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 6
start local 6 9: aload 6
ifnonnull 11
10: iconst_1
ireturn
11: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
StackMap stack:
aload 4
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isRawType:()Z
ifne 12
aload 5
ifnull 12
aload 5
arraylength
ifne 15
12: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
ifeq 13
iconst_1
goto 14
StackMap locals:
StackMap stack:
13: iconst_0
StackMap locals:
StackMap stack: int
14: ireturn
15: StackMap locals:
StackMap stack:
iconst_0
istore 7
start local 7 16: goto 19
17: StackMap locals: int
StackMap stack:
aload 3
aload 5
iload 7
aaload
aload 6
iload 7
aaload
iconst_5
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.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;
invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
pop
18: iinc 7 1
StackMap locals:
StackMap stack:
19: iload 7
aload 6
arraylength
if_icmplt 17
end local 7 20: iconst_1
ireturn
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 21 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
0 21 1 subCandidate Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 21 2 ca Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
0 21 3 constraints Ljava/util/List<Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;>;
1 21 4 cb Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
8 21 5 bi [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
9 21 6 ai [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
16 20 7 i I
Signature: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;Ljava/util/List<Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;>;)Z
MethodParameters:
Name Flags
subCandidate
ca
constraints
public boolean equalsEquals(org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;)Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=2, args_size=2
start local 0 start local 1 0: aload 1
ifnull 3
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.relation:I
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.relation:I
if_icmpne 3
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
if_icmpne 3
1: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifeq 3
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifeq 3
2: iconst_1
ireturn
StackMap locals:
StackMap stack:
3: iconst_0
ireturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
0 4 1 that Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
MethodParameters:
Name Flags
that
public boolean applySubstitution(org.eclipse.jdt.internal.compiler.lookup.BoundSet, org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[]);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=6, args_size=3
start local 0 start local 1 start local 2 0: aload 0
aload 1
aload 2
invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.applySubstitution:(Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Z
pop
1: iconst_0
istore 3
start local 3 2: goto 9
3: StackMap locals: int
StackMap stack:
aload 2
iload 3
aaload
astore 4
start local 4 4: aload 1
aload 2
iload 3
aaload
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;
astore 5
start local 5 5: aload 5
ifnonnull 7
6: iconst_0
ireturn
7: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 0
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 4
aload 5
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.substituteInferenceVariable:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
end local 5 end local 4 8: iinc 3 1
StackMap locals:
StackMap stack:
9: iload 3
aload 2
arraylength
if_icmplt 3
end local 3 10: iconst_1
ireturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 11 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
0 11 1 solutionSet Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 11 2 variables [Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
2 10 3 i I
4 8 4 variable Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
5 8 5 instantiation Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
solutionSet
variables
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
ldc "Type Constraint:\n"
invokespecial java.lang.StringBuffer.<init>:(Ljava/lang/String;)V
astore 1
start local 1 1: aload 1
bipush 9
invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
sipush 10216
invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
pop
2: aload 0
aload 1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.appendTypeName:(Ljava/lang/StringBuffer;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)V
3: aload 1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.relation:I
invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.relationToString:(I)Ljava/lang/String;
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
4: aload 0
aload 1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.appendTypeName:(Ljava/lang/StringBuffer;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)V
5: aload 1
sipush 10217
invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
pop
6: aload 1
invokevirtual java.lang.StringBuffer.toString:()Ljava/lang/String;
areturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 7 0 this Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
1 7 1 buf Ljava/lang/StringBuffer;
}
SourceFile: "ConstraintTypeFormula.java"