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

  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 284
            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$BytecodeSensitiveSpecialInvokeTypeFlow.$assertionsDisabled:Z
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  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: (0x0000) 
    Code:
      stack=7, locals=7, args_size=7
        start local 0 // com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow 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 293
            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.AbstractSpecialInvokeTypeFlow.<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 294
            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$BytecodeSensitiveSpecialInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0    2     0              this  Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow;
            0    2     1    invokeLocation  Ljdk/vm/ci/code/BytecodePosition;
            0    2     2      receiverType  Lcom/oracle/graal/pointsto/meta/AnalysisType;
            0    2     3      targetMethod  Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
            0    2     4  actualParameters  [Lcom/oracle/graal/pointsto/flow/TypeFlow;
            0    2     5      actualReturn  Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;
            0    2     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          

  private void <init>(com.oracle.graal.pointsto.BigBang, com.oracle.graal.pointsto.flow.MethodFlowsGraph, com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow);
    descriptor: (Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=6, locals=4, args_size=4
        start local 0 // com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow 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$BytecodeSensitiveSpecialInvokeTypeFlow original
         0: .line 297
            aload 0 /* this */
            aload 1 /* bb */
            aload 2 /* methodFlows */
            aload 3 /* original */
            invokespecial com.oracle.graal.pointsto.flow.AbstractSpecialInvokeTypeFlow.<init>:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/flow/AbstractSpecialInvokeTypeFlow;)V
         1: .line 298
            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$BytecodeSensitiveSpecialInvokeTypeFlow.calleesFlows:Ljava/util/concurrent/ConcurrentMap;
         2: .line 299
            return
        end local 3 // com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow 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$BytecodeSensitiveSpecialInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    3     0         this  Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow;
            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/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow;
    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$BytecodeSensitiveSpecialInvokeTypeFlow this
        start local 1 // com.oracle.graal.pointsto.BigBang bb
        start local 2 // com.oracle.graal.pointsto.flow.MethodFlowsGraph methodFlows
         0: .line 303
            new com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow
            dup
            aload 1 /* bb */
            aload 2 /* methodFlows */
            aload 0 /* this */
            invokespecial com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.<init>:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow;)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$BytecodeSensitiveSpecialInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    1     0         this  Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow;
            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=5, locals=9, args_size=2
        start local 0 // com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow this
        start local 1 // com.oracle.graal.pointsto.BigBang bb
         0: .line 308
            getstatic com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.$assertionsDisabled:Z
            ifne 1
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.isClone:()Z
            ifne 1
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         1: .line 311
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.initCallee:()V
         2: .line 313
            aload 0 /* this */
            aload 1 /* bb */
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.getReceiver:()Lcom/oracle/graal/pointsto/flow/TypeFlow;
            invokevirtual com.oracle.graal.pointsto.flow.TypeFlow.getState:()Lcom/oracle/graal/pointsto/typestate/TypeState;
            invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.filterReceiverState:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/typestate/TypeState;)Lcom/oracle/graal/pointsto/typestate/TypeState;
            astore 2 /* invokeState */
        start local 2 // com.oracle.graal.pointsto.typestate.TypeState invokeState
         3: .line 314
            aload 2 /* invokeState */
            invokevirtual com.oracle.graal.pointsto.typestate.TypeState.objects:()[Lcom/oracle/graal/pointsto/flow/context/object/AnalysisObject;
            dup
            astore 6
            arraylength
            istore 5
            iconst_0
            istore 4
            goto 11
      StackMap locals: com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow com.oracle.graal.pointsto.BigBang com.oracle.graal.pointsto.typestate.TypeState top int int com.oracle.graal.pointsto.flow.context.object.AnalysisObject[]
      StackMap stack:
         4: aload 6
            iload 4
            aaload
            astore 3 /* receiverObject */
        start local 3 // com.oracle.graal.pointsto.flow.context.object.AnalysisObject receiverObject
         5: .line 315
            aload 1 /* bb */
            invokevirtual com.oracle.graal.pointsto.BigBang.contextPolicy:()Lcom/oracle/graal/pointsto/flow/context/AnalysisContextPolicy;
            aload 1 /* bb */
            aload 3 /* receiverObject */
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.callerContext:Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.callee:Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;
            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 7 /* calleeContext */
        start local 7 // com.oracle.graal.pointsto.flow.context.AnalysisContext calleeContext
         6: .line 316
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.callee:Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;
            aload 1 /* bb */
            aload 7 /* 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 8 /* calleeFlows */
        start local 8 // com.oracle.graal.pointsto.flow.MethodFlowsGraph calleeFlows
         7: .line 318
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.calleesFlows:Ljava/util/concurrent/ConcurrentMap;
            aload 8 /* calleeFlows */
            getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
            invokeinterface java.util.concurrent.ConcurrentMap.putIfAbsent:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
            ifnonnull 9
         8: .line 319
            aload 0 /* this */
            aload 1 /* bb */
            iconst_0
            aload 8 /* calleeFlows */
            invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.linkCallee:(Lcom/oracle/graal/pointsto/BigBang;ZLcom/oracle/graal/pointsto/flow/MethodFlowsGraph;)V
         9: .line 322
      StackMap locals: com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow com.oracle.graal.pointsto.BigBang com.oracle.graal.pointsto.typestate.TypeState com.oracle.graal.pointsto.flow.context.object.AnalysisObject int int 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 8 /* calleeFlows */
            aload 3 /* receiverObject */
            invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.updateReceiver:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/flow/context/object/AnalysisObject;)V
        end local 8 // com.oracle.graal.pointsto.flow.MethodFlowsGraph calleeFlows
        end local 7 // com.oracle.graal.pointsto.flow.context.AnalysisContext calleeContext
        end local 3 // com.oracle.graal.pointsto.flow.context.object.AnalysisObject receiverObject
        10: .line 314
            iinc 4 1
      StackMap locals: com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow com.oracle.graal.pointsto.BigBang com.oracle.graal.pointsto.typestate.TypeState top int int com.oracle.graal.pointsto.flow.context.object.AnalysisObject[]
      StackMap stack:
        11: iload 4
            iload 5
            if_icmplt 4
        12: .line 324
            return
        end local 2 // com.oracle.graal.pointsto.typestate.TypeState invokeState
        end local 1 // com.oracle.graal.pointsto.BigBang bb
        end local 0 // com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot            Name  Signature
            0   13     0            this  Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow;
            0   13     1              bb  Lcom/oracle/graal/pointsto/BigBang;
            3   13     2     invokeState  Lcom/oracle/graal/pointsto/typestate/TypeState;
            5   10     3  receiverObject  Lcom/oracle/graal/pointsto/flow/context/object/AnalysisObject;
            6   10     7   calleeContext  Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
            7   10     8     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$BytecodeSensitiveSpecialInvokeTypeFlow this
        start local 1 // com.oracle.graal.pointsto.BigBang bb
         0: .line 328
            new java.util.ArrayList
            dup
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.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$BytecodeSensitiveSpecialInvokeTypeFlow this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow;
            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 final BytecodeSensitiveSpecialInvokeTypeFlow = com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow of com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy