final class com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow 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.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow
super_class: com.oracle.graal.pointsto.flow.AbstractSpecialInvokeTypeFlow
{
com.oracle.graal.pointsto.flow.MethodFlowsGraph calleeFlows;
descriptor: Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
flags: (0x0000)
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: 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$DefaultSpecialInvokeTypeFlow.$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 start local 1 start local 2 start local 3 start local 4 start local 5 start local 6 0: aload 0
aload 1
aload 2
aload 3
aload 4
aload 5
aload 6
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: aload 0
aconst_null
putfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.calleeFlows:Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
2: return
end local 6 end local 5 end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 this Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow;
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
private void <init>(com.oracle.graal.pointsto.BigBang, com.oracle.graal.pointsto.flow.MethodFlowsGraph, com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow);
descriptor: (Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow;)V
flags: (0x0002) ACC_PRIVATE
Code:
stack=4, locals=4, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 0
aload 1
aload 2
aload 3
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: aload 0
aconst_null
putfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.calleeFlows:Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
2: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 this Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow;
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$DefaultSpecialInvokeTypeFlow;
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 start local 1 start local 2 0: new com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow
dup
aload 1
aload 2
aload 0
invokespecial com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.<init>:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow;)V
areturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow;
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=3, args_size=2
start local 0 start local 1 0: getstatic com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.$assertionsDisabled:Z
ifne 1
aload 0
invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.isClone:()Z
ifne 1
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
1: StackMap locals:
StackMap stack:
aload 0
invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.initCallee:()V
2: aload 0
getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.calleeFlows:Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
ifnonnull 5
3: aload 0
aload 0
getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.callee:Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;
aload 1
aload 1
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
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;
putfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.calleeFlows:Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
4: aload 0
aload 1
iconst_0
aload 0
getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.calleeFlows:Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.linkCallee:(Lcom/oracle/graal/pointsto/BigBang;ZLcom/oracle/graal/pointsto/flow/MethodFlowsGraph;)V
5: StackMap locals:
StackMap stack:
aload 0
aload 1
aload 0
invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.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.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.filterReceiverState:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/typestate/TypeState;)Lcom/oracle/graal/pointsto/typestate/TypeState;
astore 2
start local 2 6: aload 0
aload 1
aload 0
getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.calleeFlows:Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
aload 2
invokevirtual com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.updateReceiver:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/typestate/TypeState;)V
7: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 8 0 this Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow;
0 8 1 bb Lcom/oracle/graal/pointsto/BigBang;
6 8 2 invokeState Lcom/oracle/graal/pointsto/typestate/TypeState;
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=2, locals=3, args_size=2
start local 0 start local 1 0: aload 0
getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.callee:Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;
ifnonnull 2
1: invokestatic java.util.Collections.emptyList:()Ljava/util/List;
areturn
2: StackMap locals:
StackMap stack:
aload 0
getfield com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow.callee:Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;
aload 1
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 2
start local 2 3: aload 2
invokestatic java.util.Collections.singletonList:(Ljava/lang/Object;)Ljava/util/List;
areturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lcom/oracle/graal/pointsto/DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow;
0 4 1 bb Lcom/oracle/graal/pointsto/BigBang;
3 4 2 methodFlows Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
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 final DefaultSpecialInvokeTypeFlow = com.oracle.graal.pointsto.DefaultAnalysisPolicy$DefaultSpecialInvokeTypeFlow of com.oracle.graal.pointsto.DefaultAnalysisPolicy