class com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow extends com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow
  minor version: 0
  major version: 59
  flags: flags: (0x0020) ACC_SUPER
  this_class: com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow
  super_class: com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow
{
  private final java.util.concurrent.ConcurrentMap<com.oracle.graal.pointsto.flow.MethodFlowsGraph, java.lang.Object> calleesFlows;
    descriptor: Ljava/util/concurrent/ConcurrentMap;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL
    Signature: Ljava/util/concurrent/ConcurrentMap<Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Ljava/lang/Object;>;

  private final com.oracle.graal.pointsto.flow.context.AnalysisContext callerContext;
    descriptor: Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  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 196
            ldc Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy;
            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.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.$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.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow 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 208
            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 209
            aload 0 /* this */
            aconst_null
            putfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.calleesFlows:Ljava/util/concurrent/ConcurrentMap;
         2: .line 210
            aload 0 /* this */
            aconst_null
            putfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.callerContext:Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
         3: .line 211
            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.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0    4     0              this  Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;
            0    4     1    invokeLocation  Ljdk/vm/ci/code/BytecodePosition;
            0    4     2      receiverType  Lcom/oracle/graal/pointsto/meta/AnalysisType;
            0    4     3      targetMethod  Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
            0    4     4  actualParameters  [Lcom/oracle/graal/pointsto/flow/TypeFlow;
            0    4     5      actualReturn  Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;
            0    4     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.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow);
    descriptor: (Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;)V
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=6, locals=4, args_size=4
        start local 0 // com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow 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.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow original
         0: .line 214
            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 215
            aload 0 /* this */
            new java.util.concurrent.ConcurrentHashMap
            dup
            iconst_4
            ldc 0.75
            iconst_1
            invokespecial java.util.concurrent.ConcurrentHashMap.<init>:(IFI)V
            putfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.calleesFlows:Ljava/util/concurrent/ConcurrentMap;
         2: .line 216
            aload 0 /* this */
            aload 2 /* methodFlows */
            invokevirtual com.oracle.graal.pointsto.flow.MethodFlowsGraph.context:()Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
            putfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.callerContext:Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
         3: .line 217
            return
        end local 3 // com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow 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.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    4     0         this  Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;
            0    4     1           bb  Lcom/oracle/graal/pointsto/BigBang;
            0    4     2  methodFlows  Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
            0    4     3     original  Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;
    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.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow this
        start local 1 // com.oracle.graal.pointsto.BigBang bb
        start local 2 // com.oracle.graal.pointsto.flow.MethodFlowsGraph methodFlows
         0: .line 221
            new com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow
            dup
            aload 1 /* bb */
            aload 2 /* methodFlows */
            aload 0 /* this */
            invokespecial com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.<init>:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;)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.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    1     0         this  Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;
            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=10, args_size=2
        start local 0 // com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow this
        start local 1 // com.oracle.graal.pointsto.BigBang bb
         0: .line 226
            getstatic com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.$assertionsDisabled:Z
            ifne 1
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.isClone:()Z
            ifne 1
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         1: .line 232
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.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
         2: .line 233
            aload 2 /* receiverState */
            invokevirtual com.oracle.graal.pointsto.typestate.TypeState.isUnknown:()Z
            ifeq 5
         3: .line 234
            aload 1 /* bb */
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.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.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.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
         4: .line 235
            return
         5: .line 237
      StackMap locals: com.oracle.graal.pointsto.typestate.TypeState
      StackMap stack:
            aload 0 /* this */
            aload 1 /* bb */
            aload 2 /* receiverState */
            invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.filterReceiverState:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/typestate/TypeState;)Lcom/oracle/graal/pointsto/typestate/TypeState;
            astore 2 /* receiverState */
         6: .line 240
            aload 2 /* receiverState */
            invokevirtual com.oracle.graal.pointsto.typestate.TypeState.getTypesObjectsIterator:()Lcom/oracle/graal/pointsto/typestate/TypeState$TypesObjectsIterator;
            astore 3 /* toi */
        start local 3 // com.oracle.graal.pointsto.typestate.TypeState$TypesObjectsIterator toi
         7: .line 241
            goto 23
         8: .line 242
      StackMap locals: com.oracle.graal.pointsto.typestate.TypeState$TypesObjectsIterator
      StackMap stack:
            aload 3 /* toi */
            invokevirtual com.oracle.graal.pointsto.typestate.TypeState$TypesObjectsIterator.nextType:()Lcom/oracle/graal/pointsto/meta/AnalysisType;
            astore 4 /* type */
        start local 4 // com.oracle.graal.pointsto.meta.AnalysisType type
         9: .line 244
            aload 4 /* type */
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.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
        10: .line 245
            aload 5 /* method */
            ifnull 23
            aload 5 /* method */
            invokevirtual com.oracle.graal.pointsto.meta.AnalysisMethod.getModifiers:()I
            invokestatic java.lang.reflect.Modifier.isAbstract:(I)Z
            ifeq 12
        11: .line 250
            goto 23
        12: .line 253
      StackMap locals: com.oracle.graal.pointsto.meta.AnalysisType com.oracle.graal.pointsto.meta.AnalysisMethod
      StackMap stack:
            getstatic com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.$assertionsDisabled:Z
            ifne 13
            aload 5 /* method */
            invokevirtual com.oracle.graal.pointsto.meta.AnalysisMethod.getModifiers:()I
            invokestatic java.lang.reflect.Modifier.isAbstract:(I)Z
            ifeq 13
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
        13: .line 255
      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
        14: .line 257
            goto 22
        15: .line 258
      StackMap locals: com.oracle.graal.pointsto.flow.MethodTypeFlow
      StackMap stack:
            aload 3 /* toi */
            aload 4 /* type */
            invokevirtual com.oracle.graal.pointsto.typestate.TypeState$TypesObjectsIterator.nextObject:(Lcom/oracle/graal/pointsto/meta/AnalysisType;)Lcom/oracle/graal/pointsto/flow/context/object/AnalysisObject;
            astore 7 /* actualReceiverObject */
        start local 7 // com.oracle.graal.pointsto.flow.context.object.AnalysisObject actualReceiverObject
        16: .line 261
            aload 1 /* bb */
            invokevirtual com.oracle.graal.pointsto.BigBang.contextPolicy:()Lcom/oracle/graal/pointsto/flow/context/AnalysisContextPolicy;
            aload 1 /* bb */
            aload 7 /* actualReceiverObject */
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.callerContext:Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
            aload 6 /* callee */
            invokevirtual com.oracle.graal.pointsto.flow.context.AnalysisContextPolicy.calleeContext:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/context/object/AnalysisObject;Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;)Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
            astore 8 /* calleeContext */
        start local 8 // com.oracle.graal.pointsto.flow.context.AnalysisContext calleeContext
        17: .line 263
            aload 6 /* callee */
            aload 1 /* bb */
            aload 8 /* calleeContext */
            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 9 /* calleeFlows */
        start local 9 // com.oracle.graal.pointsto.flow.MethodFlowsGraph calleeFlows
        18: .line 265
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.calleesFlows:Ljava/util/concurrent/ConcurrentMap;
            aload 9 /* calleeFlows */
            getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
            invokeinterface java.util.concurrent.ConcurrentMap.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
            ifnonnull 21
        19: .line 267
            aload 0 /* this */
            aload 9 /* calleeFlows */
            invokevirtual com.oracle.graal.pointsto.flow.MethodFlowsGraph.getMethod:()Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
            invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.addCallee:(Lcom/oracle/graal/pointsto/meta/AnalysisMethod;)Z
            pop
        20: .line 269
            aload 0 /* this */
            aload 1 /* bb */
            iconst_0
            aload 9 /* calleeFlows */
            invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.linkCallee:(Lcom/oracle/graal/pointsto/BigBang;ZLcom/oracle/graal/pointsto/flow/MethodFlowsGraph;)V
        21: .line 272
      StackMap locals: com.oracle.graal.pointsto.flow.context.object.AnalysisObject com.oracle.graal.pointsto.flow.context.AnalysisContext com.oracle.graal.pointsto.flow.MethodFlowsGraph
      StackMap stack:
            aload 0 /* this */
            aload 1 /* bb */
            aload 9 /* calleeFlows */
            aload 7 /* actualReceiverObject */
            invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.updateReceiver:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/flow/context/object/AnalysisObject;)V
        end local 9 // com.oracle.graal.pointsto.flow.MethodFlowsGraph calleeFlows
        end local 8 // com.oracle.graal.pointsto.flow.context.AnalysisContext calleeContext
        end local 7 // com.oracle.graal.pointsto.flow.context.object.AnalysisObject actualReceiverObject
        22: .line 257
      StackMap locals:
      StackMap stack:
            aload 3 /* toi */
            aload 4 /* type */
            invokevirtual com.oracle.graal.pointsto.typestate.TypeState$TypesObjectsIterator.hasNextObject:(Lcom/oracle/graal/pointsto/meta/AnalysisType;)Z
            ifne 15
        end local 6 // com.oracle.graal.pointsto.flow.MethodTypeFlow callee
        end local 5 // com.oracle.graal.pointsto.meta.AnalysisMethod method
        end local 4 // com.oracle.graal.pointsto.meta.AnalysisType type
        23: .line 241
      StackMap locals:
      StackMap stack:
            aload 3 /* toi */
            invokevirtual com.oracle.graal.pointsto.typestate.TypeState$TypesObjectsIterator.hasNextType:()Z
            ifne 8
        24: .line 276
            return
        end local 3 // com.oracle.graal.pointsto.typestate.TypeState$TypesObjectsIterator toi
        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.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot                  Name  Signature
            0   25     0                  this  Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;
            0   25     1                    bb  Lcom/oracle/graal/pointsto/BigBang;
            2   25     2         receiverState  Lcom/oracle/graal/pointsto/typestate/TypeState;
            7   25     3                   toi  Lcom/oracle/graal/pointsto/typestate/TypeState$TypesObjectsIterator;
            9   23     4                  type  Lcom/oracle/graal/pointsto/meta/AnalysisType;
           10   23     5                method  Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
           14   23     6                callee  Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;
           16   22     7  actualReceiverObject  Lcom/oracle/graal/pointsto/flow/context/object/AnalysisObject;
           17   22     8         calleeContext  Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
           18   22     9           calleeFlows  Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
    MethodParameters:
      Name  Flags
      bb    

  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=2, args_size=2
        start local 0 // com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow this
        start local 1 // com.oracle.graal.pointsto.BigBang bb
         0: .line 280
            new java.util.ArrayList
            dup
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.calleesFlows:Ljava/util/concurrent/ConcurrentMap;
            invokeinterface java.util.concurrent.ConcurrentMap.keySet:()Ljava/util/Set;
            invokespecial java.util.ArrayList.<init>:(Ljava/util/Collection;)V
            areturn
        end local 1 // com.oracle.graal.pointsto.BigBang bb
        end local 0 // com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;
            0    1     1    bb  Lcom/oracle/graal/pointsto/BigBang;
    Signature: (Lcom/oracle/graal/pointsto/BigBang;)Ljava/util/Collection<Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;>;
    MethodParameters:
      Name  Flags
      bb    
}
SourceFile: "BytecodeSensitiveAnalysisPolicy.java"
NestHost: com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy
InnerClasses:
  private BytecodeSensitiveVirtualInvokeTypeFlow = com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow of com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy
  public TypesObjectsIterator = com.oracle.graal.pointsto.typestate.TypeState$TypesObjectsIterator of com.oracle.graal.pointsto.typestate.TypeState