class org.eclipse.jdt.internal.compiler.lookup.BoundSet
minor version: 0
major version: 59
flags: flags: (0x0020) ACC_SUPER
this_class: org.eclipse.jdt.internal.compiler.lookup.BoundSet
super_class: java.lang.Object
{
public static boolean enableOptimizationForBug543480;
descriptor: Z
flags: (0x0009) ACC_PUBLIC, ACC_STATIC
static final org.eclipse.jdt.internal.compiler.lookup.BoundSet TRUE;
descriptor: Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
flags: (0x0018) ACC_STATIC, ACC_FINAL
static final org.eclipse.jdt.internal.compiler.lookup.BoundSet FALSE;
descriptor: Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
flags: (0x0018) ACC_STATIC, ACC_FINAL
java.util.HashMap<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable, org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets> boundsPerVariable;
descriptor: Ljava/util/HashMap;
flags: (0x0000)
Signature: Ljava/util/HashMap<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;>;
java.util.HashMap<org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding, org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding> captures;
descriptor: Ljava/util/HashMap;
flags: (0x0000)
Signature: Ljava/util/HashMap<Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;>;
java.util.Set<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable> inThrows;
descriptor: Ljava/util/Set;
flags: (0x0000)
Signature: Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
private org.eclipse.jdt.internal.compiler.lookup.TypeBound[] incorporatedBounds;
descriptor: [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
flags: (0x0002) ACC_PRIVATE
private org.eclipse.jdt.internal.compiler.lookup.TypeBound[] unincorporatedBounds;
descriptor: [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
flags: (0x0002) ACC_PRIVATE
private int unincorporatedBoundsCount;
descriptor: I
flags: (0x0002) ACC_PRIVATE
private org.eclipse.jdt.internal.compiler.lookup.TypeBound[] mostRecentBounds;
descriptor: [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
flags: (0x0002) ACC_PRIVATE
static void <clinit>();
descriptor: ()V
flags: (0x0008) ACC_STATIC
Code:
stack=2, locals=1, args_size=0
0: iconst_1
putstatic org.eclipse.jdt.internal.compiler.lookup.BoundSet.enableOptimizationForBug543480:Z
1: ldc "enableOptimizationForBug543480"
invokestatic java.lang.System.getProperty:(Ljava/lang/String;)Ljava/lang/String;
astore 0
start local 0 2: aload 0
ifnull 4
3: aload 0
ldc "true"
invokevirtual java.lang.String.equalsIgnoreCase:(Ljava/lang/String;)Z
putstatic org.eclipse.jdt.internal.compiler.lookup.BoundSet.enableOptimizationForBug543480:Z
end local 0 4: StackMap locals:
StackMap stack:
new org.eclipse.jdt.internal.compiler.lookup.BoundSet
dup
invokespecial org.eclipse.jdt.internal.compiler.lookup.BoundSet.<init>:()V
putstatic org.eclipse.jdt.internal.compiler.lookup.BoundSet.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
5: new org.eclipse.jdt.internal.compiler.lookup.BoundSet
dup
invokespecial org.eclipse.jdt.internal.compiler.lookup.BoundSet.<init>:()V
putstatic org.eclipse.jdt.internal.compiler.lookup.BoundSet.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
return
LocalVariableTable:
Start End Slot Name Signature
2 4 0 enableOptimizationForBug543480Property Ljava/lang/String;
public void <init>();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=1, args_size=1
start local 0 0: aload 0
invokespecial java.lang.Object.<init>:()V
1: aload 0
new java.util.HashMap
dup
invokespecial java.util.HashMap.<init>:()V
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
2: aload 0
new java.util.HashMap
dup
invokespecial java.util.HashMap.<init>:()V
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.captures:Ljava/util/HashMap;
3: aload 0
new java.util.HashSet
dup
invokespecial java.util.HashSet.<init>:()V
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.inThrows:Ljava/util/Set;
4: aload 0
iconst_0
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBound
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.incorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
5: aload 0
sipush 1024
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBound
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
6: aload 0
iconst_0
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBoundsCount:I
7: aload 0
iconst_4
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBound
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.mostRecentBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
8: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 9 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
public void addBoundsFromTypeParameters(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18, org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[], org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[]);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=6, locals=10, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 2
arraylength
istore 4
start local 4 1: iconst_0
istore 5
start local 5 2: goto 12
3: StackMap locals: int int
StackMap stack:
aload 2
iload 5
aaload
astore 6
start local 6 4: aload 3
iload 5
aaload
astore 7
start local 7 5: aload 6
aload 7
new org.eclipse.jdt.internal.compiler.lookup.InferenceSubstitution
dup
aload 1
invokespecial org.eclipse.jdt.internal.compiler.lookup.InferenceSubstitution.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding.getTypeBounds:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceSubstitution;)[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
astore 8
start local 8 6: iconst_0
istore 9
start local 9 7: aload 8
arraylength
ifle 9
8: aload 0
aload 8
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.addBounds:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Z
istore 9
9: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] int int org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBound[] int
StackMap stack:
iload 9
ifne 11
10: aload 0
new org.eclipse.jdt.internal.compiler.lookup.TypeBound
dup
aload 7
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.object:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
iconst_2
invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.addBound:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
end local 9 end local 8 end local 7 end local 6 11: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] int int
StackMap stack:
iinc 5 1
StackMap locals:
StackMap stack:
12: iload 5
iload 4
if_icmplt 3
end local 5 13: return
end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 14 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 14 1 context Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
0 14 2 typeParameters [Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
0 14 3 variables [Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
1 14 4 length I
2 13 5 i I
4 11 6 typeParameter Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
5 11 7 variable Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
6 11 8 someBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
7 11 9 hasProperBound Z
MethodParameters:
Name Flags
context
typeParameters
variables
public org.eclipse.jdt.internal.compiler.lookup.TypeBound[] flatten();
descriptor: ()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=5, args_size=1
start local 0 0: iconst_0
istore 1
start local 1 1: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
invokevirtual java.util.HashMap.values:()Ljava/util/Collection;
invokeinterface java.util.Collection.iterator:()Ljava/util/Iterator;
astore 2
start local 2 2: goto 4
3: StackMap locals: int java.util.Iterator
StackMap stack:
iload 1
aload 2
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.size:()I
iadd
istore 1
4: StackMap locals:
StackMap stack:
aload 2
invokeinterface java.util.Iterator.hasNext:()Z
ifne 3
5: iload 1
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBound
astore 3
start local 3 6: iload 1
ifne 7
aload 3
areturn
7: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBound[]
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
invokevirtual java.util.HashMap.values:()Ljava/util/Collection;
invokeinterface java.util.Collection.iterator:()Ljava/util/Iterator;
astore 2
8: iconst_0
istore 4
start local 4 9: goto 11
10: StackMap locals: int
StackMap stack:
aload 2
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
aload 3
iload 4
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.flattenInto:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;I)I
istore 4
11: StackMap locals:
StackMap stack:
aload 2
invokeinterface java.util.Iterator.hasNext:()Z
ifne 10
12: aload 3
areturn
end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 13 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
1 13 1 size I
2 13 2 outerIt Ljava/util/Iterator<Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;>;
6 13 3 collected [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
9 13 4 idx I
public org.eclipse.jdt.internal.compiler.lookup.BoundSet copy();
descriptor: ()Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=4, args_size=1
start local 0 0: new org.eclipse.jdt.internal.compiler.lookup.BoundSet
dup
invokespecial org.eclipse.jdt.internal.compiler.lookup.BoundSet.<init>:()V
astore 1
start local 1 1: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
invokevirtual java.util.HashMap.entrySet:()Ljava/util/Set;
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 2
start local 2 2: goto 5
3: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet java.util.Iterator
StackMap stack:
aload 2
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast java.util.Map$Entry
astore 3
start local 3 4: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 3
invokeinterface java.util.Map$Entry.getKey:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
aload 3
invokeinterface java.util.Map$Entry.getValue:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.copy:()Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;
invokevirtual java.util.HashMap.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
pop
end local 3 5: StackMap locals:
StackMap stack:
aload 2
invokeinterface java.util.Iterator.hasNext:()Z
ifne 3
6: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.inThrows:Ljava/util/Set;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.inThrows:Ljava/util/Set;
invokeinterface java.util.Set.addAll:(Ljava/util/Collection;)Z
pop
7: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.captures:Ljava/util/HashMap;
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.captures:Ljava/util/HashMap;
invokevirtual java.util.HashMap.putAll:(Ljava/util/Map;)V
8: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.incorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_0
aload 1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.incorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
arraylength
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBound
dup_x1
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.incorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_0
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.incorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
arraylength
invokestatic java.lang.System.arraycopy:(Ljava/lang/Object;ILjava/lang/Object;II)V
9: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_0
aload 1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
arraylength
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBound
dup_x1
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_0
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
arraylength
invokestatic java.lang.System.arraycopy:(Ljava/lang/Object;ILjava/lang/Object;II)V
10: aload 1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBoundsCount:I
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBoundsCount:I
11: aload 1
areturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 12 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
1 12 1 copy Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
2 12 2 setsIterator Ljava/util/Iterator<Ljava/util/Map$Entry<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;>;>;
4 5 3 entry Ljava/util/Map$Entry<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;>;
public void addBound(org.eclipse.jdt.internal.compiler.lookup.TypeBound, org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=6, locals=9, args_size=3
start local 0 start local 1 start local 2 0: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
iconst_2
if_icmpne 2
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
iconst_1
if_icmpne 2
1: return
2: StackMap locals:
StackMap stack:
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
if_acmpne 4
3: return
4: StackMap locals:
StackMap stack:
iconst_0
istore 3
start local 3 5: goto 18
6: StackMap locals: int
StackMap stack:
aload 1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.mostRecentBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iload 3
aaload
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBound.equals:(Ljava/lang/Object;)Z
ifeq 17
7: aload 2
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 16
8: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.mostRecentBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iload 3
aaload
astore 4
start local 4 9: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.tagBits:J
ldc 108086391056891904
land
lstore 5
start local 5 10: aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.tagBits:J
ldc 108086391056891904
land
lstore 7
start local 7 11: lload 5
lload 7
lcmp
ifeq 16
12: lload 7
lconst_0
lcmp
ifne 14
13: aload 4
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
putfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
goto 16
14: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBound long long
StackMap stack:
lload 5
lconst_0
lcmp
ifeq 16
15: aload 4
aload 2
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 2
lload 5
invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.nullAnnotationsFromTagBits:(J)[Lorg/eclipse/jdt/internal/compiler/lookup/AnnotationBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.createAnnotatedType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/AnnotationBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
putfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
end local 7 end local 5 end local 4 16: StackMap locals:
StackMap stack:
return
17: StackMap locals:
StackMap stack:
iinc 3 1
StackMap locals:
StackMap stack:
18: iload 3
iconst_4
if_icmplt 6
end local 3 19: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.mostRecentBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_3
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.mostRecentBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_2
aaload
aastore
20: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.mostRecentBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.mostRecentBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_1
aaload
aastore
21: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.mostRecentBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.mostRecentBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_0
aaload
aastore
22: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.mostRecentBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_0
aload 1
aastore
23: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.prototype:()Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
astore 3
start local 3 24: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 3
invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
astore 4
start local 4 25: aload 4
ifnonnull 27
26: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 3
new org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
dup
aload 0
invokespecial org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;)V
dup
astore 4
invokevirtual java.util.HashMap.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
pop
27: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
StackMap stack:
aload 4
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.addBound:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Z
ifeq 43
28: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
arraylength
istore 5
start local 5 29: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBoundsCount:I
iload 5
if_icmplt 31
30: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_0
aload 0
iload 5
iconst_2
imul
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBound
dup_x1
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_0
iload 5
invokestatic java.lang.System.arraycopy:(Ljava/lang/Object;ILjava/lang/Object;II)V
31: StackMap locals: int
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
aload 0
dup
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBoundsCount:I
dup_x1
iconst_1
iadd
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBoundsCount:I
aload 1
aastore
32: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 6
start local 6 33: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
iconst_4
if_icmpne 35
aload 6
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifeq 35
34: aload 4
aload 6
aload 3
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.setInstantiation:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
35: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 43
36: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.prototype:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
astore 7
start local 7 37: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 7
invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
astore 4
38: aload 4
ifnonnull 40
39: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 7
new org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
dup
aload 0
invokespecial org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;)V
dup
astore 4
invokevirtual java.util.HashMap.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
pop
40: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
StackMap stack:
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.inverseBounds:Ljava/util/Map;
ifnonnull 42
41: aload 4
new java.util.HashMap
dup
invokespecial java.util.HashMap.<init>:()V
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.inverseBounds:Ljava/util/Map;
42: StackMap locals:
StackMap stack:
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.inverseBounds:Ljava/util/Map;
aload 7
aload 1
invokeinterface java.util.Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
pop
end local 7 end local 6 end local 5 43: 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 44 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 44 1 bound Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 44 2 environment Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
5 19 3 recent I
9 16 4 existing Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
10 16 5 boundNullBits J
11 16 7 existingNullBits J
24 44 3 variable Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
25 44 4 three Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;
29 43 5 unincorporatedBoundsLength I
33 43 6 typeBinding Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
37 43 7 rightIV Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
MethodParameters:
Name Flags
bound
environment
private boolean addBounds(org.eclipse.jdt.internal.compiler.lookup.TypeBound[], org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment);
descriptor: ([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Z
flags: (0x0002) ACC_PRIVATE
Code:
stack=3, locals=5, args_size=3
start local 0 start local 1 start local 2 0: iconst_0
istore 3
start local 3 1: iconst_0
istore 4
start local 4 2: goto 6
3: StackMap locals: int int
StackMap stack:
aload 0
aload 1
iload 4
aaload
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.addBound:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
4: iload 3
aload 1
iload 4
aaload
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBound.isBound:()Z
ior
istore 3
5: iinc 4 1
StackMap locals:
StackMap stack:
6: iload 4
aload 1
arraylength
if_icmplt 3
end local 4 7: iload 3
ireturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 8 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 8 1 newBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 8 2 environment Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
1 8 3 hasProperBound Z
2 7 4 i I
MethodParameters:
Name Flags
newBounds
environment
public void addBounds(org.eclipse.jdt.internal.compiler.lookup.BoundSet, org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=3, args_size=3
start local 0 start local 1 start local 2 0: aload 1
ifnull 1
aload 2
ifnonnull 2
1: StackMap locals:
StackMap stack:
return
2: StackMap locals:
StackMap stack:
aload 0
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.flatten:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.addBounds:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Z
pop
3: return
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/BoundSet;
0 4 1 that Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 4 2 environment Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
MethodParameters:
Name Flags
that
environment
public boolean isInstantiated(org.eclipse.jdt.internal.compiler.lookup.InferenceVariable);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=3, args_size=2
start local 0 start local 1 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.prototype:()Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
astore 2
start local 2 1: aload 2
ifnull 4
2: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.instantiation:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
ifnull 3
iconst_1
ireturn
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
StackMap stack:
3: iconst_0
ireturn
4: StackMap locals:
StackMap stack:
iconst_0
ireturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 5 1 inferenceVariable Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
1 5 2 three Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;
MethodParameters:
Name Flags
inferenceVariable
public org.eclipse.jdt.internal.compiler.lookup.TypeBinding getInstantiation(org.eclipse.jdt.internal.compiler.lookup.InferenceVariable, org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=5, args_size=3
start local 0 start local 1 start local 2 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.prototype:()Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
astore 3
start local 3 1: aload 3
ifnull 7
2: aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.instantiation:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 4
start local 4 3: aload 2
ifnull 6
aload 2
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 6
4: aload 4
ifnull 6
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.tagBits:J
ldc 108086391056891904
land
lconst_0
lcmp
ifne 6
5: aload 3
aload 4
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.nullHints:J
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.combineAndUseNullHints:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;JLorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
areturn
6: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 4
areturn
end local 4 7: StackMap locals:
StackMap stack:
aconst_null
areturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 8 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 8 1 inferenceVariable Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
0 8 2 environment Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
1 8 3 three Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;
3 7 4 instantiation Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
inferenceVariable
environment
public int numUninstantiatedVariables(org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[]);
descriptor: ([Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)I
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=4, args_size=2
start local 0 start local 1 0: iconst_0
istore 2
start local 2 1: iconst_0
istore 3
start local 3 2: goto 6
3: StackMap locals: int int
StackMap stack:
aload 0
aload 1
iload 3
aaload
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.isInstantiated:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Z
ifne 5
4: iinc 2 1
5: StackMap locals:
StackMap stack:
iinc 3 1
StackMap locals:
StackMap stack:
6: iload 3
aload 1
arraylength
if_icmplt 3
end local 3 7: iload 2
ireturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 8 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 8 1 variables [Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
1 8 2 num I
2 7 3 i I
MethodParameters:
Name Flags
variables
boolean incorporate(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Z
flags: (0x0000)
Code:
stack=5, locals=6, args_size=2
start local 0 start local 1 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBoundsCount:I
ifne 2
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.captures:Ljava/util/HashMap;
invokevirtual java.util.HashMap.size:()I
ifne 2
1: iconst_1
ireturn
2: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_0
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBoundsCount:I
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBound
dup
astore 2
start local 2 3: iconst_0
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBoundsCount:I
invokestatic java.lang.System.arraycopy:(Ljava/lang/Object;ILjava/lang/Object;II)V
4: aload 0
iconst_0
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBoundsCount:I
5: aload 0
aload 1
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.incorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.incorporate:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Z
ifne 7
6: iconst_0
ireturn
7: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBound[]
StackMap stack:
aload 0
aload 1
aload 2
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.incorporate:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Z
ifne 9
8: iconst_0
ireturn
9: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.incorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
arraylength
istore 3
start local 3 10: aload 2
arraylength
istore 4
start local 4 11: iload 3
iload 4
iadd
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBound
astore 5
start local 5 12: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.incorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
iconst_0
aload 5
iconst_0
iload 3
invokestatic java.lang.System.arraycopy:(Ljava/lang/Object;ILjava/lang/Object;II)V
13: aload 2
iconst_0
aload 5
iload 3
iload 4
invokestatic java.lang.System.arraycopy:(Ljava/lang/Object;ILjava/lang/Object;II)V
14: aload 0
aload 5
putfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.incorporatedBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
end local 5 end local 4 end local 3 end local 2 15: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.unincorporatedBoundsCount:I
16: ifgt 2
17: iconst_1
ireturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 18 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 18 1 context Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
3 15 2 freshBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
10 15 3 incorporatedLength I
11 15 4 unincorporatedLength I
12 15 5 aggregate [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
Exceptions:
throws org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
MethodParameters:
Name Flags
context
boolean incorporate(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18, org.eclipse.jdt.internal.compiler.lookup.TypeBound[], org.eclipse.jdt.internal.compiler.lookup.TypeBound[]);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Z
flags: (0x0000)
Code:
stack=7, locals=30, args_size=4
start local 0 start local 1 start local 2 start local 3 0: 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
istore 4
start local 4 1: iconst_4
anewarray org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
astore 5
start local 5 2: iconst_0
istore 6
start local 6 3: aload 2
arraylength
istore 7
start local 7 4: goto 81
5: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] int org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula[] int int
StackMap stack:
aload 2
iload 6
aaload
astore 8
start local 8 6: iconst_0
istore 9
start local 9 7: aload 3
arraylength
istore 10
start local 10 8: goto 79
9: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBound int int
StackMap stack:
aload 3
iload 9
aaload
astore 11
start local 11 10: aload 8
aload 11
if_acmpne 12
11: goto 78
12: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBound
StackMap stack:
iconst_1
istore 12
start local 12 13: StackMap locals: int
StackMap stack:
aconst_null
astore 13
start local 13 14: iconst_0
istore 14
start local 14 15: iload 12
iconst_2
if_icmpne 19
16: aload 8
astore 15
start local 15 17: aload 11
astore 8
18: aload 15
astore 11
end local 15 19: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula int
StackMap stack:
aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
tableswitch { // 2 - 4
2: 25
3: 33
4: 20
default: 39
}
20: StackMap locals:
StackMap stack:
aload 11
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
tableswitch { // 2 - 4
2: 23
3: 23
4: 21
default: 24
}
21: StackMap locals:
StackMap stack:
aload 0
aload 8
aload 11
aload 2
aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.combineSameSame:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 13
22: goto 39
23: StackMap locals:
StackMap stack:
aload 0
aload 8
aload 11
aload 2
aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.combineSameSubSuper:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 13
24: StackMap locals:
StackMap stack:
goto 39
25: StackMap locals:
StackMap stack:
aload 11
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
tableswitch { // 2 - 4
2: 30
3: 28
4: 26
default: 32
}
26: StackMap locals:
StackMap stack:
aload 0
aload 11
aload 8
aload 2
aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.combineSameSubSuper:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 13
27: goto 39
28: StackMap locals:
StackMap stack:
aload 0
aload 11
aload 8
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.combineSuperAndSub:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 13
29: goto 39
30: StackMap locals:
StackMap stack:
aload 0
aload 8
aload 11
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.combineEqualSupers:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 13
31: aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
aload 11
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
istore 14
32: StackMap locals:
StackMap stack:
goto 39
33: StackMap locals:
StackMap stack:
aload 11
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
tableswitch { // 2 - 4
2: 36
3: 38
4: 34
default: 39
}
34: StackMap locals:
StackMap stack:
aload 0
aload 11
aload 8
aload 2
aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.combineSameSubSuper:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 13
35: goto 39
36: StackMap locals:
StackMap stack:
aload 0
aload 8
aload 11
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.combineSuperAndSub:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 13
37: goto 39
38: StackMap locals:
StackMap stack:
aload 0
aload 8
aload 11
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.combineEqualSupers:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 13
39: StackMap locals:
StackMap stack:
aload 13
ifnull 46
40: aload 13
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 13
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
if_acmpne 43
41: aconst_null
astore 13
42: goto 46
StackMap locals:
StackMap stack:
43: aload 13
aload 5
iconst_0
aaload
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;)Z
ifne 45
aload 13
aload 5
iconst_1
aaload
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;)Z
ifne 45
44: aload 13
aload 5
iconst_2
aaload
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;)Z
ifne 45
aload 13
aload 5
iconst_3
aaload
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;)Z
ifeq 46
45: StackMap locals:
StackMap stack:
aconst_null
astore 13
46: StackMap locals:
StackMap stack:
aload 13
ifnull 61
47: aload 5
iconst_3
aload 5
iconst_2
aaload
aastore
48: aload 5
iconst_2
aload 5
iconst_1
aaload
aastore
49: aload 5
iconst_1
aload 5
iconst_0
aaload
aastore
50: aload 5
iconst_0
aload 13
aastore
51: aload 0
aload 1
aload 13
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.reduceOneConstraint:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
ifne 53
52: iconst_0
ireturn
53: StackMap locals:
StackMap stack:
iload 4
ifeq 61
54: aload 13
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.tagBits:J
aload 13
getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.tagBits:J
lor
ldc 108086391056891904
land
lstore 15
start local 15 55: lload 15
lconst_0
lcmp
ifeq 61
56: aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
aload 11
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifne 59
57: aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
iconst_4
if_icmpne 58
aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 11
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifne 59
58: StackMap locals: long
StackMap stack:
aload 11
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
iconst_4
if_icmpne 61
aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
aload 11
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.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 61
59: StackMap locals:
StackMap stack:
aload 8
dup
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.nullHints:J
lload 15
lor
putfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.nullHints:J
60: aload 11
dup
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.nullHints:J
lload 15
lor
putfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.nullHints:J
end local 15 61: StackMap locals:
StackMap stack:
iload 14
ifeq 62
aload 0
aload 8
aload 11
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.deriveTypeArgumentConstraints:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)[Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
goto 63
StackMap locals:
StackMap stack:
62: aconst_null
StackMap locals:
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula[]
63: astore 15
start local 15 64: aload 15
ifnull 72
65: iconst_0
istore 16
start local 16 66: aload 15
arraylength
istore 17
start local 17 67: goto 71
68: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] int int
StackMap stack:
aload 0
aload 1
aload 15
iload 16
aaload
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.reduceOneConstraint:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
ifne 70
69: iconst_0
ireturn
70: StackMap locals:
StackMap stack:
iinc 16 1
StackMap locals:
StackMap stack:
71: iload 16
iload 17
if_icmplt 68
end local 17 end local 16 72: StackMap locals:
StackMap stack:
iload 12
iconst_2
if_icmpne 76
73: aload 8
astore 16
start local 16 74: aload 11
astore 8
75: aload 16
astore 11
end local 16 end local 15 end local 14 end local 13 76: StackMap locals:
StackMap stack:
aload 2
aload 3
if_acmpeq 78
iinc 12 1
iload 12
iconst_2
77: if_icmple 13
end local 12 end local 11 78: StackMap locals:
StackMap stack:
iinc 9 1
StackMap locals:
StackMap stack:
79: iload 9
iload 10
if_icmplt 9
end local 10 end local 9 end local 8 80: iinc 6 1
StackMap locals:
StackMap stack:
81: iload 6
iload 7
if_icmplt 5
end local 7 end local 6 82: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.captures:Ljava/util/HashMap;
invokevirtual java.util.HashMap.entrySet:()Ljava/util/Set;
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 6
start local 6 83: goto 144
84: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] int org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula[] java.util.Iterator
StackMap stack:
aload 6
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast java.util.Map$Entry
astore 7
start local 7 85: aload 7
invokeinterface java.util.Map$Entry.getKey:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
astore 8
start local 8 86: aload 7
invokeinterface java.util.Map$Entry.getValue:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
astore 9
start local 9 87: aload 9
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.original:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
astore 10
start local 10 88: aload 10
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.typeVariables:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
astore 11
start local 11 89: aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
arraylength
anewarray org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
astore 12
start local 12 90: aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_0
aload 12
iconst_0
aload 12
arraylength
invokestatic java.lang.System.arraycopy:(Ljava/lang/Object;ILjava/lang/Object;II)V
91: new org.eclipse.jdt.internal.compiler.lookup.BoundSet$1
dup
aload 0
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
aload 12
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.currentInvocation:Lorg/eclipse/jdt/internal/compiler/lookup/InvocationSite;
aload 11
invokespecial org.eclipse.jdt.internal.compiler.lookup.BoundSet$1.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/InvocationSite;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;)V
astore 13
start local 13 92: iconst_0
istore 14
start local 14 93: aload 11
arraylength
istore 15
start local 15 94: goto 143
95: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] int org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula[] java.util.Iterator java.util.Map$Entry org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.InferenceSubstitution int int
StackMap stack:
aload 11
iload 14
aaload
astore 16
start local 16 96: aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 14
aaload
checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
astore 17
start local 17 97: aload 0
aload 16
aload 17
aload 13
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding.getTypeBounds:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceSubstitution;)[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.addBounds:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Z
pop
98: aload 9
getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 14
aaload
astore 18
start local 18 99: aload 18
instanceof org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
ifeq 141
100: aload 18
checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
astore 19
start local 19 101: aload 19
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 20
start local 20 102: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 17
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.prototype:()Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
astore 21
start local 21 103: aload 21
ifnull 142
104: aload 21
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.sameBounds:Ljava/util/Set;
ifnull 111
105: aload 21
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.sameBounds:Ljava/util/Set;
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 22
start local 22 106: goto 110
107: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] int org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula[] java.util.Iterator java.util.Map$Entry org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.InferenceSubstitution int int org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.WildcardBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets java.util.Iterator
StackMap stack:
aload 22
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBound
astore 23
start local 23 108: aload 23
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifne 110
109: iconst_0
ireturn
end local 23 110: StackMap locals:
StackMap stack:
aload 22
invokeinterface java.util.Iterator.hasNext:()Z
ifne 107
end local 22 111: StackMap locals:
StackMap stack:
aload 21
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.subBounds:Ljava/util/Set;
ifnull 131
112: aload 16
getfield org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding.firstBound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 23
start local 23 113: aload 23
ifnonnull 115
114: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.object:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
astore 23
115: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] int org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula[] java.util.Iterator java.util.Map$Entry org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.InferenceSubstitution int int org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.WildcardBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets top org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 21
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.subBounds:Ljava/util/Set;
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 22
start local 22 116: goto 130
117: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] int org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula[] java.util.Iterator java.util.Map$Entry org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.InferenceSubstitution int int org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.WildcardBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets java.util.Iterator org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 22
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBound
astore 24
start local 24 118: aload 24
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifne 130
119: aload 24
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 25
start local 25 120: aload 16
getfield org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding.superInterfaces:[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
astore 26
start local 26 121: aload 26
getstatic org.eclipse.jdt.internal.compiler.lookup.Binding.NO_SUPERINTERFACES:[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
if_acmpne 124
122: aload 23
astore 27
start local 27 123: goto 129
end local 27 124: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding[]
StackMap stack:
aload 26
arraylength
iconst_1
iadd
istore 28
start local 28 125: iload 28
anewarray org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
astore 29
start local 29 126: aload 29
iconst_0
aload 23
checkcast org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
aastore
127: aload 26
iconst_0
aload 29
iconst_1
iload 28
iconst_1
isub
invokestatic java.lang.System.arraycopy:(Ljava/lang/Object;ILjava/lang/Object;II)V
128: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
aload 29
invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.createIntersectionType18:([Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 27
end local 29 end local 28 start local 27 129: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 0
aload 1
aload 13
aload 19
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
aload 20
aload 25
aload 27
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.addTypeBoundsFromWildcardBound:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceSubstitution;ILorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)V
end local 27 end local 26 end local 25 end local 24 130: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] int org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula[] java.util.Iterator java.util.Map$Entry org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.InferenceSubstitution int int org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.WildcardBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets java.util.Iterator org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 22
invokeinterface java.util.Iterator.hasNext:()Z
ifne 117
end local 23 end local 22 131: StackMap locals:
StackMap stack:
aload 21
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.superBounds:Ljava/util/Set;
ifnull 142
132: aload 21
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.superBounds:Ljava/util/Set;
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 22
start local 22 133: goto 139
134: StackMap locals: java.util.Iterator
StackMap stack:
aload 22
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBound
astore 23
start local 23 135: aload 23
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifne 139
136: aload 19
getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
iconst_2
if_icmpne 138
137: aload 0
aload 1
aload 23
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 20
iconst_2
invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.reduceOneConstraint:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
pop
goto 139
138: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBound
StackMap stack:
iconst_0
ireturn
end local 23 139: StackMap locals:
StackMap stack:
aload 22
invokeinterface java.util.Iterator.hasNext:()Z
ifne 134
end local 22 end local 21 end local 20 end local 19 140: goto 142
141: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] int org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula[] java.util.Iterator java.util.Map$Entry org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.InferenceSubstitution int int org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 0
new org.eclipse.jdt.internal.compiler.lookup.TypeBound
dup
aload 17
aload 18
iconst_4
invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.addBound:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
end local 18 end local 17 end local 16 142: StackMap locals:
StackMap stack:
iinc 14 1
StackMap locals:
StackMap stack:
143: iload 14
iload 15
if_icmplt 95
end local 15 end local 14 end local 13 end local 12 end local 11 end local 10 end local 9 end local 8 end local 7 144: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] int org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula[] java.util.Iterator
StackMap stack:
aload 6
invokeinterface java.util.Iterator.hasNext:()Z
ifne 84
145: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.captures:Ljava/util/HashMap;
invokevirtual java.util.HashMap.clear:()V
146: 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 147 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 147 1 context Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
0 147 2 first [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 147 3 next [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
1 147 4 analyzeNull Z
2 147 5 mostRecentFormulas [Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
3 82 6 i I
4 82 7 iLength I
6 80 8 boundI Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
7 80 9 j I
8 80 10 jLength I
10 78 11 boundJ Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
13 78 12 iteration I
14 76 13 newConstraint Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
15 76 14 deriveTypeArgumentConstraints Z
17 19 15 boundX Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
55 61 15 nullHints J
64 76 15 typeArgumentConstraints [Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
66 72 16 k I
67 72 17 length I
74 76 16 boundX Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
83 147 6 captIter Ljava/util/Iterator<Ljava/util/Map$Entry<Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;>;>;
85 144 7 capt Ljava/util/Map$Entry<Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;>;
86 144 8 gAlpha Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
87 144 9 gA Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
88 144 10 g Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
89 144 11 parameters [Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
90 144 12 alphas [Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
92 144 13 theta Lorg/eclipse/jdt/internal/compiler/lookup/InferenceSubstitution;
93 144 14 i I
94 144 15 length I
96 142 16 pi Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
97 142 17 alpha Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
99 142 18 ai Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
101 140 19 wildcardBinding Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
102 140 20 t Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
103 140 21 three Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;
106 111 22 it Ljava/util/Iterator<Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;
116 131 22 it Ljava/util/Iterator<Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;
133 140 22 it Ljava/util/Iterator<Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;
108 110 23 bound Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
113 131 23 bi1 Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
118 130 24 bound Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
120 130 25 r Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
121 130 26 otherBounds [Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
123 124 27 bi Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
129 130 27 bi Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
125 129 28 n I
126 129 29 allBounds [Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
135 139 23 bound Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
Exceptions:
throws org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
MethodParameters:
Name Flags
context
first
next
void addTypeBoundsFromWildcardBound(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18, org.eclipse.jdt.internal.compiler.lookup.InferenceSubstitution, int, 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/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceSubstitution;ILorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)V
flags: (0x0000)
Code:
stack=3, locals=8, args_size=7
start local 0 start local 1 start local 2 start local 3 start local 4 start local 5 start local 6 0: aconst_null
astore 7
start local 7 1: iload 3
iconst_1
if_icmpne 7
2: aload 6
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
iconst_1
if_icmpne 4
3: aload 4
aload 5
iconst_2
invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 7
4: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
StackMap stack:
aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
iconst_1
if_icmpne 8
5: aload 2
aload 2
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceSubstitution.substitute:(Lorg/eclipse/jdt/internal/compiler/lookup/Substitution;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 5
iconst_2
invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 7
6: goto 8
7: StackMap locals:
StackMap stack:
aload 2
aload 2
aload 6
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceSubstitution.substitute:(Lorg/eclipse/jdt/internal/compiler/lookup/Substitution;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 5
iconst_2
invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 7
8: StackMap locals:
StackMap stack:
aload 7
ifnull 10
9: aload 0
aload 1
aload 7
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.reduceOneConstraint:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
pop
10: StackMap locals:
StackMap stack:
return
end local 7 end local 6 end local 5 end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 11 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 11 1 context Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
0 11 2 theta Lorg/eclipse/jdt/internal/compiler/lookup/InferenceSubstitution;
0 11 3 boundKind I
0 11 4 t Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 11 5 r Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 11 6 bi Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
1 11 7 formula Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
Exceptions:
throws org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
MethodParameters:
Name Flags
context
theta
boundKind
t
r
bi
private org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula combineSameSame(org.eclipse.jdt.internal.compiler.lookup.TypeBound, org.eclipse.jdt.internal.compiler.lookup.TypeBound, org.eclipse.jdt.internal.compiler.lookup.TypeBound[], org.eclipse.jdt.internal.compiler.lookup.TypeBound[]);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
flags: (0x0002) ACC_PRIVATE
Code:
stack=5, locals=6, args_size=5
start local 0 start local 1 start local 2 start local 3 start local 4 0: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
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 4
1: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_4
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 2
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 2
iconst_0
goto 3
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[]
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
2: iconst_1
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[]
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int int
3: 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
4: StackMap locals:
StackMap stack:
aload 0
aload 1
aload 2
aload 3
aload 4
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.combineSameSameWithProperType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 5
start local 5 5: aload 5
ifnull 7
6: aload 5
areturn
7: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
StackMap stack:
aload 0
aload 2
aload 1
aload 3
aload 4
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.combineSameSameWithProperType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
astore 5
8: aload 5
ifnull 10
9: aload 5
areturn
10: StackMap locals:
StackMap stack:
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 11 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 11 1 boundS Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 11 2 boundT Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 11 3 firstBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 11 4 nextBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
5 11 5 newConstraint Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
MethodParameters:
Name Flags
boundS
boundT
firstBounds
nextBounds
private org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula combineSameSameWithProperType(org.eclipse.jdt.internal.compiler.lookup.TypeBound, org.eclipse.jdt.internal.compiler.lookup.TypeBound, org.eclipse.jdt.internal.compiler.lookup.TypeBound[], org.eclipse.jdt.internal.compiler.lookup.TypeBound[]);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
flags: (0x0002) ACC_PRIVATE
Code:
stack=4, locals=9, args_size=5
start local 0 start local 1 start local 2 start local 3 start local 4 0: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 5
start local 5 1: getstatic org.eclipse.jdt.internal.compiler.lookup.BoundSet.enableOptimizationForBug543480:Z
ifeq 5
aload 0
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.isParameterizedDependency:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Z
ifeq 5
2: aload 0
aload 2
3: aload 3
aload 4
4: invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.incorporateIntoParameterizedDependencyIfAllArgumentsAreProperTypes:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
5: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 5
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifeq 12
6: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
astore 6
start local 6 7: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
astore 7
start local 7 8: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 6
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;
astore 8
start local 8 9: aload 7
aload 8
iconst_4
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 10
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 10
iconst_0
goto 11
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
10: iconst_1
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int int
11: 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 end local 7 end local 6 12: StackMap locals:
StackMap stack:
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 13 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 13 1 boundLeft Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 13 2 boundRight Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 13 3 firstBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 13 4 nextBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
1 13 5 u Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
7 12 6 alpha Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
8 12 7 left Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
9 12 8 right Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
boundLeft
boundRight
firstBounds
nextBounds
private org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula combineSameSubSuper(org.eclipse.jdt.internal.compiler.lookup.TypeBound, org.eclipse.jdt.internal.compiler.lookup.TypeBound, org.eclipse.jdt.internal.compiler.lookup.TypeBound[], org.eclipse.jdt.internal.compiler.lookup.TypeBound[]);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
flags: (0x0002) ACC_PRIVATE
Code:
stack=6, locals=8, args_size=5
start local 0 start local 1 start local 2 start local 3 start local 4 0: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
astore 5
start local 5 1: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 6
start local 6 2: aload 5
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
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 7
3: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 7
start local 7 4: aload 6
aload 7
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 5
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 5
iconst_0
goto 6
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
5: iconst_1
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int int
6: 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 7 7: StackMap locals:
StackMap stack:
aload 5
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.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 12
8: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
astore 7
start local 7 9: aload 7
aload 6
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 10
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 10
iconst_0
goto 11
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
10: iconst_1
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int int
11: 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 7 12: StackMap locals:
StackMap stack:
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 25
13: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
astore 5
14: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
astore 6
15: aload 5
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
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 20
16: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 7
start local 7 17: aload 6
aload 7
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 18
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 18
iconst_0
goto 19
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
18: iconst_1
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int int
19: 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 7 20: StackMap locals:
StackMap stack:
aload 5
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.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 25
21: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
astore 7
start local 7 22: aload 7
aload 6
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 23
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 23
iconst_0
goto 24
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
23: iconst_1
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int int
24: 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 7 25: StackMap locals:
StackMap stack:
aload 0
aload 1
aload 2
aload 5
aload 3
aload 4
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.combineSameSubSuperWithProperType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
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 26 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 26 1 boundS Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 26 2 boundT Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 26 3 firstBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 26 4 nextBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
1 26 5 alpha Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
2 26 6 s Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
4 7 7 t Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
9 12 7 t Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
17 20 7 t Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
22 25 7 t Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
boundS
boundT
firstBounds
nextBounds
private org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula combineSameSubSuperWithProperType(org.eclipse.jdt.internal.compiler.lookup.TypeBound, org.eclipse.jdt.internal.compiler.lookup.TypeBound, org.eclipse.jdt.internal.compiler.lookup.InferenceVariable, org.eclipse.jdt.internal.compiler.lookup.TypeBound[], org.eclipse.jdt.internal.compiler.lookup.TypeBound[]);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
flags: (0x0002) ACC_PRIVATE
Code:
stack=4, locals=10, args_size=6
start local 0 start local 1 start local 2 start local 3 start local 4 start local 5 0: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 6
start local 6 1: getstatic org.eclipse.jdt.internal.compiler.lookup.BoundSet.enableOptimizationForBug543480:Z
ifeq 5
aload 0
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.isParameterizedDependency:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Z
ifeq 5
2: aload 0
aload 2
3: aload 4
aload 5
4: invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.incorporateIntoParameterizedDependencyIfAllArgumentsAreProperTypes:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
5: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 6
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifeq 16
6: aload 3
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
istore 7
start local 7 7: iload 7
ifeq 8
aload 6
goto 9
StackMap locals: int
StackMap stack:
8: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
StackMap locals:
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
9: astore 8
start local 8 10: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 3
aload 6
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;
astore 9
start local 9 11: iload 7
aload 9
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.notEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ior
istore 7
12: iload 7
ifeq 16
13: aload 8
aload 9
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 14
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 14
iconst_0
goto 15
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding int org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
14: iconst_1
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBound[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding int org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int int
15: 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 9 end local 8 end local 7 16: StackMap locals:
StackMap stack:
aconst_null
areturn
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 17 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 17 1 boundLeft Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 17 2 boundRight Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 17 3 alpha Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
0 17 4 firstBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 17 5 nextBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
1 17 6 u Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
7 16 7 substitute Z
10 16 8 left Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
11 16 9 right Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
boundLeft
boundRight
alpha
firstBounds
nextBounds
private org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula combineSuperAndSub(org.eclipse.jdt.internal.compiler.lookup.TypeBound, org.eclipse.jdt.internal.compiler.lookup.TypeBound);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
flags: (0x0002) ACC_PRIVATE
Code:
stack=4, locals=4, args_size=3
start local 0 start local 1 start local 2 0: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
astore 3
start local 3 1: aload 3
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
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
2: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_2
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 3
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 3
iconst_0
goto 4
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
3: iconst_1
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int int
4: 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
5: StackMap locals:
StackMap stack:
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 11
6: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
astore 3
7: aload 3
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.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 11
8: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
iconst_3
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 9
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 9
iconst_0
goto 10
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.InferenceVariable int
9: iconst_1
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.InferenceVariable int int
10: 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
11: StackMap locals:
StackMap stack:
aconst_null
areturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 12 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 12 1 boundS Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 12 2 boundT Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
1 12 3 alpha Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
MethodParameters:
Name Flags
boundS
boundT
private org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula combineEqualSupers(org.eclipse.jdt.internal.compiler.lookup.TypeBound, org.eclipse.jdt.internal.compiler.lookup.TypeBound);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
flags: (0x0002) ACC_PRIVATE
Code:
stack=4, locals=3, args_size=3
start local 0 start local 1 start local 2 0: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.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 4
1: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 2
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 2
iconst_0
goto 3
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
2: iconst_1
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding int int
3: 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
4: StackMap locals:
StackMap stack:
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
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 8
5: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 6
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 6
iconst_0
goto 7
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
6: iconst_1
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding int int
7: 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:
aconst_null
areturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 9 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 9 1 boundS Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 9 2 boundT Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
MethodParameters:
Name Flags
boundS
boundT
private boolean isParameterizedDependency(org.eclipse.jdt.internal.compiler.lookup.TypeBound);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Z
flags: (0x0002) ACC_PRIVATE
Code:
stack=2, locals=2, args_size=2
start local 0 start local 1 0: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
sipush 260
if_icmpne 4
1: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifne 4
2: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isParameterizedTypeWithActualArguments:()Z
ifeq 4
3: iconst_1
ireturn
StackMap locals:
StackMap stack:
4: iconst_0
ireturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 5 1 typeBound Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
MethodParameters:
Name Flags
typeBound
private org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula incorporateIntoParameterizedDependencyIfAllArgumentsAreProperTypes(org.eclipse.jdt.internal.compiler.lookup.TypeBound, org.eclipse.jdt.internal.compiler.lookup.TypeBound[], org.eclipse.jdt.internal.compiler.lookup.TypeBound[]);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
flags: (0x0002) ACC_PRIVATE
Code:
stack=4, locals=5, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 0
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
aload 2
aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.getProperTypesForAllInferenceVariablesOrNull:(Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Ljava/util/Collection;
astore 4
start local 4 1: aload 4
ifnull 3
2: aload 0
aload 4
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.combineWithProperTypes:(Ljava/util/Collection;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
3: StackMap locals: java.util.Collection
StackMap stack:
aconst_null
areturn
end local 4 end local 3 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/BoundSet;
0 4 1 typeBound Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 4 2 firstBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 4 3 nextBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
1 4 4 properTypesForAllInferenceVariables Ljava/util/Collection<Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;
MethodParameters:
Name Flags
typeBound
firstBounds
nextBounds
private java.util.Collection<org.eclipse.jdt.internal.compiler.lookup.TypeBound> getProperTypesForAllInferenceVariablesOrNull(org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBound[], org.eclipse.jdt.internal.compiler.lookup.TypeBound[]);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Ljava/util/Collection;
flags: (0x0002) ACC_PRIVATE
Code:
stack=3, locals=6, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 0
aload 2
aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.properTypesByInferenceVariable:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Ljava/util/Map;
astore 4
start local 4 1: aload 4
invokeinterface java.util.Map.size:()I
ifne 3
2: aconst_null
areturn
3: StackMap locals: java.util.Map
StackMap stack:
aload 0
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.getInferenceVariables:(Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;)Ljava/util/Set;
astore 5
start local 5 4: aload 4
invokeinterface java.util.Map.keySet:()Ljava/util/Set;
aload 5
invokeinterface java.util.Set.containsAll:(Ljava/util/Collection;)Z
ifeq 6
5: aload 4
invokeinterface java.util.Map.values:()Ljava/util/Collection;
areturn
6: StackMap locals: java.util.Set
StackMap stack:
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 7 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 7 1 parameterizedType Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
0 7 2 firstBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 7 3 nextBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
1 7 4 properTypesByInferenceVariable Ljava/util/Map<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;
4 7 5 inferenceVariables Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
Signature: (Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Ljava/util/Collection<Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;
MethodParameters:
Name Flags
parameterizedType
firstBounds
nextBounds
private java.util.Map<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable, org.eclipse.jdt.internal.compiler.lookup.TypeBound> properTypesByInferenceVariable(org.eclipse.jdt.internal.compiler.lookup.TypeBound[], org.eclipse.jdt.internal.compiler.lookup.TypeBound[]);
descriptor: ([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Ljava/util/Map;
flags: (0x0002) ACC_PRIVATE
Code:
stack=4, locals=3, args_size=3
start local 0 start local 1 start local 2 0: aload 0
aload 1
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.getBoundsStream:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Ljava/util/stream/Stream;
1: invokedynamic test()Ljava/util/function/Predicate;
Bootstrap: invokestatic java.lang.invoke.LambdaMetafactory.metafactory:(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodHandle;Ljava/lang/invoke/MethodType;)Ljava/lang/invoke/CallSite;
Method arguments:
(Ljava/lang/Object;)Z
org/eclipse/jdt/internal/compiler/lookup/BoundSet.lambda$0(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Z (6)
(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Z
invokeinterface java.util.stream.Stream.filter:(Ljava/util/function/Predicate;)Ljava/util/stream/Stream;
2: invokedynamic test()Ljava/util/function/Predicate;
Bootstrap: invokestatic java.lang.invoke.LambdaMetafactory.metafactory:(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodHandle;Ljava/lang/invoke/MethodType;)Ljava/lang/invoke/CallSite;
Method arguments:
(Ljava/lang/Object;)Z
org/eclipse/jdt/internal/compiler/lookup/BoundSet.lambda$1(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Z (6)
(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Z
invokeinterface java.util.stream.Stream.filter:(Ljava/util/function/Predicate;)Ljava/util/stream/Stream;
3: invokedynamic apply()Ljava/util/function/Function;
Bootstrap: invokestatic java.lang.invoke.LambdaMetafactory.metafactory:(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodHandle;Ljava/lang/invoke/MethodType;)Ljava/lang/invoke/CallSite;
Method arguments:
(Ljava/lang/Object;)Ljava/lang/Object;
org/eclipse/jdt/internal/compiler/lookup/BoundSet.lambda$2(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable; (6)
(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
invokestatic java.util.function.Function.identity:()Ljava/util/function/Function;
4: invokedynamic apply()Ljava/util/function/BinaryOperator;
Bootstrap: invokestatic java.lang.invoke.LambdaMetafactory.metafactory:(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodHandle;Ljava/lang/invoke/MethodType;)Ljava/lang/invoke/CallSite;
Method arguments:
(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
org/eclipse/jdt/internal/compiler/lookup/BoundSet.lambda$3(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound; (6)
(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
5: invokestatic java.util.stream.Collectors.toMap:(Ljava/util/function/Function;Ljava/util/function/Function;Ljava/util/function/BinaryOperator;)Ljava/util/stream/Collector;
invokeinterface java.util.stream.Stream.collect:(Ljava/util/stream/Collector;)Ljava/lang/Object;
checkcast java.util.Map
6: areturn
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/BoundSet;
0 7 1 firstBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 7 2 nextBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
Signature: ([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Ljava/util/Map<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;
MethodParameters:
Name Flags
firstBounds
nextBounds
private java.util.stream.Stream<org.eclipse.jdt.internal.compiler.lookup.TypeBound> getBoundsStream(org.eclipse.jdt.internal.compiler.lookup.TypeBound[], org.eclipse.jdt.internal.compiler.lookup.TypeBound[]);
descriptor: ([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Ljava/util/stream/Stream;
flags: (0x0002) ACC_PRIVATE
Code:
stack=2, locals=3, args_size=3
start local 0 start local 1 start local 2 0: aload 1
aload 2
if_acmpne 2
1: aload 1
invokestatic java.util.Arrays.stream:([Ljava/lang/Object;)Ljava/util/stream/Stream;
areturn
2: StackMap locals:
StackMap stack:
aload 2
invokestatic java.util.Arrays.stream:([Ljava/lang/Object;)Ljava/util/stream/Stream;
aload 1
invokestatic java.util.Arrays.stream:([Ljava/lang/Object;)Ljava/util/stream/Stream;
invokestatic java.util.stream.Stream.concat:(Ljava/util/stream/Stream;Ljava/util/stream/Stream;)Ljava/util/stream/Stream;
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/BoundSet;
0 3 1 firstBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 3 2 nextBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
Signature: ([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Ljava/util/stream/Stream<Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;
MethodParameters:
Name Flags
firstBounds
nextBounds
private java.util.Set<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable> getInferenceVariables(org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;)Ljava/util/Set;
flags: (0x0002) ACC_PRIVATE
Code:
stack=2, locals=7, args_size=2
start local 0 start local 1 0: new java.util.LinkedHashSet
dup
invokespecial java.util.LinkedHashSet.<init>:()V
astore 2
start local 2 1: aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
dup
astore 6
arraylength
istore 5
iconst_0
istore 4
goto 5
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding java.util.Set top int int org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
StackMap stack:
2: aload 6
iload 4
aaload
astore 3
start local 3 3: aload 3
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.collectInferenceVariables:(Ljava/util/Set;)V
end local 3 4: iinc 4 1
StackMap locals:
StackMap stack:
5: iload 4
iload 5
if_icmplt 2
6: aload 2
areturn
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/BoundSet;
0 7 1 parameterizedType Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
1 7 2 inferenceVariables Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
3 4 3 argument Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
Signature: (Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;)Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
MethodParameters:
Name Flags
parameterizedType
private org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula combineWithProperTypes(java.util.Collection<org.eclipse.jdt.internal.compiler.lookup.TypeBound>, org.eclipse.jdt.internal.compiler.lookup.TypeBound);
descriptor: (Ljava/util/Collection;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
flags: (0x0002) ACC_PRIVATE
Code:
stack=4, locals=11, args_size=3
start local 0 start local 1 start local 2 0: aload 1
invokeinterface java.util.Collection.size:()I
ifne 2
1: aconst_null
areturn
2: StackMap locals:
StackMap stack:
iconst_0
istore 3
start local 3 3: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
astore 4
start local 4 4: aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 5
start local 5 5: aload 1
invokeinterface java.util.Collection.iterator:()Ljava/util/Iterator;
astore 7
goto 12
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet java.util.Collection org.eclipse.jdt.internal.compiler.lookup.TypeBound int org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding top java.util.Iterator
StackMap stack:
6: aload 7
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBound
astore 6
start local 6 7: aload 6
astore 8
start local 8 8: aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
astore 9
start local 9 9: aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 10
start local 10 10: iload 3
aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ior
istore 3
11: aload 5
aload 9
aload 10
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;
astore 5
end local 10 end local 9 end local 8 end local 6 12: StackMap locals:
StackMap stack:
aload 7
invokeinterface java.util.Iterator.hasNext:()Z
ifne 6
13: aload 4
aload 5
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
iload 3
ifne 14
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 14
iconst_0
goto 15
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet java.util.Collection org.eclipse.jdt.internal.compiler.lookup.TypeBound int org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
14: iconst_1
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet java.util.Collection org.eclipse.jdt.internal.compiler.lookup.TypeBound int org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding int int
15: 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 5 end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 16 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 16 1 properTypesForAllInferenceVariables Ljava/util/Collection<Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;
0 16 2 boundRight Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
3 16 3 isAnyLeftSoft Z
4 16 4 left Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
5 16 5 right Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
7 12 6 properTypeForInferenceVariable Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
8 12 8 boundLeft Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
9 12 9 alpha Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
10 12 10 u Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
Signature: (Ljava/util/Collection<Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
MethodParameters:
Name Flags
properTypesForAllInferenceVariables
boundRight
private org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula[] deriveTypeArgumentConstraints(org.eclipse.jdt.internal.compiler.lookup.TypeBound, org.eclipse.jdt.internal.compiler.lookup.TypeBound);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)[Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
flags: (0x0002) ACC_PRIVATE
Code:
stack=4, locals=4, args_size=3
start local 0 start local 1 start local 2 0: aload 0
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.superTypesWithCommonGenericType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 3
start local 3 1: aload 3
ifnull 5
2: aload 0
aload 3
iconst_0
aaload
aload 3
iconst_1
aaload
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 3
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.isSoft:Z
ifne 3
iconst_0
goto 4
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
3: iconst_1
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBound org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
StackMap stack: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
4: invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.typeArgumentEqualityConstraints:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Z)[Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
areturn
5: StackMap locals:
StackMap stack:
aconst_null
areturn
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/BoundSet;
0 6 1 boundS Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 6 2 boundT Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
1 6 3 supers [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
boundS
boundT
private org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula[] typeArgumentEqualityConstraints(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, boolean);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Z)[Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
flags: (0x0002) ACC_PRIVATE
Code:
stack=5, locals=10, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 1
ifnull 1
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
sipush 260
if_icmpne 1
aload 2
ifnull 1
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
sipush 260
if_icmpeq 2
1: StackMap locals:
StackMap stack:
aconst_null
areturn
2: StackMap locals:
StackMap stack:
aload 1
aload 2
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 4
3: aconst_null
areturn
4: StackMap locals:
StackMap stack:
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.typeArguments:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 4
start local 4 5: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.typeArguments:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 5
start local 5 6: aload 4
ifnull 7
aload 5
ifnull 7
aload 4
arraylength
aload 5
arraylength
if_icmpeq 8
7: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
StackMap stack:
aconst_null
areturn
8: StackMap locals:
StackMap stack:
new java.util.ArrayList
dup
invokespecial java.util.ArrayList.<init>:()V
astore 6
start local 6 9: iconst_0
istore 7
start local 7 10: goto 17
11: StackMap locals: java.util.List int
StackMap stack:
aload 4
iload 7
aaload
astore 8
start local 8 12: aload 5
iload 7
aaload
astore 9
start local 9 13: aload 8
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isWildcard:()Z
ifne 16
aload 9
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isWildcard:()Z
ifne 16
aload 8
aload 9
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 15
14: goto 16
15: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 6
aload 8
aload 9
iconst_4
iload 3
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
end local 9 end local 8 16: StackMap locals:
StackMap stack:
iinc 7 1
StackMap locals:
StackMap stack:
17: iload 7
aload 4
arraylength
if_icmplt 11
end local 7 18: aload 6
invokeinterface java.util.List.size:()I
ifle 20
19: aload 6
aload 6
invokeinterface java.util.List.size:()I
anewarray org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
invokeinterface java.util.List.toArray:([Ljava/lang/Object;)[Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula[]
areturn
20: StackMap locals:
StackMap stack:
aconst_null
areturn
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/BoundSet;
0 21 1 s Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 21 2 t Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 21 3 isSoft Z
5 21 4 sis [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
6 21 5 tis [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
9 21 6 result Ljava/util/List<Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;>;
10 18 7 i I
12 16 8 si Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
13 16 9 ti Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
s
t
isSoft
public boolean reduceOneConstraint(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18, org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=6, args_size=3
start local 0 start local 1 start local 2 0: aload 2
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.reduce:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/lang/Object;
astore 3
start local 3 1: aload 3
getstatic org.eclipse.jdt.internal.compiler.lookup.ReductionResult.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
if_acmpne 3
2: iconst_0
ireturn
3: StackMap locals: java.lang.Object
StackMap stack:
aload 3
getstatic org.eclipse.jdt.internal.compiler.lookup.ReductionResult.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
if_acmpne 5
4: iconst_1
ireturn
5: StackMap locals:
StackMap stack:
aload 3
aload 2
if_acmpne 7
6: new java.lang.IllegalStateException
dup
ldc "Failed to reduce constraint formula"
invokespecial java.lang.IllegalStateException.<init>:(Ljava/lang/String;)V
athrow
7: StackMap locals:
StackMap stack:
aload 3
ifnull 21
8: aload 3
instanceof org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
ifeq 11
9: aload 0
aload 1
aload 3
checkcast org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.reduceOneConstraint:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
ifne 21
10: iconst_0
ireturn
11: StackMap locals:
StackMap stack:
aload 3
instanceof org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[]
ifeq 20
12: aload 3
checkcast org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[]
astore 4
start local 4 13: iconst_0
istore 5
start local 5 14: goto 18
15: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] int
StackMap stack:
aload 0
aload 1
aload 4
iload 5
aaload
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.reduceOneConstraint:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
ifne 17
16: iconst_0
ireturn
17: StackMap locals:
StackMap stack:
iinc 5 1
StackMap locals:
StackMap stack:
18: iload 5
aload 4
arraylength
if_icmplt 15
end local 5 end local 4 19: goto 21
20: StackMap locals:
StackMap stack:
aload 0
aload 3
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBound
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.addBound:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
21: StackMap locals:
StackMap stack:
iconst_1
ireturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 22 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 22 1 context Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
0 22 2 currentConstraint Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
1 22 3 result Ljava/lang/Object;
13 19 4 resultArray [Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
14 19 5 i I
Exceptions:
throws org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
MethodParameters:
Name Flags
context
currentConstraint
public boolean dependsOnResolutionOf(org.eclipse.jdt.internal.compiler.lookup.InferenceVariable, org.eclipse.jdt.internal.compiler.lookup.InferenceVariable);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=9, args_size=3
start local 0 start local 1 start local 2 0: aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.prototype:()Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
astore 1
1: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.prototype:()Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
astore 2
2: aload 1
aload 2
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 4
3: iconst_1
ireturn
4: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.captures:Ljava/util/HashMap;
invokevirtual java.util.HashMap.entrySet:()Ljava/util/Set;
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 3
start local 3 5: iconst_0
istore 4
start local 4 6: goto 21
7: StackMap locals: java.util.Iterator int
StackMap stack:
aload 3
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast java.util.Map$Entry
astore 5
start local 5 8: aload 5
invokeinterface java.util.Map$Entry.getKey:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
astore 6
start local 6 9: iconst_0
istore 7
start local 7 10: goto 20
11: StackMap locals: java.util.Map$Entry org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding int
StackMap stack:
aload 6
getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 7
aaload
aload 1
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
12: aload 5
invokeinterface java.util.Map$Entry.getValue:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
astore 8
start local 8 13: aload 8
iconst_1
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBinding
dup
iconst_0
aload 2
aastore
iconst_m1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.mentionsAny:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Z
ifeq 15
14: iconst_1
ireturn
15: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
StackMap stack:
aload 6
iconst_1
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBinding
dup
iconst_0
aload 2
aastore
iload 7
invokevirtual org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.mentionsAny:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Z
ifeq 19
16: iconst_1
ireturn
end local 8 17: StackMap locals:
StackMap stack:
aload 6
getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 7
aaload
aload 2
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 19
18: iconst_1
istore 4
19: StackMap locals:
StackMap stack:
iinc 7 1
StackMap locals:
StackMap stack:
20: iload 7
aload 6
getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
arraylength
if_icmplt 11
end local 7 end local 6 end local 5 21: StackMap locals:
StackMap stack:
aload 3
invokeinterface java.util.Iterator.hasNext:()Z
ifne 7
22: iload 4
ifeq 26
23: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 2
invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
astore 5
start local 5 24: aload 5
ifnull 29
aload 5
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.hasDependency:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Z
ifeq 29
25: iconst_1
ireturn
end local 5 26: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 1
invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
astore 5
start local 5 27: aload 5
ifnull 29
aload 5
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.hasDependency:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Z
ifeq 29
28: iconst_1
ireturn
end local 5 29: StackMap locals:
StackMap stack:
iconst_0
ireturn
end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 30 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 30 1 alpha Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
0 30 2 beta Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
5 30 3 captureIter Ljava/util/Iterator<Ljava/util/Map$Entry<Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;>;>;
6 30 4 betaIsInCaptureLhs Z
8 21 5 entry Ljava/util/Map$Entry<Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;>;
9 21 6 g Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
10 21 7 i I
13 17 8 captured Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
24 26 5 sets Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;
27 29 5 sets Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;
MethodParameters:
Name Flags
alpha
beta
java.util.List<java.util.Set<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable>> computeConnectedComponents(org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[]);
descriptor: ([Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Ljava/util/List;
flags: (0x0000)
Code:
stack=5, locals=10, args_size=2
start local 0 start local 1 0: new java.util.HashMap
dup
invokespecial java.util.HashMap.<init>:()V
astore 2
start local 2 1: iconst_0
istore 3
start local 3 2: goto 15
3: StackMap locals: java.util.Map int
StackMap stack:
aload 1
iload 3
aaload
astore 4
start local 4 4: new java.util.HashSet
dup
invokespecial java.util.HashSet.<init>:()V
astore 5
start local 5 5: aload 2
aload 4
aload 5
invokeinterface java.util.Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
pop
6: iconst_0
istore 6
start local 6 7: goto 13
8: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable java.util.HashSet int
StackMap stack:
aload 1
iload 6
aaload
astore 7
start local 7 9: aload 0
aload 4
aload 7
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.dependsOnResolutionOf:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Z
ifne 10
aload 0
aload 7
aload 4
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.dependsOnResolutionOf:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Z
ifeq 12
10: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
StackMap stack:
aload 5
aload 7
invokevirtual java.util.HashSet.add:(Ljava/lang/Object;)Z
pop
11: aload 2
aload 7
invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast java.util.Set
aload 4
invokeinterface java.util.Set.add:(Ljava/lang/Object;)Z
pop
end local 7 12: StackMap locals:
StackMap stack:
iinc 6 1
StackMap locals:
StackMap stack:
13: iload 6
iload 3
if_icmplt 8
end local 6 end local 5 end local 4 14: iinc 3 1
StackMap locals:
StackMap stack:
15: iload 3
aload 1
arraylength
if_icmplt 3
end local 3 16: new java.util.HashSet
dup
invokespecial java.util.HashSet.<init>:()V
astore 3
start local 3 17: new java.util.ArrayList
dup
invokespecial java.util.ArrayList.<init>:()V
astore 4
start local 4 18: aload 1
dup
astore 8
arraylength
istore 7
iconst_0
istore 6
goto 25
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] java.util.Map java.util.Set java.util.List top int int org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[]
StackMap stack:
19: aload 8
iload 6
aaload
astore 5
start local 5 20: new java.util.HashSet
dup
invokespecial java.util.HashSet.<init>:()V
astore 9
start local 9 21: aload 0
aload 9
aload 5
aload 2
aload 3
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.addConnected:(Ljava/util/Set;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Ljava/util/Map;Ljava/util/Set;)V
22: aload 9
invokeinterface java.util.Set.isEmpty:()Z
ifne 24
23: aload 4
aload 9
invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
pop
end local 9 end local 5 24: StackMap locals:
StackMap stack:
iinc 6 1
StackMap locals:
StackMap stack:
25: iload 6
iload 7
if_icmplt 19
26: aload 4
areturn
end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 27 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 27 1 inferenceVariables [Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
1 27 2 allEdges Ljava/util/Map<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;>;
2 16 3 i I
4 14 4 iv1 Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
5 14 5 targetSet Ljava/util/HashSet<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
7 14 6 j I
9 12 7 iv2 Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
17 27 3 visited Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
18 27 4 allComponents Ljava/util/List<Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;>;
20 24 5 inferenceVariable Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
21 24 9 component Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
Signature: ([Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Ljava/util/List<Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;>;
MethodParameters:
Name Flags
inferenceVariables
private void addConnected(java.util.Set<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable>, org.eclipse.jdt.internal.compiler.lookup.InferenceVariable, java.util.Map<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable, java.util.Set<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable>>, java.util.Set<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable>);
descriptor: (Ljava/util/Set;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Ljava/util/Map;Ljava/util/Set;)V
flags: (0x0002) ACC_PRIVATE
Code:
stack=5, locals=7, args_size=5
start local 0 start local 1 start local 2 start local 3 start local 4 0: aload 4
aload 2
invokeinterface java.util.Set.add:(Ljava/lang/Object;)Z
ifeq 6
1: aload 1
aload 2
invokeinterface java.util.Set.add:(Ljava/lang/Object;)Z
pop
2: aload 3
aload 2
invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast java.util.Set
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 6
goto 5
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet java.util.Set org.eclipse.jdt.internal.compiler.lookup.InferenceVariable java.util.Map java.util.Set top java.util.Iterator
StackMap stack:
3: aload 6
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
astore 5
start local 5 4: aload 0
aload 1
aload 5
aload 3
aload 4
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.addConnected:(Ljava/util/Set;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Ljava/util/Map;Ljava/util/Set;)V
end local 5 5: StackMap locals:
StackMap stack:
aload 6
invokeinterface java.util.Iterator.hasNext:()Z
ifne 3
6: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet java.util.Set org.eclipse.jdt.internal.compiler.lookup.InferenceVariable java.util.Map java.util.Set
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 7 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 7 1 component Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
0 7 2 seed Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
0 7 3 allEdges Ljava/util/Map<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;>;
0 7 4 visited Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
4 5 5 next Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
Signature: (Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Ljava/util/Map<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;>;Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;)V
MethodParameters:
Name Flags
component
seed
allEdges
visited
public boolean hasCaptureBound(java.util.Set<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable>);
descriptor: (Ljava/util/Set;)Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=5, args_size=2
start local 0 start local 1 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.captures:Ljava/util/HashMap;
invokevirtual java.util.HashMap.keySet:()Ljava/util/Set;
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 2
start local 2 1: goto 9
2: StackMap locals: java.util.Iterator
StackMap stack:
aload 2
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
astore 3
start local 3 3: iconst_0
istore 4
start local 4 4: goto 8
5: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding int
StackMap stack:
aload 1
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iload 4
aaload
invokeinterface java.util.Set.contains:(Ljava/lang/Object;)Z
ifeq 7
6: iconst_1
ireturn
7: StackMap locals:
StackMap stack:
iinc 4 1
StackMap locals:
StackMap stack:
8: iload 4
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
arraylength
if_icmplt 5
end local 4 end local 3 9: StackMap locals:
StackMap stack:
aload 2
invokeinterface java.util.Iterator.hasNext:()Z
ifne 2
10: iconst_0
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/BoundSet;
0 11 1 variableSet Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
1 11 2 captureIter Ljava/util/Iterator<Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;>;
3 9 3 g Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
4 9 4 i I
Signature: (Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;)Z
MethodParameters:
Name Flags
variableSet
public boolean hasOnlyTrivialExceptionBounds(org.eclipse.jdt.internal.compiler.lookup.InferenceVariable, org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=4, args_size=3
start local 0 start local 1 start local 2 0: aload 2
ifnull 8
1: iconst_0
istore 3
start local 3 2: goto 7
3: StackMap locals: int
StackMap stack:
aload 2
iload 3
aaload
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
lookupswitch { // 3
1: 4
21: 4
25: 4
default: 5
}
4: StackMap locals:
StackMap stack:
goto 6
5: StackMap locals:
StackMap stack:
iconst_0
ireturn
6: StackMap locals:
StackMap stack:
iinc 3 1
StackMap locals:
StackMap stack:
7: iload 3
aload 2
arraylength
if_icmplt 3
end local 3 8: StackMap locals:
StackMap stack:
iconst_1
ireturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 9 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 9 1 variable Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
0 9 2 upperBounds [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
2 8 3 i I
MethodParameters:
Name Flags
variable
upperBounds
public org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] upperBounds(org.eclipse.jdt.internal.compiler.lookup.InferenceVariable, boolean);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Z)[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=4, args_size=3
start local 0 start local 1 start local 2 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.prototype:()Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
astore 3
start local 3 1: aload 3
ifnull 2
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.subBounds:Ljava/util/Set;
ifnonnull 3
2: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.Binding.NO_TYPES:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
areturn
3: StackMap locals:
StackMap stack:
aload 3
iload 2
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.upperBounds:(ZLorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
areturn
end local 3 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/BoundSet;
0 4 1 variable Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
0 4 2 onlyProper Z
1 4 3 three Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;
MethodParameters:
Name Flags
variable
onlyProper
org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] lowerBounds(org.eclipse.jdt.internal.compiler.lookup.InferenceVariable, boolean);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Z)[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
flags: (0x0000)
Code:
stack=3, locals=4, args_size=3
start local 0 start local 1 start local 2 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.prototype:()Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
astore 3
start local 3 1: aload 3
ifnull 2
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.superBounds:Ljava/util/Set;
ifnonnull 3
2: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
StackMap stack:
getstatic org.eclipse.jdt.internal.compiler.lookup.Binding.NO_TYPES:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
areturn
3: StackMap locals:
StackMap stack:
aload 3
iload 2
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.lowerBounds:(ZLorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
areturn
end local 3 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/BoundSet;
0 4 1 variable Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
0 4 2 onlyProper Z
1 4 3 three Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;
MethodParameters:
Name Flags
variable
onlyProper
public java.lang.String toString();
descriptor: ()Ljava/lang/String;
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=7, args_size=1
start local 0 0: new java.lang.StringBuffer
dup
ldc "Type Bounds:\n"
invokespecial java.lang.StringBuffer.<init>:(Ljava/lang/String;)V
astore 1
start local 1 1: aload 0
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.flatten:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
astore 2
start local 2 2: iconst_0
istore 3
start local 3 3: goto 6
4: StackMap locals: java.lang.StringBuffer org.eclipse.jdt.internal.compiler.lookup.TypeBound[] int
StackMap stack:
aload 1
bipush 9
invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
aload 2
iload 3
aaload
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBound.toString:()Ljava/lang/String;
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
bipush 10
invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
pop
5: iinc 3 1
StackMap locals:
StackMap stack:
6: iload 3
aload 2
arraylength
if_icmplt 4
end local 3 7: aload 1
ldc "Capture Bounds:\n"
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
8: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.captures:Ljava/util/HashMap;
invokevirtual java.util.HashMap.entrySet:()Ljava/util/Set;
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 3
start local 3 9: goto 14
10: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet java.lang.StringBuffer org.eclipse.jdt.internal.compiler.lookup.TypeBound[] java.util.Iterator
StackMap stack:
aload 3
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast java.util.Map$Entry
astore 4
start local 4 11: aload 4
invokeinterface java.util.Map$Entry.getKey:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBinding
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.shortReadableName:()[C
invokestatic java.lang.String.valueOf:([C)Ljava/lang/String;
astore 5
start local 5 12: aload 4
invokeinterface java.util.Map$Entry.getValue:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBinding
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.shortReadableName:()[C
invokestatic java.lang.String.valueOf:([C)Ljava/lang/String;
astore 6
start local 6 13: aload 1
bipush 9
invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
aload 5
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
ldc " = capt("
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
aload 6
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
ldc ")\n"
invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
pop
end local 6 end local 5 end local 4 14: StackMap locals:
StackMap stack:
aload 3
invokeinterface java.util.Iterator.hasNext:()Z
ifne 10
15: aload 1
invokevirtual java.lang.StringBuffer.toString:()Ljava/lang/String;
areturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 16 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
1 16 1 buf Ljava/lang/StringBuffer;
2 16 2 flattened [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
3 7 3 i I
9 16 3 captIter Ljava/util/Iterator<Ljava/util/Map$Entry<Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;>;>;
11 14 4 capt Ljava/util/Map$Entry<Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;>;
12 14 5 lhs Ljava/lang/String;
13 14 6 rhs Ljava/lang/String;
public org.eclipse.jdt.internal.compiler.lookup.TypeBinding findWrapperTypeBound(org.eclipse.jdt.internal.compiler.lookup.InferenceVariable);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=3, args_size=2
start local 0 start local 1 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.prototype:()Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
astore 2
start local 2 1: aload 2
ifnonnull 2
aconst_null
areturn
2: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
StackMap stack:
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.findSingleWrapperType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
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/BoundSet;
0 3 1 variable Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
1 3 2 three Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;
MethodParameters:
Name Flags
variable
public boolean condition18_5_2_bullet_3_3_1(org.eclipse.jdt.internal.compiler.lookup.InferenceVariable, org.eclipse.jdt.internal.compiler.lookup.TypeBinding);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=11, args_size=3
start local 0 start local 1 start local 2 0: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isBaseType:()Z
ifeq 1
iconst_0
ireturn
1: StackMap locals:
StackMap stack:
aload 2
invokestatic org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.parameterizedWithWildcard:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
ifnull 2
iconst_0
ireturn
2: StackMap locals:
StackMap stack:
aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.prototype:()Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
astore 3
start local 3 3: aload 3
ifnonnull 5
4: iconst_0
ireturn
5: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
StackMap stack:
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.sameBounds:Ljava/util/Set;
ifnull 12
6: aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.sameBounds:Ljava/util/Set;
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 4
start local 4 7: goto 11
8: StackMap locals: java.util.Iterator
StackMap stack:
aload 4
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBound
astore 5
start local 5 9: aload 5
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokestatic org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.parameterizedWithWildcard:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
ifnull 11
10: iconst_1
ireturn
end local 5 11: StackMap locals:
StackMap stack:
aload 4
invokeinterface java.util.Iterator.hasNext:()Z
ifne 8
end local 4 12: StackMap locals:
StackMap stack:
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.superBounds:Ljava/util/Set;
ifnull 19
13: aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.superBounds:Ljava/util/Set;
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 4
start local 4 14: goto 18
15: StackMap locals: java.util.Iterator
StackMap stack:
aload 4
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBound
astore 5
start local 5 16: aload 5
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokestatic org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.parameterizedWithWildcard:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
ifnull 18
17: iconst_1
ireturn
end local 5 18: StackMap locals:
StackMap stack:
aload 4
invokeinterface java.util.Iterator.hasNext:()Z
ifne 15
end local 4 19: StackMap locals:
StackMap stack:
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.superBounds:Ljava/util/Set;
ifnull 36
20: new java.util.ArrayList
dup
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.superBounds:Ljava/util/Set;
invokespecial java.util.ArrayList.<init>:(Ljava/util/Collection;)V
astore 4
start local 4 21: aload 4
invokevirtual java.util.ArrayList.size:()I
istore 5
start local 5 22: iconst_0
istore 6
start local 6 23: goto 35
24: StackMap locals: java.util.ArrayList int int
StackMap stack:
aload 4
iload 6
invokevirtual java.util.ArrayList.get:(I)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBound
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 7
start local 7 25: iload 6
iconst_1
iadd
istore 8
start local 8 26: goto 33
27: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
StackMap stack:
aload 4
iload 8
invokevirtual java.util.ArrayList.get:(I)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBound
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 9
start local 9 28: aload 0
aload 7
aload 9
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.superTypesWithCommonGenericType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 10
start local 10 29: aload 10
ifnull 32
30: aload 10
iconst_0
aaload
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifeq 32
aload 10
iconst_1
aaload
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ifeq 32
aload 10
iconst_0
aaload
aload 10
iconst_1
aaload
invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ifne 32
31: iconst_1
ireturn
end local 10 end local 9 32: StackMap locals:
StackMap stack:
iinc 8 1
StackMap locals:
StackMap stack:
33: iload 8
iload 5
if_icmplt 27
end local 8 end local 7 34: iinc 6 1
StackMap locals:
StackMap stack:
35: iload 6
iload 5
if_icmplt 24
end local 6 end local 5 end local 4 36: StackMap locals:
StackMap stack:
iconst_0
ireturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 37 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 37 1 alpha Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
0 37 2 targetType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
3 37 3 ts Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;
7 12 4 bounds Ljava/util/Iterator<Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;
9 11 5 bound Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
14 19 4 bounds Ljava/util/Iterator<Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;
16 18 5 bound Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
21 36 4 superBounds Ljava/util/ArrayList<Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;
22 36 5 len I
23 36 6 i I
25 34 7 s1 Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
26 34 8 j I
28 32 9 s2 Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
29 32 10 supers [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
alpha
targetType
public boolean condition18_5_2_bullet_3_3_2(org.eclipse.jdt.internal.compiler.lookup.InferenceVariable, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=8, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isParameterizedType:()Z
ifne 1
iconst_0
ireturn
1: StackMap locals:
StackMap stack:
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.original:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 4
start local 4 2: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.prototype:()Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
astore 5
start local 5 3: aload 5
ifnonnull 5
4: iconst_0
ireturn
5: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
StackMap stack:
aload 5
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.sameBounds:Ljava/util/Set;
ifnull 12
6: aload 5
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.sameBounds:Ljava/util/Set;
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 6
start local 6 7: goto 11
8: StackMap locals: java.util.Iterator
StackMap stack:
aload 6
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBound
astore 7
start local 7 9: aload 0
aload 4
aload 7
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.superOnlyRaw:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Z
ifeq 11
10: iconst_1
ireturn
end local 7 11: StackMap locals:
StackMap stack:
aload 6
invokeinterface java.util.Iterator.hasNext:()Z
ifne 8
end local 6 12: StackMap locals:
StackMap stack:
aload 5
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.superBounds:Ljava/util/Set;
ifnull 19
13: aload 5
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.superBounds:Ljava/util/Set;
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 6
start local 6 14: goto 18
15: StackMap locals: java.util.Iterator
StackMap stack:
aload 6
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBound
astore 7
start local 7 16: aload 0
aload 4
aload 7
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.superOnlyRaw:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Z
ifeq 18
17: iconst_1
ireturn
end local 7 18: StackMap locals:
StackMap stack:
aload 6
invokeinterface java.util.Iterator.hasNext:()Z
ifne 15
end local 6 19: StackMap locals:
StackMap stack:
iconst_0
ireturn
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 20 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 20 1 alpha Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
0 20 2 targetType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 20 3 ctx18 Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
2 20 4 g Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
3 20 5 ts Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;
7 12 6 boundIterator Ljava/util/Iterator<Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;
14 19 6 boundIterator Ljava/util/Iterator<Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;>;
9 11 7 b Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
16 18 7 b Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
MethodParameters:
Name Flags
alpha
targetType
ctx18
private boolean superOnlyRaw(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, 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/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Z
flags: (0x0002) ACC_PRIVATE
Code:
stack=4, locals=5, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 2
instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
ifeq 2
1: iconst_0
ireturn
2: StackMap locals:
StackMap stack:
aload 2
aload 1
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 3: aload 4
ifnull 5
aload 4
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isParameterizedType:()Z
ifne 5
4: aload 2
aload 3
aload 1
iconst_0
invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.convertToRawType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Z)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
ireturn
5: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
iconst_0
ireturn
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/BoundSet;
0 6 1 g Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 6 2 s Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 6 3 env Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
3 6 4 superType Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
MethodParameters:
Name Flags
g
s
env
protected org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] superTypesWithCommonGenericType(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;
flags: (0x0004) ACC_PROTECTED
Code:
stack=4, locals=7, args_size=3
start local 0 start local 1 start local 2 0: aload 1
ifnull 1
aload 1
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
iconst_1
if_icmpeq 1
aload 2
ifnull 1
aload 2
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
iconst_1
if_icmpne 2
1: StackMap locals:
StackMap stack:
aconst_null
areturn
2: StackMap locals:
StackMap stack:
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.original:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.original:()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 4
3: iconst_2
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBinding
dup
iconst_0
aload 1
aastore
dup
iconst_1
aload 2
aastore
areturn
4: StackMap locals:
StackMap stack:
aload 2
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.findSuperTypeOriginatingFrom:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 3
start local 3 5: aload 3
ifnull 7
6: iconst_2
anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBinding
dup
iconst_0
aload 1
aastore
dup
iconst_1
aload 3
aastore
areturn
7: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
StackMap stack:
aload 0
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.superclass:()Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.superTypesWithCommonGenericType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 4
start local 4 8: aload 4
ifnull 10
9: aload 4
areturn
10: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
StackMap stack:
aload 1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.superInterfaces:()[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
astore 5
start local 5 11: aload 5
ifnull 19
12: iconst_0
istore 6
start local 6 13: goto 18
14: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding[] int
StackMap stack:
aload 0
aload 5
iload 6
aaload
aload 2
invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.superTypesWithCommonGenericType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
astore 4
15: aload 4
ifnull 17
16: aload 4
areturn
17: StackMap locals:
StackMap stack:
iinc 6 1
StackMap locals:
StackMap stack:
18: iload 6
aload 5
arraylength
if_icmplt 14
end local 6 19: StackMap locals:
StackMap stack:
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 20 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 20 1 s Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
0 20 2 t Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
5 20 3 tSuper Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
8 20 4 result [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
11 20 5 superInterfaces [Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
13 19 6 i I
MethodParameters:
Name Flags
s
t
public org.eclipse.jdt.internal.compiler.lookup.TypeBinding getEquivalentOuterVariable(org.eclipse.jdt.internal.compiler.lookup.InferenceVariable, org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[]);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=10, args_size=3
start local 0 start local 1 start local 2 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 1
invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
astore 3
start local 3 1: aload 3
ifnull 11
2: aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.sameBounds:Ljava/util/Set;
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 5
goto 10
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets top java.util.Iterator
StackMap stack:
3: aload 5
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBound
astore 4
start local 4 4: aload 2
dup
astore 9
arraylength
istore 8
iconst_0
istore 7
goto 9
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets org.eclipse.jdt.internal.compiler.lookup.TypeBound java.util.Iterator top int int org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[]
StackMap stack:
5: aload 9
iload 7
aaload
astore 6
start local 6 6: aload 4
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
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 8
7: aload 6
areturn
end local 6 8: StackMap locals:
StackMap stack:
iinc 7 1
StackMap locals:
StackMap stack:
9: iload 7
iload 8
if_icmplt 5
end local 4 10: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets top java.util.Iterator
StackMap stack:
aload 5
invokeinterface java.util.Iterator.hasNext:()Z
ifne 3
11: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
StackMap stack:
aload 2
dup
astore 7
arraylength
istore 6
iconst_0
istore 5
goto 21
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets top int int org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[]
StackMap stack:
12: aload 7
iload 5
aaload
astore 4
start local 4 13: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.boundsPerVariable:Ljava/util/HashMap;
aload 4
invokevirtual java.util.HashMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
astore 3
14: aload 3
ifnull 20
aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.sameBounds:Ljava/util/Set;
ifnull 20
15: aload 3
getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets.sameBounds:Ljava/util/Set;
invokeinterface java.util.Set.iterator:()Ljava/util/Iterator;
astore 9
goto 19
StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets org.eclipse.jdt.internal.compiler.lookup.InferenceVariable int int org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] top java.util.Iterator
StackMap stack:
16: aload 9
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.eclipse.jdt.internal.compiler.lookup.TypeBound
astore 8
start local 8 17: aload 8
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
aload 1
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 19
18: aload 4
areturn
end local 8 19: StackMap locals:
StackMap stack:
aload 9
invokeinterface java.util.Iterator.hasNext:()Z
ifne 16
end local 4 20: StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets top int int org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[]
StackMap stack:
iinc 5 1
StackMap locals:
StackMap stack:
21: iload 5
iload 6
if_icmplt 12
22: aconst_null
areturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 23 0 this Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
0 23 1 variable Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
0 23 2 outerVariables [Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
1 23 3 three Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet$ThreeSets;
4 10 4 bound Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
6 8 6 iv Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
13 20 4 iv Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
17 19 8 bound Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
MethodParameters:
Name Flags
variable
outerVariables
private static boolean lambda$0(org.eclipse.jdt.internal.compiler.lookup.TypeBound);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Z
flags: (0x100a) ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC
Code:
stack=2, locals=1, args_size=1
start local 0 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.relation:I
iconst_4
if_icmpne 1
iconst_1
goto 2
StackMap locals:
StackMap stack:
1: iconst_0
StackMap locals:
StackMap stack: int
2: ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 bound Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
private static boolean lambda$1(org.eclipse.jdt.internal.compiler.lookup.TypeBound);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Z
flags: (0x100a) ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC
Code:
stack=2, locals=1, args_size=1
start local 0 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
iconst_1
invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 bound Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
private static org.eclipse.jdt.internal.compiler.lookup.InferenceVariable lambda$2(org.eclipse.jdt.internal.compiler.lookup.TypeBound);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
flags: (0x100a) ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: aload 0
getfield org.eclipse.jdt.internal.compiler.lookup.TypeBound.left:Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
areturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 bound Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
private static org.eclipse.jdt.internal.compiler.lookup.TypeBound lambda$3(org.eclipse.jdt.internal.compiler.lookup.TypeBound, org.eclipse.jdt.internal.compiler.lookup.TypeBound);
descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
flags: (0x100a) ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC
Code:
stack=1, locals=2, args_size=2
start local 0 start local 1 0: aload 0
areturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 boundFromNextBounds Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
0 1 1 boundFromFirstBounds Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;
}
SourceFile: "BoundSet.java"
NestMembers:
org.eclipse.jdt.internal.compiler.lookup.BoundSet$1 org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets
InnerClasses:
public final Lookup = java.lang.invoke.MethodHandles$Lookup of java.lang.invoke.MethodHandles
public abstract Entry = java.util.Map$Entry of java.util.Map
org.eclipse.jdt.internal.compiler.lookup.BoundSet$1
private ThreeSets = org.eclipse.jdt.internal.compiler.lookup.BoundSet$ThreeSets of org.eclipse.jdt.internal.compiler.lookup.BoundSet
BoundSet
enableOptimizationForBug543480: boolean
incorporatedBounds: TypeBound[]
superTypesWithCommonGenericType(TypeBinding, TypeBinding): TypeBinding[]