java/16 : jdk.compiler/com/sun/tools/javac/comp/Infer$InferenceStep$4.class

Infer$InferenceStep$4
- <init>(String, int, Type$UndetVar$InferenceBound): void
- solve(Type$UndetVar, InferenceContext): Type
https://openjdk.java.net/
GPLv2 + Classpath Exception
class com.sun.tools.javac.comp.Infer$InferenceStep$4 extends com.sun.tools.javac.comp.Infer$InferenceStep
  minor version: 0
  major version: 59
  flags: flags: (0x4020) ACC_SUPER, ACC_ANNOTATION
  this_class: com.sun.tools.javac.comp.Infer$InferenceStep$4
  super_class: com.sun.tools.javac.comp.Infer$InferenceStep
{
  void <init>(java.lang.String, int, com.sun.tools.javac.code.Type$UndetVar$InferenceBound);
    descriptor: (Ljava/lang/String;ILcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;)V
    flags: (0x0000) 
    Code:
      stack=4, locals=4, args_size=4
        start local 0 // com.sun.tools.javac.comp.Infer$InferenceStep$4 this
        start local 3 // com.sun.tools.javac.code.Type$UndetVar$InferenceBound $anonymous0
         0: .line 1479
            aload 0 /* this */
            aload 1
            iload 2
            aload 3 /* $anonymous0 */
            invokespecial com.sun.tools.javac.comp.Infer$InferenceStep.<init>:(Ljava/lang/String;ILcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;)V
            return
        end local 3 // com.sun.tools.javac.code.Type$UndetVar$InferenceBound $anonymous0
        end local 0 // com.sun.tools.javac.comp.Infer$InferenceStep$4 this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    1     0         this  Lcom/sun/tools/javac/comp/Infer$InferenceStep$4;
            0    1     3  $anonymous0  Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;
    MethodParameters:
               Name  Flags
      $enum$name     
      $enum$ordinal  
      $anonymous0    

  com.sun.tools.javac.code.Type solve(com.sun.tools.javac.code.Type$UndetVar, com.sun.tools.javac.comp.InferenceContext);
    descriptor: (Lcom/sun/tools/javac/code/Type$UndetVar;Lcom/sun/tools/javac/comp/InferenceContext;)Lcom/sun/tools/javac/code/Type;
    flags: (0x0000) 
    Code:
      stack=4, locals=6, args_size=3
        start local 0 // com.sun.tools.javac.comp.Infer$InferenceStep$4 this
        start local 1 // com.sun.tools.javac.code.Type$UndetVar uv
        start local 2 // com.sun.tools.javac.comp.InferenceContext inferenceContext
         0: .line 1482
            aload 2 /* inferenceContext */
            getfield com.sun.tools.javac.comp.InferenceContext.infer:Lcom/sun/tools/javac/comp/Infer;
            astore 3 /* infer */
        start local 3 // com.sun.tools.javac.comp.Infer infer
         1: .line 1483
            aload 0 /* this */
            aload 1 /* uv */
            aload 2 /* inferenceContext */
            invokevirtual com.sun.tools.javac.comp.Infer$InferenceStep$4.filterBounds:(Lcom/sun/tools/javac/code/Type$UndetVar;Lcom/sun/tools/javac/comp/InferenceContext;)Lcom/sun/tools/javac/util/List;
            astore 4 /* hibounds */
        start local 4 // com.sun.tools.javac.util.List hibounds
         2: .line 1485
            aload 4 /* hibounds */
            getfield com.sun.tools.javac.util.List.tail:Lcom/sun/tools/javac/util/List;
            getfield com.sun.tools.javac.util.List.tail:Lcom/sun/tools/javac/util/List;
            ifnonnull 3
            aload 4 /* hibounds */
            getfield com.sun.tools.javac.util.List.head:Ljava/lang/Object;
            checkcast com.sun.tools.javac.code.Type
            goto 4
      StackMap locals: com.sun.tools.javac.comp.Infer com.sun.tools.javac.util.List
      StackMap stack:
         3: aload 3 /* infer */
            getfield com.sun.tools.javac.comp.Infer.types:Lcom/sun/tools/javac/code/Types;
            aload 4 /* hibounds */
            invokevirtual com.sun.tools.javac.code.Types.glb:(Lcom/sun/tools/javac/util/List;)Lcom/sun/tools/javac/code/Type;
      StackMap locals:
      StackMap stack: com.sun.tools.javac.code.Type
         4: astore 5 /* owntype */
        start local 5 // com.sun.tools.javac.code.Type owntype
         5: .line 1486
            aload 5 /* owntype */
            invokevirtual com.sun.tools.javac.code.Type.isPrimitive:()Z
            ifne 6
            aload 5 /* owntype */
            getstatic com.sun.tools.javac.code.TypeTag.ERROR:Lcom/sun/tools/javac/code/TypeTag;
            invokevirtual com.sun.tools.javac.code.Type.hasTag:(Lcom/sun/tools/javac/code/TypeTag;)Z
            ifeq 7
         6: .line 1487
      StackMap locals: com.sun.tools.javac.code.Type
      StackMap stack:
            aload 3 /* infer */
            aload 3 /* infer */
            getfield com.sun.tools.javac.comp.Infer.diags:Lcom/sun/tools/javac/util/JCDiagnostic$Factory;
            aload 1 /* uv */
            getfield com.sun.tools.javac.code.Type$UndetVar.qtype:Lcom/sun/tools/javac/code/Type;
            aload 4 /* hibounds */
            invokestatic com.sun.tools.javac.resources.CompilerProperties$Fragments.NoUniqueMaximalInstanceExists:(Lcom/sun/tools/javac/code/Type;Ljava/util/List;)Lcom/sun/tools/javac/util/JCDiagnostic$Fragment;
            invokevirtual com.sun.tools.javac.util.JCDiagnostic$Factory.fragment:(Lcom/sun/tools/javac/util/JCDiagnostic$Fragment;)Lcom/sun/tools/javac/util/JCDiagnostic;
            invokevirtual com.sun.tools.javac.comp.Infer.error:(Lcom/sun/tools/javac/util/JCDiagnostic;)Lcom/sun/tools/javac/comp/Infer$InferenceException;
            athrow
         7: .line 1489
      StackMap locals:
      StackMap stack:
            aload 5 /* owntype */
            areturn
        end local 5 // com.sun.tools.javac.code.Type owntype
        end local 4 // com.sun.tools.javac.util.List hibounds
        end local 3 // com.sun.tools.javac.comp.Infer infer
        end local 2 // com.sun.tools.javac.comp.InferenceContext inferenceContext
        end local 1 // com.sun.tools.javac.code.Type$UndetVar uv
        end local 0 // com.sun.tools.javac.comp.Infer$InferenceStep$4 this
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0    8     0              this  Lcom/sun/tools/javac/comp/Infer$InferenceStep$4;
            0    8     1                uv  Lcom/sun/tools/javac/code/Type$UndetVar;
            0    8     2  inferenceContext  Lcom/sun/tools/javac/comp/InferenceContext;
            1    8     3             infer  Lcom/sun/tools/javac/comp/Infer;
            2    8     4          hibounds  Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/code/Type;>;
            5    8     5           owntype  Lcom/sun/tools/javac/code/Type;
    MethodParameters:
                  Name  Flags
      uv                
      inferenceContext  
}
SourceFile: "Infer.java"
EnclosingMethod: com.sun.tools.javac.comp.Infer$InferenceStep
NestHost: com.sun.tools.javac.comp.Infer
InnerClasses:
  public UndetVar = com.sun.tools.javac.code.Type$UndetVar of com.sun.tools.javac.code.Type
  public abstract InferenceBound = com.sun.tools.javac.code.Type$UndetVar$InferenceBound of com.sun.tools.javac.code.Type$UndetVar
  public InferenceException = com.sun.tools.javac.comp.Infer$InferenceException of com.sun.tools.javac.comp.Infer
  abstract InferenceStep = com.sun.tools.javac.comp.Infer$InferenceStep of com.sun.tools.javac.comp.Infer
  com.sun.tools.javac.comp.Infer$InferenceStep$4
  public Fragments = com.sun.tools.javac.resources.CompilerProperties$Fragments of com.sun.tools.javac.resources.CompilerProperties
  public Factory = com.sun.tools.javac.util.JCDiagnostic$Factory of com.sun.tools.javac.util.JCDiagnostic
  public final Fragment = com.sun.tools.javac.util.JCDiagnostic$Fragment of com.sun.tools.javac.util.JCDiagnostic
/

java/ 16/ jdk.compiler/com/sun/tools/javac/comp/Infer$InferenceStep$4.class
