public class com.oracle.graal.pointsto.flow.FormalReturnTypeFlow extends com.oracle.graal.pointsto.flow.TypeFlow<jdk.vm.ci.code.BytecodePosition>
  minor version: 0
  major version: 59
  flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
  this_class: com.oracle.graal.pointsto.flow.FormalReturnTypeFlow
  super_class: com.oracle.graal.pointsto.flow.TypeFlow
{
  protected final com.oracle.graal.pointsto.meta.AnalysisMethod method;
    descriptor: Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
    flags: (0x0014) ACC_PROTECTED, ACC_FINAL

  public void <init>(org.graalvm.compiler.nodes.ValueNode, com.oracle.graal.pointsto.meta.AnalysisType, com.oracle.graal.pointsto.meta.AnalysisMethod);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;Lcom/oracle/graal/pointsto/meta/AnalysisType;Lcom/oracle/graal/pointsto/meta/AnalysisMethod;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=4, args_size=4
        start local 0 // com.oracle.graal.pointsto.flow.FormalReturnTypeFlow this
        start local 1 // org.graalvm.compiler.nodes.ValueNode source
        start local 2 // com.oracle.graal.pointsto.meta.AnalysisType declaredType
        start local 3 // com.oracle.graal.pointsto.meta.AnalysisMethod method
         0: .line 40
            aload 0 /* this */
            aload 1 /* source */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.getNodeSourcePosition:()Lorg/graalvm/compiler/graph/NodeSourcePosition;
            aload 2 /* declaredType */
            aload 3 /* method */
            invokespecial com.oracle.graal.pointsto.flow.FormalReturnTypeFlow.<init>:(Ljdk/vm/ci/code/BytecodePosition;Lcom/oracle/graal/pointsto/meta/AnalysisType;Lcom/oracle/graal/pointsto/meta/AnalysisMethod;)V
         1: .line 41
            return
        end local 3 // com.oracle.graal.pointsto.meta.AnalysisMethod method
        end local 2 // com.oracle.graal.pointsto.meta.AnalysisType declaredType
        end local 1 // org.graalvm.compiler.nodes.ValueNode source
        end local 0 // com.oracle.graal.pointsto.flow.FormalReturnTypeFlow this
      LocalVariableTable:
        Start  End  Slot          Name  Signature
            0    2     0          this  Lcom/oracle/graal/pointsto/flow/FormalReturnTypeFlow;
            0    2     1        source  Lorg/graalvm/compiler/nodes/ValueNode;
            0    2     2  declaredType  Lcom/oracle/graal/pointsto/meta/AnalysisType;
            0    2     3        method  Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
    MethodParameters:
              Name  Flags
      source        
      declaredType  
      method        

  public void <init>(jdk.vm.ci.code.BytecodePosition, com.oracle.graal.pointsto.meta.AnalysisType, com.oracle.graal.pointsto.meta.AnalysisMethod);
    descriptor: (Ljdk/vm/ci/code/BytecodePosition;Lcom/oracle/graal/pointsto/meta/AnalysisType;Lcom/oracle/graal/pointsto/meta/AnalysisMethod;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=4, args_size=4
        start local 0 // com.oracle.graal.pointsto.flow.FormalReturnTypeFlow this
        start local 1 // jdk.vm.ci.code.BytecodePosition source
        start local 2 // com.oracle.graal.pointsto.meta.AnalysisType declaredType
        start local 3 // com.oracle.graal.pointsto.meta.AnalysisMethod method
         0: .line 44
            aload 0 /* this */
            aload 1 /* source */
            aload 2 /* declaredType */
            invokespecial com.oracle.graal.pointsto.flow.TypeFlow.<init>:(Ljava/lang/Object;Lcom/oracle/graal/pointsto/meta/AnalysisType;)V
         1: .line 45
            aload 0 /* this */
            aload 3 /* method */
            putfield com.oracle.graal.pointsto.flow.FormalReturnTypeFlow.method:Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
         2: .line 46
            return
        end local 3 // com.oracle.graal.pointsto.meta.AnalysisMethod method
        end local 2 // com.oracle.graal.pointsto.meta.AnalysisType declaredType
        end local 1 // jdk.vm.ci.code.BytecodePosition source
        end local 0 // com.oracle.graal.pointsto.flow.FormalReturnTypeFlow this
      LocalVariableTable:
        Start  End  Slot          Name  Signature
            0    3     0          this  Lcom/oracle/graal/pointsto/flow/FormalReturnTypeFlow;
            0    3     1        source  Ljdk/vm/ci/code/BytecodePosition;
            0    3     2  declaredType  Lcom/oracle/graal/pointsto/meta/AnalysisType;
            0    3     3        method  Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
    MethodParameters:
              Name  Flags
      source        
      declaredType  
      method        

  public void <init>(com.oracle.graal.pointsto.flow.FormalReturnTypeFlow, com.oracle.graal.pointsto.flow.MethodFlowsGraph);
    descriptor: (Lcom/oracle/graal/pointsto/flow/FormalReturnTypeFlow;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=3, args_size=3
        start local 0 // com.oracle.graal.pointsto.flow.FormalReturnTypeFlow this
        start local 1 // com.oracle.graal.pointsto.flow.FormalReturnTypeFlow original
        start local 2 // com.oracle.graal.pointsto.flow.MethodFlowsGraph methodFlows
         0: .line 49
            aload 0 /* this */
            aload 1 /* original */
            aload 2 /* methodFlows */
            invokespecial com.oracle.graal.pointsto.flow.TypeFlow.<init>:(Lcom/oracle/graal/pointsto/flow/TypeFlow;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;)V
         1: .line 50
            aload 0 /* this */
            aload 1 /* original */
            getfield com.oracle.graal.pointsto.flow.FormalReturnTypeFlow.method:Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
            putfield com.oracle.graal.pointsto.flow.FormalReturnTypeFlow.method:Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
         2: .line 51
            return
        end local 2 // com.oracle.graal.pointsto.flow.MethodFlowsGraph methodFlows
        end local 1 // com.oracle.graal.pointsto.flow.FormalReturnTypeFlow original
        end local 0 // com.oracle.graal.pointsto.flow.FormalReturnTypeFlow this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    3     0         this  Lcom/oracle/graal/pointsto/flow/FormalReturnTypeFlow;
            0    3     1     original  Lcom/oracle/graal/pointsto/flow/FormalReturnTypeFlow;
            0    3     2  methodFlows  Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
    MethodParameters:
             Name  Flags
      original     
      methodFlows  

  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=4, locals=3, args_size=3
        start local 0 // com.oracle.graal.pointsto.flow.FormalReturnTypeFlow this
        start local 1 // com.oracle.graal.pointsto.BigBang bb
        start local 2 // com.oracle.graal.pointsto.flow.MethodFlowsGraph methodFlows
         0: .line 55
            new com.oracle.graal.pointsto.flow.FormalReturnTypeFlow
            dup
            aload 0 /* this */
            aload 2 /* methodFlows */
            invokespecial com.oracle.graal.pointsto.flow.FormalReturnTypeFlow.<init>:(Lcom/oracle/graal/pointsto/flow/FormalReturnTypeFlow;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;)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.flow.FormalReturnTypeFlow this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    1     0         this  Lcom/oracle/graal/pointsto/flow/FormalReturnTypeFlow;
            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 com.oracle.graal.pointsto.meta.AnalysisMethod method();
    descriptor: ()Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.graal.pointsto.flow.FormalReturnTypeFlow this
         0: .line 60
            aload 0 /* this */
            getfield com.oracle.graal.pointsto.flow.FormalReturnTypeFlow.method:Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
            areturn
        end local 0 // com.oracle.graal.pointsto.flow.FormalReturnTypeFlow this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/graal/pointsto/flow/FormalReturnTypeFlow;

  public java.lang.String toString();
    descriptor: ()Ljava/lang/String;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=1
        start local 0 // com.oracle.graal.pointsto.flow.FormalReturnTypeFlow this
         0: .line 65
            new java.lang.StringBuilder
            dup
            invokespecial java.lang.StringBuilder.<init>:()V
            astore 1 /* str */
        start local 1 // java.lang.StringBuilder str
         1: .line 66
            aload 1 /* str */
            ldc "FormalReturn<"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 0 /* this */
            invokevirtual com.oracle.graal.pointsto.flow.FormalReturnTypeFlow.getState:()Lcom/oracle/graal/pointsto/typestate/TypeState;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc ">"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            pop
         2: .line 67
            aload 1 /* str */
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            areturn
        end local 1 // java.lang.StringBuilder str
        end local 0 // com.oracle.graal.pointsto.flow.FormalReturnTypeFlow this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    3     0  this  Lcom/oracle/graal/pointsto/flow/FormalReturnTypeFlow;
            1    3     1   str  Ljava/lang/StringBuilder;
}
Signature: Lcom/oracle/graal/pointsto/flow/TypeFlow<Ljdk/vm/ci/code/BytecodePosition;>;
SourceFile: "FormalReturnTypeFlow.java"