class com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext extends com.sun.tools.javac.comp.Resolve$MethodCheckContext
minor version: 0
major version: 59
flags: flags: (0x0020) ACC_SUPER
this_class: com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext
super_class: com.sun.tools.javac.comp.Resolve$MethodCheckContext
{
com.sun.tools.javac.code.Type actual;
descriptor: Lcom/sun/tools/javac/code/Type;
flags: (0x0000)
final com.sun.tools.javac.comp.Resolve$MostSpecificCheck this$1;
descriptor: Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
flags: (0x1010) ACC_FINAL, ACC_SYNTHETIC
public void <init>(com.sun.tools.javac.comp.Resolve$MostSpecificCheck, com.sun.tools.javac.comp.DeferredAttr$DeferredAttrContext, com.sun.tools.javac.util.Warner, com.sun.tools.javac.code.Type);
descriptor: (Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;Lcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;Lcom/sun/tools/javac/util/Warner;Lcom/sun/tools/javac/code/Type;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=5, args_size=5
start local 0 start local 2 start local 3 start local 4 0: aload 0
aload 1
putfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
1: aload 0
aload 1
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
iconst_1
aload 2
aload 3
invokespecial com.sun.tools.javac.comp.Resolve$MethodCheckContext.<init>:(Lcom/sun/tools/javac/comp/Resolve;ZLcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;Lcom/sun/tools/javac/util/Warner;)V
2: aload 0
aload 4
putfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.actual:Lcom/sun/tools/javac/code/Type;
3: return
end local 4 end local 3 end local 2 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck$MostSpecificCheckContext;
0 4 2 deferredAttrContext Lcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;
0 4 3 rsWarner Lcom/sun/tools/javac/util/Warner;
0 4 4 actual Lcom/sun/tools/javac/code/Type;
MethodParameters:
Name Flags
this$0 final
deferredAttrContext
rsWarner
actual
public boolean compatible(com.sun.tools.javac.code.Type, com.sun.tools.javac.code.Type, com.sun.tools.javac.util.Warner);
descriptor: (Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/util/Warner;)Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=6, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.allowFunctionalInterfaceMostSpecific:Z
ifeq 7
1: aload 0
aload 1
aload 2
invokevirtual com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.unrelatedFunctionalInterfaces:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)Z
ifeq 7
2: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.actual:Lcom/sun/tools/javac/code/Type;
ifnull 7
aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.actual:Lcom/sun/tools/javac/code/Type;
invokevirtual com.sun.tools.javac.code.Type.getTag:()Lcom/sun/tools/javac/code/TypeTag;
getstatic com.sun.tools.javac.code.TypeTag.DEFERRED:Lcom/sun/tools/javac/code/TypeTag;
if_acmpne 7
3: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.actual:Lcom/sun/tools/javac/code/Type;
checkcast com.sun.tools.javac.comp.DeferredAttr$DeferredType
astore 4
start local 4 4: aload 4
aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.deferredAttrContext:Lcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;
invokevirtual com.sun.tools.javac.comp.DeferredAttr$DeferredType.speculativeTree:(Lcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;)Lcom/sun/tools/javac/tree/JCTree;
astore 5
start local 5 5: aload 5
aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.deferredAttr:Lcom/sun/tools/javac/comp/DeferredAttr;
getfield com.sun.tools.javac.comp.DeferredAttr.stuckTree:Lcom/sun/tools/javac/tree/JCTree;
if_acmpeq 7
6: aload 0
aload 1
aload 2
aload 5
invokevirtual com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.functionalInterfaceMostSpecific:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/tree/JCTree;)Z
ireturn
end local 5 end local 4 7: StackMap locals:
StackMap stack:
aload 0
aload 1
aload 2
invokevirtual com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.compatibleBySubtyping:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)Z
ireturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 8 0 this Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck$MostSpecificCheckContext;
0 8 1 found Lcom/sun/tools/javac/code/Type;
0 8 2 req Lcom/sun/tools/javac/code/Type;
0 8 3 warn Lcom/sun/tools/javac/util/Warner;
4 7 4 dt Lcom/sun/tools/javac/comp/DeferredAttr$DeferredType;
5 7 5 speculativeTree Lcom/sun/tools/javac/tree/JCTree;
MethodParameters:
Name Flags
found
req
warn
private boolean compatibleBySubtyping(com.sun.tools.javac.code.Type, com.sun.tools.javac.code.Type);
descriptor: (Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)Z
flags: (0x0002) ACC_PRIVATE
Code:
stack=4, locals=3, args_size=3
start local 0 start local 1 start local 2 0: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.strict:Z
ifne 4
aload 1
invokevirtual com.sun.tools.javac.code.Type.isPrimitive:()Z
aload 2
invokevirtual com.sun.tools.javac.code.Type.isPrimitive:()Z
if_icmpeq 4
1: aload 1
invokevirtual com.sun.tools.javac.code.Type.isPrimitive:()Z
ifeq 2
aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 1
invokevirtual com.sun.tools.javac.code.Types.boxedClass:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Symbol$ClassSymbol;
getfield com.sun.tools.javac.code.Symbol$ClassSymbol.type:Lcom/sun/tools/javac/code/Type;
goto 3
StackMap locals:
StackMap stack:
2: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 1
invokevirtual com.sun.tools.javac.code.Types.unboxedType:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Type;
StackMap locals:
StackMap stack: com.sun.tools.javac.code.Type
3: astore 1
4: StackMap locals:
StackMap stack:
aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 1
aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.deferredAttrContext:Lcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;
getfield com.sun.tools.javac.comp.DeferredAttr$DeferredAttrContext.inferenceContext:Lcom/sun/tools/javac/comp/InferenceContext;
aload 2
invokevirtual com.sun.tools.javac.comp.InferenceContext.asUndetVar:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Type;
invokevirtual com.sun.tools.javac.code.Types.isSubtypeNoCapture:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)Z
ireturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck$MostSpecificCheckContext;
0 5 1 found Lcom/sun/tools/javac/code/Type;
0 5 2 req Lcom/sun/tools/javac/code/Type;
MethodParameters:
Name Flags
found
req
private boolean unrelatedFunctionalInterfaces(com.sun.tools.javac.code.Type, com.sun.tools.javac.code.Type);
descriptor: (Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)Z
flags: (0x0002) ACC_PRIVATE
Code:
stack=3, locals=3, args_size=3
start local 0 start local 1 start local 2 0: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 1
getfield com.sun.tools.javac.code.Type.tsym:Lcom/sun/tools/javac/code/Symbol$TypeSymbol;
invokevirtual com.sun.tools.javac.code.Types.isFunctionalInterface:(Lcom/sun/tools/javac/code/Symbol$TypeSymbol;)Z
ifeq 4
1: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 2
getfield com.sun.tools.javac.code.Type.tsym:Lcom/sun/tools/javac/code/Symbol$TypeSymbol;
invokevirtual com.sun.tools.javac.code.Types.isFunctionalInterface:(Lcom/sun/tools/javac/code/Symbol$TypeSymbol;)Z
ifeq 4
2: aload 0
aload 1
aload 2
invokevirtual com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.unrelatedInterfaces:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)Z
ifeq 4
3: iconst_1
ireturn
StackMap locals:
StackMap stack:
4: iconst_0
ireturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck$MostSpecificCheckContext;
0 5 1 t Lcom/sun/tools/javac/code/Type;
0 5 2 s Lcom/sun/tools/javac/code/Type;
MethodParameters:
Name Flags
t
s
private boolean unrelatedInterfaces(com.sun.tools.javac.code.Type, com.sun.tools.javac.code.Type);
descriptor: (Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)Z
flags: (0x0002) ACC_PRIVATE
Code:
stack=3, locals=5, args_size=3
start local 0 start local 1 start local 2 0: aload 1
invokevirtual com.sun.tools.javac.code.Type.isCompound:()Z
ifeq 7
1: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 1
invokevirtual com.sun.tools.javac.code.Types.interfaces:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/util/List;
invokevirtual com.sun.tools.javac.util.List.iterator:()Ljava/util/Iterator;
astore 4
goto 5
StackMap locals: com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext com.sun.tools.javac.code.Type com.sun.tools.javac.code.Type top java.util.Iterator
StackMap stack:
2: aload 4
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast com.sun.tools.javac.code.Type
astore 3
start local 3 3: aload 0
aload 3
aload 2
invokevirtual com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.unrelatedInterfaces:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)Z
ifne 5
4: iconst_0
ireturn
end local 3 5: StackMap locals:
StackMap stack:
aload 4
invokeinterface java.util.Iterator.hasNext:()Z
ifne 2
6: iconst_1
ireturn
7: StackMap locals: com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext com.sun.tools.javac.code.Type com.sun.tools.javac.code.Type
StackMap stack:
aload 2
invokevirtual com.sun.tools.javac.code.Type.isCompound:()Z
ifeq 14
8: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 2
invokevirtual com.sun.tools.javac.code.Types.interfaces:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/util/List;
invokevirtual com.sun.tools.javac.util.List.iterator:()Ljava/util/Iterator;
astore 4
goto 12
StackMap locals: com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext com.sun.tools.javac.code.Type com.sun.tools.javac.code.Type top java.util.Iterator
StackMap stack:
9: aload 4
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast com.sun.tools.javac.code.Type
astore 3
start local 3 10: aload 0
aload 1
aload 3
invokevirtual com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.unrelatedInterfaces:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)Z
ifne 12
11: iconst_0
ireturn
end local 3 12: StackMap locals:
StackMap stack:
aload 4
invokeinterface java.util.Iterator.hasNext:()Z
ifne 9
13: iconst_1
ireturn
14: StackMap locals: com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext com.sun.tools.javac.code.Type com.sun.tools.javac.code.Type
StackMap stack:
aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 1
aload 2
getfield com.sun.tools.javac.code.Type.tsym:Lcom/sun/tools/javac/code/Symbol$TypeSymbol;
invokevirtual com.sun.tools.javac.code.Types.asSuper:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Symbol;)Lcom/sun/tools/javac/code/Type;
ifnonnull 15
aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 2
aload 1
getfield com.sun.tools.javac.code.Type.tsym:Lcom/sun/tools/javac/code/Symbol$TypeSymbol;
invokevirtual com.sun.tools.javac.code.Types.asSuper:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Symbol;)Lcom/sun/tools/javac/code/Type;
ifnonnull 15
iconst_1
ireturn
StackMap locals:
StackMap stack:
15: iconst_0
ireturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 16 0 this Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck$MostSpecificCheckContext;
0 16 1 t Lcom/sun/tools/javac/code/Type;
0 16 2 s Lcom/sun/tools/javac/code/Type;
3 5 3 ti Lcom/sun/tools/javac/code/Type;
10 12 3 si Lcom/sun/tools/javac/code/Type;
MethodParameters:
Name Flags
t
s
private boolean functionalInterfaceMostSpecific(com.sun.tools.javac.code.Type, com.sun.tools.javac.code.Type, com.sun.tools.javac.tree.JCTree);
descriptor: (Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/tree/JCTree;)Z
flags: (0x0002) ACC_PRIVATE
Code:
stack=5, locals=18, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 1
invokevirtual com.sun.tools.javac.code.Types.capture:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Type;
invokevirtual com.sun.tools.javac.code.Types.findDescriptorType:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Type;
astore 4
start local 4 1: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 1
invokevirtual com.sun.tools.javac.code.Types.findDescriptorType:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Type;
astore 5
start local 5 2: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 2
invokevirtual com.sun.tools.javac.code.Types.findDescriptorType:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Type;
astore 6
start local 6 3: aload 4
invokevirtual com.sun.tools.javac.code.Type.getTypeArguments:()Lcom/sun/tools/javac/util/List;
astore 7
start local 7 4: aload 5
invokevirtual com.sun.tools.javac.code.Type.getTypeArguments:()Lcom/sun/tools/javac/util/List;
astore 8
start local 8 5: aload 6
invokevirtual com.sun.tools.javac.code.Type.getTypeArguments:()Lcom/sun/tools/javac/util/List;
astore 9
start local 9 6: aload 4
getstatic com.sun.tools.javac.code.TypeTag.FORALL:Lcom/sun/tools/javac/code/TypeTag;
invokevirtual com.sun.tools.javac.code.Type.hasTag:(Lcom/sun/tools/javac/code/TypeTag;)Z
ifeq 8
aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 4
checkcast com.sun.tools.javac.code.Type$ForAll
aload 5
checkcast com.sun.tools.javac.code.Type$ForAll
invokevirtual com.sun.tools.javac.code.Types.hasSameBounds:(Lcom/sun/tools/javac/code/Type$ForAll;Lcom/sun/tools/javac/code/Type$ForAll;)Z
ifne 8
7: iconst_0
ireturn
8: StackMap locals: com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext com.sun.tools.javac.code.Type com.sun.tools.javac.code.Type com.sun.tools.javac.tree.JCTree com.sun.tools.javac.code.Type com.sun.tools.javac.code.Type com.sun.tools.javac.code.Type com.sun.tools.javac.util.List com.sun.tools.javac.util.List com.sun.tools.javac.util.List
StackMap stack:
aload 7
astore 10
start local 10 9: aload 9
astore 11
start local 11 10: goto 19
11: StackMap locals: com.sun.tools.javac.util.List com.sun.tools.javac.util.List
StackMap stack:
aload 10
getfield com.sun.tools.javac.util.List.head:Ljava/lang/Object;
checkcast com.sun.tools.javac.code.Type
invokevirtual com.sun.tools.javac.code.Type.getUpperBound:()Lcom/sun/tools/javac/code/Type;
astore 12
start local 12 12: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 11
getfield com.sun.tools.javac.util.List.head:Ljava/lang/Object;
checkcast com.sun.tools.javac.code.Type
invokevirtual com.sun.tools.javac.code.Type.getUpperBound:()Lcom/sun/tools/javac/code/Type;
aload 9
aload 7
invokevirtual com.sun.tools.javac.code.Types.subst:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/util/List;Lcom/sun/tools/javac/util/List;)Lcom/sun/tools/javac/code/Type;
astore 13
start local 13 13: aload 12
aload 7
invokevirtual com.sun.tools.javac.code.Type.containsAny:(Lcom/sun/tools/javac/util/List;)Z
ifeq 15
aload 0
invokevirtual com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.inferenceContext:()Lcom/sun/tools/javac/comp/InferenceContext;
aload 13
invokevirtual com.sun.tools.javac.comp.InferenceContext.free:(Lcom/sun/tools/javac/code/Type;)Z
ifeq 15
14: iconst_0
ireturn
15: StackMap locals: com.sun.tools.javac.code.Type com.sun.tools.javac.code.Type
StackMap stack:
aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 12
aload 0
invokevirtual com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.inferenceContext:()Lcom/sun/tools/javac/comp/InferenceContext;
aload 13
invokevirtual com.sun.tools.javac.comp.InferenceContext.asUndetVar:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Type;
invokevirtual com.sun.tools.javac.code.Types.isSameType:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)Z
ifne 17
16: iconst_0
ireturn
17: StackMap locals:
StackMap stack:
aload 10
getfield com.sun.tools.javac.util.List.tail:Lcom/sun/tools/javac/util/List;
astore 10
18: aload 11
getfield com.sun.tools.javac.util.List.tail:Lcom/sun/tools/javac/util/List;
astore 11
end local 13 end local 12 19: StackMap locals:
StackMap stack:
aload 10
invokevirtual com.sun.tools.javac.util.List.nonEmpty:()Z
ifeq 20
aload 11
invokevirtual com.sun.tools.javac.util.List.nonEmpty:()Z
ifne 11
20: StackMap locals:
StackMap stack:
aload 10
invokevirtual com.sun.tools.javac.util.List.isEmpty:()Z
ifeq 21
aload 11
invokevirtual com.sun.tools.javac.util.List.isEmpty:()Z
ifne 22
21: StackMap locals:
StackMap stack:
iconst_0
ireturn
22: StackMap locals:
StackMap stack:
aload 4
invokevirtual com.sun.tools.javac.code.Type.getParameterTypes:()Lcom/sun/tools/javac/util/List;
astore 12
start local 12 23: aload 5
invokevirtual com.sun.tools.javac.code.Type.getParameterTypes:()Lcom/sun/tools/javac/util/List;
astore 13
start local 13 24: aload 6
invokevirtual com.sun.tools.javac.code.Type.getParameterTypes:()Lcom/sun/tools/javac/util/List;
astore 14
start local 14 25: goto 38
26: StackMap locals: com.sun.tools.javac.util.List com.sun.tools.javac.util.List com.sun.tools.javac.util.List
StackMap stack:
aload 12
getfield com.sun.tools.javac.util.List.head:Ljava/lang/Object;
checkcast com.sun.tools.javac.code.Type
astore 15
start local 15 27: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 13
getfield com.sun.tools.javac.util.List.head:Ljava/lang/Object;
checkcast com.sun.tools.javac.code.Type
aload 8
aload 7
invokevirtual com.sun.tools.javac.code.Types.subst:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/util/List;Lcom/sun/tools/javac/util/List;)Lcom/sun/tools/javac/code/Type;
astore 16
start local 16 28: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 14
getfield com.sun.tools.javac.util.List.head:Ljava/lang/Object;
checkcast com.sun.tools.javac.code.Type
aload 9
aload 7
invokevirtual com.sun.tools.javac.code.Types.subst:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/util/List;Lcom/sun/tools/javac/util/List;)Lcom/sun/tools/javac/code/Type;
astore 17
start local 17 29: aload 15
aload 7
invokevirtual com.sun.tools.javac.code.Type.containsAny:(Lcom/sun/tools/javac/util/List;)Z
ifeq 31
aload 0
invokevirtual com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.inferenceContext:()Lcom/sun/tools/javac/comp/InferenceContext;
aload 17
invokevirtual com.sun.tools.javac.comp.InferenceContext.free:(Lcom/sun/tools/javac/code/Type;)Z
ifeq 31
30: iconst_0
ireturn
31: StackMap locals: com.sun.tools.javac.code.Type com.sun.tools.javac.code.Type com.sun.tools.javac.code.Type
StackMap stack:
aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 0
invokevirtual com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.inferenceContext:()Lcom/sun/tools/javac/comp/InferenceContext;
aload 17
invokevirtual com.sun.tools.javac.comp.InferenceContext.asUndetVar:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Type;
aload 15
invokevirtual com.sun.tools.javac.code.Types.isSubtype:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)Z
ifne 33
32: iconst_0
ireturn
33: StackMap locals:
StackMap stack:
aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 16
aload 0
invokevirtual com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.inferenceContext:()Lcom/sun/tools/javac/comp/InferenceContext;
aload 17
invokevirtual com.sun.tools.javac.comp.InferenceContext.asUndetVar:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Type;
invokevirtual com.sun.tools.javac.code.Types.isSameType:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)Z
ifne 35
34: iconst_0
ireturn
35: StackMap locals:
StackMap stack:
aload 12
getfield com.sun.tools.javac.util.List.tail:Lcom/sun/tools/javac/util/List;
astore 12
36: aload 13
getfield com.sun.tools.javac.util.List.tail:Lcom/sun/tools/javac/util/List;
astore 13
37: aload 14
getfield com.sun.tools.javac.util.List.tail:Lcom/sun/tools/javac/util/List;
astore 14
end local 17 end local 16 end local 15 38: StackMap locals:
StackMap stack:
aload 12
invokevirtual com.sun.tools.javac.util.List.nonEmpty:()Z
ifeq 39
aload 13
invokevirtual com.sun.tools.javac.util.List.nonEmpty:()Z
ifeq 39
aload 14
invokevirtual com.sun.tools.javac.util.List.nonEmpty:()Z
ifne 26
39: StackMap locals:
StackMap stack:
aload 12
invokevirtual com.sun.tools.javac.util.List.isEmpty:()Z
ifeq 40
aload 13
invokevirtual com.sun.tools.javac.util.List.isEmpty:()Z
ifeq 40
aload 14
invokevirtual com.sun.tools.javac.util.List.isEmpty:()Z
ifne 41
40: StackMap locals:
StackMap stack:
iconst_0
ireturn
41: StackMap locals:
StackMap stack:
aload 4
invokevirtual com.sun.tools.javac.code.Type.getReturnType:()Lcom/sun/tools/javac/code/Type;
astore 15
start local 15 42: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
invokestatic com.sun.tools.javac.comp.Resolve$MostSpecificCheck.access$0:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;)Lcom/sun/tools/javac/comp/Resolve;
getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
aload 6
invokevirtual com.sun.tools.javac.code.Type.getReturnType:()Lcom/sun/tools/javac/code/Type;
aload 9
aload 7
invokevirtual com.sun.tools.javac.code.Types.subst:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/util/List;Lcom/sun/tools/javac/util/List;)Lcom/sun/tools/javac/code/Type;
astore 16
start local 16 43: aload 15
aload 7
invokevirtual com.sun.tools.javac.code.Type.containsAny:(Lcom/sun/tools/javac/util/List;)Z
ifeq 45
aload 0
invokevirtual com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.inferenceContext:()Lcom/sun/tools/javac/comp/InferenceContext;
aload 16
invokevirtual com.sun.tools.javac.comp.InferenceContext.free:(Lcom/sun/tools/javac/code/Type;)Z
ifeq 45
44: iconst_0
ireturn
45: StackMap locals: com.sun.tools.javac.code.Type com.sun.tools.javac.code.Type
StackMap stack:
new com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext$MostSpecificFunctionReturnChecker
dup
aload 0
aload 15
aload 16
invokespecial com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext$MostSpecificFunctionReturnChecker.<init>:(Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck$MostSpecificCheckContext;Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)V
astore 17
start local 17 46: aload 17
aload 3
invokevirtual com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext$MostSpecificFunctionReturnChecker.scan:(Lcom/sun/tools/javac/tree/JCTree;)V
47: aload 17
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext$MostSpecificFunctionReturnChecker.result:Z
ireturn
end local 17 end local 16 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 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 48 0 this Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck$MostSpecificCheckContext;
0 48 1 t Lcom/sun/tools/javac/code/Type;
0 48 2 s Lcom/sun/tools/javac/code/Type;
0 48 3 tree Lcom/sun/tools/javac/tree/JCTree;
1 48 4 tDesc Lcom/sun/tools/javac/code/Type;
2 48 5 tDescNoCapture Lcom/sun/tools/javac/code/Type;
3 48 6 sDesc Lcom/sun/tools/javac/code/Type;
4 48 7 tTypeParams Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/code/Type;>;
5 48 8 tTypeParamsNoCapture Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/code/Type;>;
6 48 9 sTypeParams Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/code/Type;>;
9 48 10 tIter Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/code/Type;>;
10 48 11 sIter Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/code/Type;>;
12 19 12 tBound Lcom/sun/tools/javac/code/Type;
13 19 13 sBound Lcom/sun/tools/javac/code/Type;
23 48 12 tParams Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/code/Type;>;
24 48 13 tParamsNoCapture Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/code/Type;>;
25 48 14 sParams Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/code/Type;>;
27 38 15 tParam Lcom/sun/tools/javac/code/Type;
28 38 16 tParamNoCapture Lcom/sun/tools/javac/code/Type;
29 38 17 sParam Lcom/sun/tools/javac/code/Type;
42 48 15 tRet Lcom/sun/tools/javac/code/Type;
43 48 16 sRet Lcom/sun/tools/javac/code/Type;
46 48 17 msc Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck$MostSpecificCheckContext$MostSpecificFunctionReturnChecker;
MethodParameters:
Name Flags
t
s
tree
static com.sun.tools.javac.comp.Resolve$MostSpecificCheck access$0(com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext);
descriptor: (Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck$MostSpecificCheckContext;)Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
flags: (0x1008) ACC_STATIC, ACC_SYNTHETIC
Code:
stack=1, locals=1, args_size=1
0: aload 0
getfield com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext.this$1:Lcom/sun/tools/javac/comp/Resolve$MostSpecificCheck;
areturn
LocalVariableTable:
Start End Slot Name Signature
}
SourceFile: "Resolve.java"
NestHost: com.sun.tools.javac.comp.Resolve
InnerClasses:
public ClassSymbol = com.sun.tools.javac.code.Symbol$ClassSymbol of com.sun.tools.javac.code.Symbol
public abstract TypeSymbol = com.sun.tools.javac.code.Symbol$TypeSymbol of com.sun.tools.javac.code.Symbol
public ForAll = com.sun.tools.javac.code.Type$ForAll of com.sun.tools.javac.code.Type
DeferredAttrContext = com.sun.tools.javac.comp.DeferredAttr$DeferredAttrContext of com.sun.tools.javac.comp.DeferredAttr
public DeferredType = com.sun.tools.javac.comp.DeferredAttr$DeferredType of com.sun.tools.javac.comp.DeferredAttr
abstract MethodCheckContext = com.sun.tools.javac.comp.Resolve$MethodCheckContext of com.sun.tools.javac.comp.Resolve
MostSpecificCheck = com.sun.tools.javac.comp.Resolve$MostSpecificCheck of com.sun.tools.javac.comp.Resolve
MostSpecificCheckContext = com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext of com.sun.tools.javac.comp.Resolve$MostSpecificCheck
MostSpecificFunctionReturnChecker = com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext$MostSpecificFunctionReturnChecker of com.sun.tools.javac.comp.Resolve$MostSpecificCheck$MostSpecificCheckContext