java/16 : jdk.compiler/com/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph.class

Infer$GraphSolver$InferenceGraph
https://openjdk.java.net/
GPLv2 + Classpath Exception
class com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph
  minor version: 0
  major version: 59
  flags: flags: (0x0020) ACC_SUPER
  this_class: com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph
  super_class: java.lang.Object
{
  java.util.ArrayList<com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node> nodes;
    descriptor: Ljava/util/ArrayList;
    flags: (0x0000) 
    Signature: Ljava/util/ArrayList<Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;>;

  final com.sun.tools.javac.comp.Infer$GraphSolver this$1;
    descriptor: Lcom/sun/tools/javac/comp/Infer$GraphSolver;
    flags: (0x1010) ACC_FINAL, ACC_SYNTHETIC

  void <init>(com.sun.tools.javac.comp.Infer$GraphSolver);
    descriptor: (Lcom/sun/tools/javac/comp/Infer$GraphSolver;)V
    flags: (0x0000) 
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph this
         0: .line 1840
            aload 0 /* this */
            aload 1
            putfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.this$1:Lcom/sun/tools/javac/comp/Infer$GraphSolver;
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 1841
            aload 0 /* this */
            invokevirtual com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.initNodes:()V
         2: .line 1842
            return
        end local 0 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    3     0  this  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph;
    MethodParameters:
        Name  Flags
      this$0  final

  public com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node findNode(com.sun.tools.javac.code.Type);
    descriptor: (Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=4, args_size=2
        start local 0 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph this
        start local 1 // com.sun.tools.javac.code.Type t
         0: .line 1849
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.nodes:Ljava/util/ArrayList;
            invokevirtual java.util.ArrayList.iterator:()Ljava/util/Iterator;
            astore 3
            goto 4
      StackMap locals: com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph com.sun.tools.javac.code.Type top java.util.Iterator
      StackMap stack:
         1: aload 3
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node
            astore 2 /* n */
        start local 2 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n
         2: .line 1850
            aload 2 /* n */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node.data:Ljava/lang/Object;
            checkcast com.sun.tools.javac.util.ListBuffer
            aload 1 /* t */
            invokevirtual com.sun.tools.javac.util.ListBuffer.contains:(Ljava/lang/Object;)Z
            ifeq 4
         3: .line 1851
            aload 2 /* n */
            areturn
        end local 2 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n
         4: .line 1849
      StackMap locals:
      StackMap stack:
            aload 3
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 1
         5: .line 1854
            aconst_null
            areturn
        end local 1 // com.sun.tools.javac.code.Type t
        end local 0 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    6     0  this  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph;
            0    6     1     t  Lcom/sun/tools/javac/code/Type;
            2    4     2     n  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;
    MethodParameters:
      Name  Flags
      t     

  public void deleteNode(com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node);
    descriptor: (Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=2, args_size=2
        start local 0 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph this
        start local 1 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n
         0: .line 1862
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.nodes:Ljava/util/ArrayList;
            aload 1 /* n */
            invokevirtual java.util.ArrayList.contains:(Ljava/lang/Object;)Z
            invokestatic com.sun.tools.javac.util.Assert.check:(Z)V
         1: .line 1863
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.nodes:Ljava/util/ArrayList;
            aload 1 /* n */
            invokevirtual java.util.ArrayList.remove:(Ljava/lang/Object;)Z
            pop
         2: .line 1864
            aload 0 /* this */
            aload 1 /* n */
            aconst_null
            invokevirtual com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.notifyUpdate:(Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;)V
         3: .line 1865
            return
        end local 1 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n
        end local 0 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    4     0  this  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph;
            0    4     1     n  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;
    MethodParameters:
      Name  Flags
      n     

  void notifyUpdate(com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node, com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node);
    descriptor: (Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;)V
    flags: (0x0000) 
    Code:
      stack=3, locals=5, args_size=3
        start local 0 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph this
        start local 1 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node from
        start local 2 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node to
         0: .line 1872
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.nodes:Ljava/util/ArrayList;
            invokevirtual java.util.ArrayList.iterator:()Ljava/util/Iterator;
            astore 4
            goto 3
      StackMap locals: com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node top java.util.Iterator
      StackMap stack:
         1: aload 4
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node
            astore 3 /* n */
        start local 3 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n
         2: .line 1873
            aload 3 /* n */
            aload 1 /* from */
            aload 2 /* to */
            invokevirtual com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node.graphChanged:(Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;)V
        end local 3 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n
         3: .line 1872
      StackMap locals:
      StackMap stack:
            aload 4
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 1
         4: .line 1875
            return
        end local 2 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node to
        end local 1 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node from
        end local 0 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    5     0  this  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph;
            0    5     1  from  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;
            0    5     2    to  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;
            2    3     3     n  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;
    MethodParameters:
      Name  Flags
      from  
      to    

  void initNodes();
    descriptor: ()V
    flags: (0x0000) 
    Code:
      stack=5, locals=8, args_size=1
        start local 0 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph this
         0: .line 1885
            aload 0 /* this */
            new java.util.ArrayList
            dup
            invokespecial java.util.ArrayList.<init>:()V
            putfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.nodes:Ljava/util/ArrayList;
         1: .line 1886
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.this$1:Lcom/sun/tools/javac/comp/Infer$GraphSolver;
            getfield com.sun.tools.javac.comp.Infer$GraphSolver.inferenceContext:Lcom/sun/tools/javac/comp/InferenceContext;
            invokevirtual com.sun.tools.javac.comp.InferenceContext.restvars:()Lcom/sun/tools/javac/util/List;
            invokevirtual com.sun.tools.javac.util.List.iterator:()Ljava/util/Iterator;
            astore 2
            goto 4
      StackMap locals: com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph top java.util.Iterator
      StackMap stack:
         2: aload 2
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast com.sun.tools.javac.code.Type
            astore 1 /* t */
        start local 1 // com.sun.tools.javac.code.Type t
         3: .line 1887
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.nodes:Ljava/util/ArrayList;
            new com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node
            dup
            aload 0 /* this */
            aload 1 /* t */
            invokespecial com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node.<init>:(Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph;Lcom/sun/tools/javac/code/Type;)V
            invokevirtual java.util.ArrayList.add:(Ljava/lang/Object;)Z
            pop
        end local 1 // com.sun.tools.javac.code.Type t
         4: .line 1886
      StackMap locals:
      StackMap stack:
            aload 2
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 2
         5: .line 1890
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.nodes:Ljava/util/ArrayList;
            invokevirtual java.util.ArrayList.iterator:()Ljava/util/Iterator;
            astore 2
            goto 16
      StackMap locals:
      StackMap stack:
         6: aload 2
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node
            astore 1 /* n_i */
        start local 1 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n_i
         7: .line 1891
            aload 1 /* n_i */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node.data:Ljava/lang/Object;
            checkcast com.sun.tools.javac.util.ListBuffer
            invokevirtual com.sun.tools.javac.util.ListBuffer.first:()Ljava/lang/Object;
            checkcast com.sun.tools.javac.code.Type
            astore 3 /* i */
        start local 3 // com.sun.tools.javac.code.Type i
         8: .line 1892
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.nodes:Ljava/util/ArrayList;
            invokevirtual java.util.ArrayList.iterator:()Ljava/util/Iterator;
            astore 5
            goto 15
      StackMap locals: com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node java.util.Iterator com.sun.tools.javac.code.Type top java.util.Iterator
      StackMap stack:
         9: aload 5
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node
            astore 4 /* n_j */
        start local 4 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n_j
        10: .line 1893
            aload 4 /* n_j */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node.data:Ljava/lang/Object;
            checkcast com.sun.tools.javac.util.ListBuffer
            invokevirtual com.sun.tools.javac.util.ListBuffer.first:()Ljava/lang/Object;
            checkcast com.sun.tools.javac.code.Type
            astore 6 /* j */
        start local 6 // com.sun.tools.javac.code.Type j
        11: .line 1895
            aload 3 /* i */
            aload 6 /* j */
            if_acmpeq 15
        12: .line 1896
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.this$1:Lcom/sun/tools/javac/comp/Infer$GraphSolver;
            getfield com.sun.tools.javac.comp.Infer$GraphSolver.inferenceContext:Lcom/sun/tools/javac/comp/InferenceContext;
            aload 3 /* i */
            invokevirtual com.sun.tools.javac.comp.InferenceContext.asUndetVar:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Type;
            checkcast com.sun.tools.javac.code.Type$UndetVar
            astore 7 /* uv_i */
        start local 7 // com.sun.tools.javac.code.Type$UndetVar uv_i
        13: .line 1897
            aload 7 /* uv_i */
            invokestatic com.sun.tools.javac.code.Type$UndetVar$InferenceBound.values:()[Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;
            invokevirtual com.sun.tools.javac.code.Type$UndetVar.getBounds:([Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;)Lcom/sun/tools/javac/util/List;
            aload 6 /* j */
            invokestatic com.sun.tools.javac.util.List.of:(Ljava/lang/Object;)Lcom/sun/tools/javac/util/List;
            invokestatic com.sun.tools.javac.code.Type.containsAny:(Lcom/sun/tools/javac/util/List;Lcom/sun/tools/javac/util/List;)Z
            ifeq 15
        14: .line 1899
            aload 1 /* n_i */
            aload 4 /* n_j */
            invokevirtual com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node.addDependency:(Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;)V
        end local 7 // com.sun.tools.javac.code.Type$UndetVar uv_i
        end local 6 // com.sun.tools.javac.code.Type j
        end local 4 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n_j
        15: .line 1892
      StackMap locals:
      StackMap stack:
            aload 5
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 9
        end local 3 // com.sun.tools.javac.code.Type i
        end local 1 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n_i
        16: .line 1890
      StackMap locals: com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph top java.util.Iterator
      StackMap stack:
            aload 2
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 6
        17: .line 1905
            new java.util.ArrayList
            dup
            invokespecial java.util.ArrayList.<init>:()V
            astore 1 /* acyclicNodes */
        start local 1 // java.util.ArrayList acyclicNodes
        18: .line 1906
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.nodes:Ljava/util/ArrayList;
            invokestatic com.sun.tools.javac.util.GraphUtils.tarjan:(Ljava/lang/Iterable;)Lcom/sun/tools/javac/util/List;
            invokevirtual com.sun.tools.javac.util.List.iterator:()Ljava/util/Iterator;
            astore 3
            goto 28
      StackMap locals: com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph java.util.ArrayList top java.util.Iterator
      StackMap stack:
        19: aload 3
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast com.sun.tools.javac.util.List
            astore 2 /* conSubGraph */
        start local 2 // com.sun.tools.javac.util.List conSubGraph
        20: .line 1907
            aload 2 /* conSubGraph */
            invokevirtual com.sun.tools.javac.util.List.length:()I
            iconst_1
            if_icmple 27
        21: .line 1908
            aload 2 /* conSubGraph */
            getfield com.sun.tools.javac.util.List.head:Ljava/lang/Object;
            checkcast com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node
            astore 4 /* root */
        start local 4 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node root
        22: .line 1909
            aload 4 /* root */
            aload 2 /* conSubGraph */
            getfield com.sun.tools.javac.util.List.tail:Lcom/sun/tools/javac/util/List;
            invokevirtual com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node.mergeWith:(Lcom/sun/tools/javac/util/List;)V
        23: .line 1910
            aload 2 /* conSubGraph */
            invokevirtual com.sun.tools.javac.util.List.iterator:()Ljava/util/Iterator;
            astore 6
            goto 26
      StackMap locals: com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph java.util.ArrayList com.sun.tools.javac.util.List java.util.Iterator com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node top java.util.Iterator
      StackMap stack:
        24: aload 6
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node
            astore 5 /* n */
        start local 5 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n
        25: .line 1911
            aload 0 /* this */
            aload 5 /* n */
            aload 4 /* root */
            invokevirtual com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.notifyUpdate:(Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;)V
        end local 5 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n
        26: .line 1910
      StackMap locals:
      StackMap stack:
            aload 6
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 24
        end local 4 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node root
        27: .line 1914
      StackMap locals: com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph java.util.ArrayList com.sun.tools.javac.util.List java.util.Iterator
      StackMap stack:
            aload 1 /* acyclicNodes */
            aload 2 /* conSubGraph */
            getfield com.sun.tools.javac.util.List.head:Ljava/lang/Object;
            checkcast com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node
            invokevirtual java.util.ArrayList.add:(Ljava/lang/Object;)Z
            pop
        end local 2 // com.sun.tools.javac.util.List conSubGraph
        28: .line 1906
      StackMap locals: com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph java.util.ArrayList top java.util.Iterator
      StackMap stack:
            aload 3
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 19
        29: .line 1916
            aload 0 /* this */
            aload 1 /* acyclicNodes */
            putfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.nodes:Ljava/util/ArrayList;
        30: .line 1917
            return
        end local 1 // java.util.ArrayList acyclicNodes
        end local 0 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph this
      LocalVariableTable:
        Start  End  Slot          Name  Signature
            0   31     0          this  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph;
            3    4     1             t  Lcom/sun/tools/javac/code/Type;
            7   16     1           n_i  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;
            8   16     3             i  Lcom/sun/tools/javac/code/Type;
           10   15     4           n_j  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;
           11   15     6             j  Lcom/sun/tools/javac/code/Type;
           13   15     7          uv_i  Lcom/sun/tools/javac/code/Type$UndetVar;
           18   31     1  acyclicNodes  Ljava/util/ArrayList<Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;>;
           20   28     2   conSubGraph  Lcom/sun/tools/javac/util/List<+Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;>;
           22   27     4          root  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;
           25   26     5             n  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;

  java.lang.String toDot();
    descriptor: ()Ljava/lang/String;
    flags: (0x0000) 
    Code:
      stack=10, locals=5, args_size=1
        start local 0 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph this
         0: .line 1923
            new java.lang.StringBuilder
            dup
            invokespecial java.lang.StringBuilder.<init>:()V
            astore 1 /* buf */
        start local 1 // java.lang.StringBuilder buf
         1: .line 1924
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.this$1:Lcom/sun/tools/javac/comp/Infer$GraphSolver;
            getfield com.sun.tools.javac.comp.Infer$GraphSolver.inferenceContext:Lcom/sun/tools/javac/comp/InferenceContext;
            getfield com.sun.tools.javac.comp.InferenceContext.undetvars:Lcom/sun/tools/javac/util/List;
            invokevirtual com.sun.tools.javac.util.List.iterator:()Ljava/util/Iterator;
            astore 3
            goto 8
      StackMap locals: com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph java.lang.StringBuilder top java.util.Iterator
      StackMap stack:
         2: aload 3
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast com.sun.tools.javac.code.Type
            astore 2 /* t */
        start local 2 // com.sun.tools.javac.code.Type t
         3: .line 1925
            aload 2 /* t */
            checkcast com.sun.tools.javac.code.Type$UndetVar
            astore 4 /* uv */
        start local 4 // com.sun.tools.javac.code.Type$UndetVar uv
         4: .line 1926
            aload 1 /* buf */
            ldc "var %s - upper bounds = %s, lower bounds = %s, eq bounds = %s\\n"
            iconst_4
            anewarray java.lang.Object
            dup
            iconst_0
         5: .line 1927
            aload 4 /* uv */
            getfield com.sun.tools.javac.code.Type$UndetVar.qtype:Lcom/sun/tools/javac/code/Type;
            aastore
            dup
            iconst_1
            aload 4 /* uv */
            iconst_1
            anewarray com.sun.tools.javac.code.Type$UndetVar$InferenceBound
            dup
            iconst_0
            getstatic com.sun.tools.javac.code.Type$UndetVar$InferenceBound.UPPER:Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;
            aastore
            invokevirtual com.sun.tools.javac.code.Type$UndetVar.getBounds:([Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;)Lcom/sun/tools/javac/util/List;
            aastore
            dup
            iconst_2
            aload 4 /* uv */
            iconst_1
            anewarray com.sun.tools.javac.code.Type$UndetVar$InferenceBound
            dup
            iconst_0
            getstatic com.sun.tools.javac.code.Type$UndetVar$InferenceBound.LOWER:Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;
            aastore
            invokevirtual com.sun.tools.javac.code.Type$UndetVar.getBounds:([Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;)Lcom/sun/tools/javac/util/List;
            aastore
            dup
            iconst_3
         6: .line 1928
            aload 4 /* uv */
            iconst_1
            anewarray com.sun.tools.javac.code.Type$UndetVar$InferenceBound
            dup
            iconst_0
            getstatic com.sun.tools.javac.code.Type$UndetVar$InferenceBound.EQ:Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;
            aastore
            invokevirtual com.sun.tools.javac.code.Type$UndetVar.getBounds:([Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;)Lcom/sun/tools/javac/util/List;
            aastore
         7: .line 1926
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            pop
        end local 4 // com.sun.tools.javac.code.Type$UndetVar uv
        end local 2 // com.sun.tools.javac.code.Type t
         8: .line 1924
      StackMap locals:
      StackMap stack:
            aload 3
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 2
         9: .line 1930
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.nodes:Ljava/util/ArrayList;
            new java.lang.StringBuilder
            dup
            ldc "inferenceGraph"
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 0 /* this */
            invokevirtual java.lang.Object.hashCode:()I
            invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            aload 1 /* buf */
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            invokestatic com.sun.tools.javac.util.GraphUtils.toDot:(Ljava/util/Collection;Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
            areturn
        end local 1 // java.lang.StringBuilder buf
        end local 0 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0   10     0  this  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph;
            1   10     1   buf  Ljava/lang/StringBuilder;
            3    8     2     t  Lcom/sun/tools/javac/code/Type;
            4    8     4    uv  Lcom/sun/tools/javac/code/Type$UndetVar;

  static com.sun.tools.javac.comp.Infer$GraphSolver access$0(com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph);
    descriptor: (Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph;)Lcom/sun/tools/javac/comp/Infer$GraphSolver;
    flags: (0x1008) ACC_STATIC, ACC_SYNTHETIC
    Code:
      stack=1, locals=1, args_size=1
         0: .line 1681
            aload 0
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.this$1:Lcom/sun/tools/javac/comp/Infer$GraphSolver;
            areturn
      LocalVariableTable:
        Start  End  Slot  Name  Signature
}
SourceFile: "Infer.java"
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
  GraphSolver = com.sun.tools.javac.comp.Infer$GraphSolver of com.sun.tools.javac.comp.Infer
  InferenceGraph = com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph of com.sun.tools.javac.comp.Infer$GraphSolver
  Node = com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node of com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph
  public abstract DottableNode = com.sun.tools.javac.util.GraphUtils$DottableNode of com.sun.tools.javac.util.GraphUtils
  public abstract TarjanNode = com.sun.tools.javac.util.GraphUtils$TarjanNode of com.sun.tools.javac.util.GraphUtils
/

java/ 16/ jdk.compiler/com/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph.class
