https://www.graalvm.org/ 
class com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow extends com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow
  minor version: 0
  major version: 59
  flags: flags: (0x0020) ACC_SUPER
  this_class: com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow
  super_class: com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow
{
  private com.oracle.graal.pointsto.typestate.TypeState seenReceiverTypes;
    descriptor: Lcom/oracle/graal/pointsto/typestate/TypeState;
    flags: (0x0002) ACC_PRIVATE

  static final boolean $assertionsDisabled;
    descriptor: Z
    flags: (0x1018) ACC_STATIC, ACC_FINAL, ACC_SYNTHETIC

  static void <clinit>();
    descriptor: ()V
    flags: (0x0008) ACC_STATIC
    Code:
      stack=1, locals=0, args_size=0
         0: .line 158
            ldc Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy;
            invokevirtual java.lang.Class.desiredAssertionStatus:()Z
            ifne 1
            iconst_1
            goto 2
      StackMap locals:
      StackMap stack:
         1: iconst_0
      StackMap locals:
      StackMap stack: int
         2: putstatic com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.$assertionsDisabled:Z
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  protected void <init>(jdk.vm.ci.code.BytecodePosition, com.oracle.graal.pointsto.meta.AnalysisType, com.oracle.graal.pointsto.meta.AnalysisMethod, com.oracle.graal.pointsto.flow.TypeFlow<?>[], com.oracle.graal.pointsto.flow.ActualReturnTypeFlow, com.oracle.graal.pointsto.flow.context.BytecodeLocation);
    descriptor: (Ljdk/vm/ci/code/BytecodePosition;Lcom/oracle/graal/pointsto/meta/AnalysisType;Lcom/oracle/graal/pointsto/meta/AnalysisMethod;[Lcom/oracle/graal/pointsto/flow/TypeFlow;Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;Lcom/oracle/graal/pointsto/flow/context/BytecodeLocation;)V
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=7, locals=7, args_size=7
        start local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
        start local 1 // jdk.vm.ci.code.BytecodePosition invokeLocation
        start local 2 // com.oracle.graal.pointsto.meta.AnalysisType receiverType
        start local 3 // com.oracle.graal.pointsto.meta.AnalysisMethod targetMethod
        start local 4 // com.oracle.graal.pointsto.flow.TypeFlow[] actualParameters
        start local 5 // com.oracle.graal.pointsto.flow.ActualReturnTypeFlow actualReturn
        start local 6 // com.oracle.graal.pointsto.flow.context.BytecodeLocation location
         0: .line 164
            aload 0 /* this */
            aload 1 /* invokeLocation */
            aload 2 /* receiverType */
            aload 3 /* targetMethod */
            aload 4 /* actualParameters */
            aload 5 /* actualReturn */
            aload 6 /* location */
            invokespecial com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow.<init>:(Ljdk/vm/ci/code/BytecodePosition;Lcom/oracle/graal/pointsto/meta/AnalysisType;Lcom/oracle/graal/pointsto/meta/AnalysisMethod;[Lcom/oracle/graal/pointsto/flow/TypeFlow;Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;Lcom/oracle/graal/pointsto/flow/context/BytecodeLocation;)V
         1: .line 160
            aload 0 /* this */
            invokestatic com.oracle.graal.pointsto.typestate.TypeState.forEmpty:()Lcom/oracle/graal/pointsto/typestate/TypeState;
            putfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.seenReceiverTypes:Lcom/oracle/graal/pointsto/typestate/TypeState;
         2: .line 165
            return
        end local 6 // com.oracle.graal.pointsto.flow.context.BytecodeLocation location
        end local 5 // com.oracle.graal.pointsto.flow.ActualReturnTypeFlow actualReturn
        end local 4 // com.oracle.graal.pointsto.flow.TypeFlow[] actualParameters
        end local 3 // com.oracle.graal.pointsto.meta.AnalysisMethod targetMethod
        end local 2 // com.oracle.graal.pointsto.meta.AnalysisType receiverType
        end local 1 // jdk.vm.ci.code.BytecodePosition invokeLocation
        end local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0    3     0              this  Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow;
            0    3     1    invokeLocation  Ljdk/vm/ci/code/BytecodePosition;
            0    3     2      receiverType  Lcom/oracle/graal/pointsto/meta/AnalysisType;
            0    3     3      targetMethod  Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
            0    3     4  actualParameters  [Lcom/oracle/graal/pointsto/flow/TypeFlow;
            0    3     5      actualReturn  Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;
            0    3     6          location  Lcom/oracle/graal/pointsto/flow/context/BytecodeLocation;
    Signature: (Ljdk/vm/ci/code/BytecodePosition;Lcom/oracle/graal/pointsto/meta/AnalysisType;Lcom/oracle/graal/pointsto/meta/AnalysisMethod;[Lcom/oracle/graal/pointsto/flow/TypeFlow<*>;Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;Lcom/oracle/graal/pointsto/flow/context/BytecodeLocation;)V
    MethodParameters:
                  Name  Flags
      invokeLocation    
      receiverType      
      targetMethod      
      actualParameters  
      actualReturn      
      location          

  protected void <init>(com.oracle.graal.pointsto.BigBang, com.oracle.graal.pointsto.flow.MethodFlowsGraph, com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow);
    descriptor: (Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow;)V
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=4, locals=4, args_size=4
        start local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
        start local 1 // com.oracle.graal.pointsto.BigBang bb
        start local 2 // com.oracle.graal.pointsto.flow.MethodFlowsGraph methodFlows
        start local 3 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow original
         0: .line 168
            aload 0 /* this */
            aload 1 /* bb */
            aload 2 /* methodFlows */
            aload 3 /* original */
            invokespecial com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow.<init>:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/flow/AbstractVirtualInvokeTypeFlow;)V
         1: .line 160
            aload 0 /* this */
            invokestatic com.oracle.graal.pointsto.typestate.TypeState.forEmpty:()Lcom/oracle/graal/pointsto/typestate/TypeState;
            putfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.seenReceiverTypes:Lcom/oracle/graal/pointsto/typestate/TypeState;
         2: .line 169
            return
        end local 3 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow original
        end local 2 // com.oracle.graal.pointsto.flow.MethodFlowsGraph methodFlows
        end local 1 // com.oracle.graal.pointsto.BigBang bb
        end local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    3     0         this  Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow;
            0    3     1           bb  Lcom/oracle/graal/pointsto/BigBang;
            0    3     2  methodFlows  Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
            0    3     3     original  Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow;
    MethodParameters:
             Name  Flags
      bb           
      methodFlows  
      original     

  public com.oracle.graal.pointsto.flow.TypeFlow<jdk.vm.ci.code.BytecodePosition> copy(com.oracle.graal.pointsto.BigBang, com.oracle.graal.pointsto.flow.MethodFlowsGraph);
    descriptor: (Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;)Lcom/oracle/graal/pointsto/flow/TypeFlow;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=5, locals=3, args_size=3
        start local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
        start local 1 // com.oracle.graal.pointsto.BigBang bb
        start local 2 // com.oracle.graal.pointsto.flow.MethodFlowsGraph methodFlows
         0: .line 173
            new com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow
            dup
            aload 1 /* bb */
            aload 2 /* methodFlows */
            aload 0 /* this */
            invokespecial com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.<init>:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow;)V
            areturn
        end local 2 // com.oracle.graal.pointsto.flow.MethodFlowsGraph methodFlows
        end local 1 // com.oracle.graal.pointsto.BigBang bb
        end local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    1     0         this  Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow;
            0    1     1           bb  Lcom/oracle/graal/pointsto/BigBang;
            0    1     2  methodFlows  Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
    Signature: (Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;)Lcom/oracle/graal/pointsto/flow/TypeFlow<Ljdk/vm/ci/code/BytecodePosition;>;
    MethodParameters:
             Name  Flags
      bb           
      methodFlows  

  public void onObservedUpdate(com.oracle.graal.pointsto.BigBang);
    descriptor: (Lcom/oracle/graal/pointsto/BigBang;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=6, locals=8, args_size=2
        start local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
        start local 1 // com.oracle.graal.pointsto.BigBang bb
         0: .line 178
            getstatic com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.$assertionsDisabled:Z
            ifne 1
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.isClone:()Z
            ifne 1
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.isContextInsensitive:()Z
            ifne 1
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         1: .line 179
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.isSaturated:()Z
            ifeq 3
         2: .line 181
            return
         3: .line 183
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.getReceiver:()Lcom/oracle/graal/pointsto/flow/TypeFlow;
            invokevirtual com.oracle.graal.pointsto.flow.TypeFlow.getState:()Lcom/oracle/graal/pointsto/typestate/TypeState;
            astore 2 /* receiverState */
        start local 2 // com.oracle.graal.pointsto.typestate.TypeState receiverState
         4: .line 185
            aload 2 /* receiverState */
            invokevirtual com.oracle.graal.pointsto.typestate.TypeState.isUnknown:()Z
            ifeq 7
         5: .line 186
            aload 1 /* bb */
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.graphRef:Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
            invokevirtual com.oracle.graal.pointsto.flow.MethodFlowsGraph.getMethod:()Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.source:Ljava/lang/Object;
            checkcast jdk.vm.ci.code.BytecodePosition
            new java.lang.StringBuilder
            dup
            ldc "Illegal: Invoke on UnknownTypeState objects. Invoke: "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 0 /* this */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            invokevirtual com.oracle.graal.pointsto.BigBang.reportIllegalUnknownUse:(Lcom/oracle/graal/pointsto/meta/AnalysisMethod;Ljdk/vm/ci/code/BytecodePosition;Ljava/lang/String;)V
         6: .line 187
            return
         7: .line 189
      StackMap locals: com.oracle.graal.pointsto.typestate.TypeState
      StackMap stack:
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.isContextInsensitive:()Z
            ifne 9
         8: .line 194
            aload 0 /* this */
            aload 1 /* bb */
            aload 2 /* receiverState */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.filterReceiverState:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/typestate/TypeState;)Lcom/oracle/graal/pointsto/typestate/TypeState;
            astore 2 /* receiverState */
         9: .line 197
      StackMap locals:
      StackMap stack:
            aload 2 /* receiverState */
            invokevirtual com.oracle.graal.pointsto.typestate.TypeState.types:()Ljava/lang/Iterable;
            invokeinterface java.lang.Iterable.iterator:()Ljava/util/Iterator;
            astore 4
            goto 25
      StackMap locals: com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow com.oracle.graal.pointsto.BigBang com.oracle.graal.pointsto.typestate.TypeState top java.util.Iterator
      StackMap stack:
        10: aload 4
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast com.oracle.graal.pointsto.meta.AnalysisType
            astore 3 /* type */
        start local 3 // com.oracle.graal.pointsto.meta.AnalysisType type
        11: .line 198
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.isSaturated:()Z
            ifeq 13
        12: .line 208
            return
        13: .line 210
      StackMap locals: com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow com.oracle.graal.pointsto.BigBang com.oracle.graal.pointsto.typestate.TypeState com.oracle.graal.pointsto.meta.AnalysisType java.util.Iterator
      StackMap stack:
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.seenReceiverTypes:Lcom/oracle/graal/pointsto/typestate/TypeState;
            aload 3 /* type */
            invokevirtual com.oracle.graal.pointsto.typestate.TypeState.containsType:(Lcom/oracle/graal/pointsto/meta/AnalysisType;)Z
            ifeq 15
        14: .line 212
            goto 25
        15: .line 215
      StackMap locals:
      StackMap stack:
            aload 3 /* type */
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.getTargetMethod:()Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
            invokevirtual com.oracle.graal.pointsto.meta.AnalysisType.resolveConcreteMethod:(Ljdk/vm/ci/meta/ResolvedJavaMethod;)Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
            astore 5 /* method */
        start local 5 // com.oracle.graal.pointsto.meta.AnalysisMethod method
        16: .line 216
            aload 5 /* method */
            ifnull 25
            aload 5 /* method */
            invokevirtual com.oracle.graal.pointsto.meta.AnalysisMethod.getModifiers:()I
            invokestatic java.lang.reflect.Modifier.isAbstract:(I)Z
            ifeq 18
        17: .line 221
            goto 25
        18: .line 224
      StackMap locals: com.oracle.graal.pointsto.meta.AnalysisMethod
      StackMap stack:
            getstatic com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.$assertionsDisabled:Z
            ifne 19
            aload 5 /* method */
            invokevirtual com.oracle.graal.pointsto.meta.AnalysisMethod.getModifiers:()I
            invokestatic java.lang.reflect.Modifier.isAbstract:(I)Z
            ifeq 19
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
        19: .line 226
      StackMap locals:
      StackMap stack:
            aload 5 /* method */
            invokevirtual com.oracle.graal.pointsto.meta.AnalysisMethod.getTypeFlow:()Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;
            astore 6 /* callee */
        start local 6 // com.oracle.graal.pointsto.flow.MethodTypeFlow callee
        20: .line 227
            aload 6 /* callee */
            aload 1 /* bb */
            aload 1 /* bb */
            invokevirtual com.oracle.graal.pointsto.BigBang.contextPolicy:()Lcom/oracle/graal/pointsto/flow/context/AnalysisContextPolicy;
            invokevirtual com.oracle.graal.pointsto.flow.context.AnalysisContextPolicy.emptyContext:()Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.flow.MethodTypeFlow.addContext:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;Lcom/oracle/graal/pointsto/flow/InvokeTypeFlow;)Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
            astore 7 /* calleeFlows */
        start local 7 // com.oracle.graal.pointsto.flow.MethodFlowsGraph calleeFlows
        21: .line 229
            getstatic com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.$assertionsDisabled:Z
            ifne 22
            aload 6 /* callee */
            invokevirtual com.oracle.graal.pointsto.flow.MethodTypeFlow.getContexts:()[Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
            iconst_0
            aaload
            aload 1 /* bb */
            invokevirtual com.oracle.graal.pointsto.BigBang.contextPolicy:()Lcom/oracle/graal/pointsto/flow/context/AnalysisContextPolicy;
            invokevirtual com.oracle.graal.pointsto.flow.context.AnalysisContextPolicy.emptyContext:()Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
            if_acmpeq 22
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
        22: .line 237
      StackMap locals: com.oracle.graal.pointsto.flow.MethodTypeFlow com.oracle.graal.pointsto.flow.MethodFlowsGraph
      StackMap stack:
            aload 0 /* this */
            aload 6 /* callee */
            invokevirtual com.oracle.graal.pointsto.flow.MethodTypeFlow.getMethod:()Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.addCallee:(Lcom/oracle/graal/pointsto/meta/AnalysisMethod;)Z
            ifeq 24
        23: .line 238
            aload 0 /* this */
            aload 1 /* bb */
            iconst_0
            aload 7 /* calleeFlows */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.linkCallee:(Lcom/oracle/graal/pointsto/BigBang;ZLcom/oracle/graal/pointsto/flow/MethodFlowsGraph;)V
        24: .line 241
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 1 /* bb */
            aload 7 /* calleeFlows */
            aload 1 /* bb */
            aload 3 /* type */
            iconst_0
            invokestatic com.oracle.graal.pointsto.typestate.TypeState.forExactType:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/meta/AnalysisType;Z)Lcom/oracle/graal/pointsto/typestate/TypeState;
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.updateReceiver:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/typestate/TypeState;)V
        end local 7 // com.oracle.graal.pointsto.flow.MethodFlowsGraph calleeFlows
        end local 6 // com.oracle.graal.pointsto.flow.MethodTypeFlow callee
        end local 5 // com.oracle.graal.pointsto.meta.AnalysisMethod method
        end local 3 // com.oracle.graal.pointsto.meta.AnalysisType type
        25: .line 197
      StackMap locals: com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow com.oracle.graal.pointsto.BigBang com.oracle.graal.pointsto.typestate.TypeState top java.util.Iterator
      StackMap stack:
            aload 4
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 10
        26: .line 245
            aload 0 /* this */
            aload 2 /* receiverState */
            putfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.seenReceiverTypes:Lcom/oracle/graal/pointsto/typestate/TypeState;
        27: .line 246
            return
        end local 2 // com.oracle.graal.pointsto.typestate.TypeState receiverState
        end local 1 // com.oracle.graal.pointsto.BigBang bb
        end local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0   28     0           this  Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow;
            0   28     1             bb  Lcom/oracle/graal/pointsto/BigBang;
            4   28     2  receiverState  Lcom/oracle/graal/pointsto/typestate/TypeState;
           11   25     3           type  Lcom/oracle/graal/pointsto/meta/AnalysisType;
           16   25     5         method  Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
           20   25     6         callee  Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;
           21   25     7    calleeFlows  Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
    MethodParameters:
      Name  Flags
      bb    

  public void onObservedSaturated(com.oracle.graal.pointsto.BigBang, com.oracle.graal.pointsto.flow.TypeFlow<?>);
    descriptor: (Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/TypeFlow;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=8, args_size=3
        start local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
        start local 1 // com.oracle.graal.pointsto.BigBang bb
        start local 2 // com.oracle.graal.pointsto.flow.TypeFlow observed
         0: .line 250
            getstatic com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.$assertionsDisabled:Z
            ifne 2
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.isClone:()Z
            ifeq 1
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.isContextInsensitive:()Z
            ifeq 2
      StackMap locals:
      StackMap stack:
         1: new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         2: .line 252
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.setSaturated:()V
         3: .line 263
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.getReceiver:()Lcom/oracle/graal/pointsto/flow/TypeFlow;
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.flow.TypeFlow.removeObserver:(Lcom/oracle/graal/pointsto/flow/TypeFlow;)Z
            pop
         4: .line 266
            aload 0 /* this */
            invokespecial com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow.getCallees:()Ljava/util/Collection;
            invokeinterface java.util.Collection.iterator:()Ljava/util/Iterator;
            astore 4
            goto 16
      StackMap locals: com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow com.oracle.graal.pointsto.BigBang com.oracle.graal.pointsto.flow.TypeFlow top java.util.Iterator
      StackMap stack:
         5: aload 4
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast com.oracle.graal.pointsto.meta.AnalysisMethod
            astore 3 /* callee */
        start local 3 // com.oracle.graal.pointsto.meta.AnalysisMethod callee
         6: .line 267
            aload 3 /* callee */
            invokevirtual com.oracle.graal.pointsto.meta.AnalysisMethod.getTypeFlow:()Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;
            aload 1 /* bb */
            invokevirtual com.oracle.graal.pointsto.BigBang.contextPolicy:()Lcom/oracle/graal/pointsto/flow/context/AnalysisContextPolicy;
            invokevirtual com.oracle.graal.pointsto.flow.context.AnalysisContextPolicy.emptyContext:()Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
            invokevirtual com.oracle.graal.pointsto.flow.MethodTypeFlow.getFlows:(Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;)Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
            astore 5 /* calleeFlows */
        start local 5 // com.oracle.graal.pointsto.flow.MethodFlowsGraph calleeFlows
         7: .line 269
            iconst_0
            istore 6 /* i */
        start local 6 // int i
         8: goto 13
         9: .line 271
      StackMap locals: com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow com.oracle.graal.pointsto.BigBang com.oracle.graal.pointsto.flow.TypeFlow com.oracle.graal.pointsto.meta.AnalysisMethod java.util.Iterator com.oracle.graal.pointsto.flow.MethodFlowsGraph int
      StackMap stack:
            aload 5 /* calleeFlows */
            iload 6 /* i */
            invokevirtual com.oracle.graal.pointsto.flow.MethodFlowsGraph.getParameter:(I)Lcom/oracle/graal/pointsto/flow/FormalParamTypeFlow;
            astore 7 /* formalParam */
        start local 7 // com.oracle.graal.pointsto.flow.TypeFlow formalParam
        10: .line 273
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.actualParameters:[Lcom/oracle/graal/pointsto/flow/TypeFlow;
            iload 6 /* i */
            aaload
            ifnull 12
            aload 7 /* formalParam */
            ifnull 12
        11: .line 274
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.actualParameters:[Lcom/oracle/graal/pointsto/flow/TypeFlow;
            iload 6 /* i */
            aaload
            aload 7 /* formalParam */
            invokevirtual com.oracle.graal.pointsto.flow.TypeFlow.removeUse:(Lcom/oracle/graal/pointsto/flow/TypeFlow;)Z
            pop
        end local 7 // com.oracle.graal.pointsto.flow.TypeFlow formalParam
        12: .line 269
      StackMap locals:
      StackMap stack:
            iinc 6 /* i */ 1
      StackMap locals:
      StackMap stack:
        13: iload 6 /* i */
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.actualParameters:[Lcom/oracle/graal/pointsto/flow/TypeFlow;
            arraylength
            if_icmplt 9
        end local 6 // int i
        14: .line 278
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.actualReturn:Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;
            ifnull 16
            aload 5 /* calleeFlows */
            invokevirtual com.oracle.graal.pointsto.flow.MethodFlowsGraph.getResult:()Lcom/oracle/graal/pointsto/flow/FormalReturnTypeFlow;
            ifnull 16
        15: .line 279
            aload 5 /* calleeFlows */
            invokevirtual com.oracle.graal.pointsto.flow.MethodFlowsGraph.getResult:()Lcom/oracle/graal/pointsto/flow/FormalReturnTypeFlow;
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.actualReturn:Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;
            invokevirtual com.oracle.graal.pointsto.flow.FormalReturnTypeFlow.removeUse:(Lcom/oracle/graal/pointsto/flow/TypeFlow;)Z
            pop
        end local 5 // com.oracle.graal.pointsto.flow.MethodFlowsGraph calleeFlows
        end local 3 // com.oracle.graal.pointsto.meta.AnalysisMethod callee
        16: .line 266
      StackMap locals: com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow com.oracle.graal.pointsto.BigBang com.oracle.graal.pointsto.flow.TypeFlow top java.util.Iterator
      StackMap stack:
            aload 4
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 5
        17: .line 284
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.targetMethod:Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
            aload 1 /* bb */
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.source:Ljava/lang/Object;
            checkcast jdk.vm.ci.code.BytecodePosition
            invokevirtual com.oracle.graal.pointsto.meta.AnalysisMethod.initAndGetContextInsensitiveInvoke:(Lcom/oracle/graal/pointsto/BigBang;Ljdk/vm/ci/code/BytecodePosition;)Lcom/oracle/graal/pointsto/flow/InvokeTypeFlow;
            checkcast com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow
            astore 3 /* contextInsensitiveInvoke */
        start local 3 // com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow contextInsensitiveInvoke
        18: .line 285
            aload 3 /* contextInsensitiveInvoke */
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.getSource:()Ljava/lang/Object;
            checkcast jdk.vm.ci.code.BytecodePosition
            invokevirtual com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow.addInvokeLocation:(Ljdk/vm/ci/code/BytecodePosition;)Z
            pop
        19: .line 291
            iconst_1
            istore 4 /* i */
        start local 4 // int i
        20: goto 24
        21: .line 293
      StackMap locals: com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow com.oracle.graal.pointsto.BigBang com.oracle.graal.pointsto.flow.TypeFlow com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow int
      StackMap stack:
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.actualParameters:[Lcom/oracle/graal/pointsto/flow/TypeFlow;
            iload 4 /* i */
            aaload
            ifnull 23
        22: .line 294
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.actualParameters:[Lcom/oracle/graal/pointsto/flow/TypeFlow;
            iload 4 /* i */
            aaload
            aload 1 /* bb */
            aload 3 /* contextInsensitiveInvoke */
            iload 4 /* i */
            invokevirtual com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow.getActualParameter:(I)Lcom/oracle/graal/pointsto/flow/TypeFlow;
            invokevirtual com.oracle.graal.pointsto.flow.TypeFlow.addUse:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/TypeFlow;)Z
            pop
        23: .line 291
      StackMap locals:
      StackMap stack:
            iinc 4 /* i */ 1
      StackMap locals:
      StackMap stack:
        24: iload 4 /* i */
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.actualParameters:[Lcom/oracle/graal/pointsto/flow/TypeFlow;
            arraylength
            if_icmplt 21
        end local 4 // int i
        25: .line 297
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.actualReturn:Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;
            ifnull 27
        26: .line 299
            aload 3 /* contextInsensitiveInvoke */
            invokevirtual com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow.getActualReturn:()Lcom/oracle/graal/pointsto/flow/TypeFlow;
            aload 1 /* bb */
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.actualReturn:Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;
            invokevirtual com.oracle.graal.pointsto.flow.TypeFlow.addUse:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/TypeFlow;)Z
            pop
        27: .line 301
      StackMap locals:
      StackMap stack:
            return
        end local 3 // com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow contextInsensitiveInvoke
        end local 2 // com.oracle.graal.pointsto.flow.TypeFlow observed
        end local 1 // com.oracle.graal.pointsto.BigBang bb
        end local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot                      Name  Signature
            0   28     0                      this  Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow;
            0   28     1                        bb  Lcom/oracle/graal/pointsto/BigBang;
            0   28     2                  observed  Lcom/oracle/graal/pointsto/flow/TypeFlow<*>;
            6   16     3                    callee  Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
            7   16     5               calleeFlows  Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
            8   14     6                         i  I
           10   12     7               formalParam  Lcom/oracle/graal/pointsto/flow/TypeFlow<*>;
           18   28     3  contextInsensitiveInvoke  Lcom/oracle/graal/pointsto/flow/AbstractVirtualInvokeTypeFlow;
           20   25     4                         i  I
    Signature: (Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/TypeFlow<*>;)V
    MethodParameters:
          Name  Flags
      bb        
      observed  

  public void setSaturated();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
         0: .line 305
            aload 0 /* this */
            invokespecial com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow.setSaturated:()V
         1: .line 306
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.isClone:()Z
            ifeq 3
         2: .line 311
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.originalInvoke:Lcom/oracle/graal/pointsto/flow/InvokeTypeFlow;
            invokevirtual com.oracle.graal.pointsto.flow.InvokeTypeFlow.setSaturated:()V
         3: .line 313
      StackMap locals:
      StackMap stack:
            return
        end local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    4     0  this  Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow;

  public final java.util.Collection<com.oracle.graal.pointsto.meta.AnalysisMethod> getCallees();
    descriptor: ()Ljava/util/Collection;
    flags: (0x0011) ACC_PUBLIC, ACC_FINAL
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
         0: .line 317
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.isSaturated:()Z
            ifeq 2
         1: .line 318
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.targetMethod:Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
            invokevirtual com.oracle.graal.pointsto.meta.AnalysisMethod.getContextInsensitiveInvoke:()Lcom/oracle/graal/pointsto/flow/InvokeTypeFlow;
            invokevirtual com.oracle.graal.pointsto.flow.InvokeTypeFlow.getCallees:()Ljava/util/Collection;
            areturn
         2: .line 320
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokespecial com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow.getCallees:()Ljava/util/Collection;
            areturn
        end local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    3     0  this  Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow;
    Signature: ()Ljava/util/Collection<Lcom/oracle/graal/pointsto/meta/AnalysisMethod;>;

  public java.util.Collection<com.oracle.graal.pointsto.flow.MethodFlowsGraph> getCalleesFlows(com.oracle.graal.pointsto.BigBang);
    descriptor: (Lcom/oracle/graal/pointsto/BigBang;)Ljava/util/Collection;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=6, args_size=2
        start local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
        start local 1 // com.oracle.graal.pointsto.BigBang bb
         0: .line 328
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow.getCallees:()Ljava/util/Collection;
            astore 2 /* calleesList */
        start local 2 // java.util.Collection calleesList
         1: .line 329
            new java.util.ArrayList
            dup
            aload 2 /* calleesList */
            invokeinterface java.util.Collection.size:()I
            invokespecial java.util.ArrayList.<init>:(I)V
            astore 3 /* methodFlowsGraphs */
        start local 3 // java.util.List methodFlowsGraphs
         2: .line 330
            aload 2 /* calleesList */
            invokeinterface java.util.Collection.iterator:()Ljava/util/Iterator;
            astore 5
            goto 5
      StackMap locals: com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow com.oracle.graal.pointsto.BigBang java.util.Collection java.util.List top java.util.Iterator
      StackMap stack:
         3: aload 5
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast com.oracle.graal.pointsto.meta.AnalysisMethod
            astore 4 /* method */
        start local 4 // com.oracle.graal.pointsto.meta.AnalysisMethod method
         4: .line 331
            aload 3 /* methodFlowsGraphs */
            aload 4 /* method */
            invokevirtual com.oracle.graal.pointsto.meta.AnalysisMethod.getTypeFlow:()Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;
            aload 1 /* bb */
            invokevirtual com.oracle.graal.pointsto.BigBang.contextPolicy:()Lcom/oracle/graal/pointsto/flow/context/AnalysisContextPolicy;
            invokevirtual com.oracle.graal.pointsto.flow.context.AnalysisContextPolicy.emptyContext:()Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
            invokevirtual com.oracle.graal.pointsto.flow.MethodTypeFlow.getFlows:(Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;)Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        end local 4 // com.oracle.graal.pointsto.meta.AnalysisMethod method
         5: .line 330
      StackMap locals:
      StackMap stack:
            aload 5
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 3
         6: .line 333
            aload 3 /* methodFlowsGraphs */
            areturn
        end local 3 // java.util.List methodFlowsGraphs
        end local 2 // java.util.Collection calleesList
        end local 1 // com.oracle.graal.pointsto.BigBang bb
        end local 0 // com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot               Name  Signature
            0    7     0               this  Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow;
            0    7     1                 bb  Lcom/oracle/graal/pointsto/BigBang;
            1    7     2        calleesList  Ljava/util/Collection<Lcom/oracle/graal/pointsto/meta/AnalysisMethod;>;
            2    7     3  methodFlowsGraphs  Ljava/util/List<Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;>;
            4    5     4             method  Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
    Signature: (Lcom/oracle/graal/pointsto/BigBang;)Ljava/util/Collection<Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;>;
    MethodParameters:
      Name  Flags
      bb    
}
SourceFile: "DefaultAnalysisPolicy.java"
NestHost: com.oracle.graal.pointsto.DefaultAnalysisPolicy
InnerClasses:
  private DefaultVirtualInvokeTypeFlow = com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultVirtualInvokeTypeFlow of com.oracle.graal.pointsto.DefaultAnalysisPolicy