com.oracle.graal.pointsto.flow

Class MethodFlowsGraph

java.lang.Object

com.oracle.graal.pointsto.flow.MethodFlowsGraph

public class MethodFlowsGraph
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected int	id
TypeFlow<?>[]	linearizedGraph

Constructor Summary

Constructors

Constructor and Description
MethodFlowsGraph(AnalysisMethod analysisMethod) Constructor for the 'original' method flows graph.
MethodFlowsGraph(AnalysisMethod method, AnalysisContext context)

Method Summary

Modifier and Type	Method and Description
void	addAllocation(NewInstanceTypeFlow allocation)
void	addClone(CloneTypeFlow clone)
void	addDynamicAllocation(DynamicNewInstanceTypeFlow allocation)
void	addFieldLoad(LoadFieldTypeFlow fieldLoad)
void	addIndexedLoad(OffsetLoadTypeFlow.LoadIndexedTypeFlow indexedLoad)
void	addMiscEntryFlow(TypeFlow<?> entryFlow)
void	addMonitorEntry(MonitorEnterTypeFlow monitorEntry)
void	addSource(SourceTypeFlow source)
List<MethodFlowsGraph>	callers(BigBang bb) Get the list of all context sensitive callers.
void	cloneOriginalFlows(BigBang bb)
AnalysisContext	context()
static boolean	crossMethodUse(TypeFlow<?> flow, TypeFlow<?> use)
boolean	equals(Object obj)
List<NewInstanceTypeFlow>	getAllocations()
List<CloneTypeFlow>	getClones()
List<DynamicNewInstanceTypeFlow>	getDynamicAllocations()
FormalReceiverTypeFlow	getFormalReceiver()
InitialParamTypeFlow	getInitialParameterFlow(int i)
TypeFlow<?>[]	getInitialParameterFlows()
Set<Map.Entry<Object,InstanceOfTypeFlow>>	getInstanceOfFlows()
InvokeTypeFlow	getInvoke(Object key)
Collection<InvokeTypeFlow>	getInvokeFlows()
Set<Map.Entry<Object,InvokeTypeFlow>>	getInvokes()
TypeFlow<?>[]	getLinearizeGraph()
AnalysisMethod	getMethod()
List<MonitorEnterTypeFlow>	getMonitorEntries()
FormalParamTypeFlow	getParameter(int idx)
TypeFlow<?>[]	getParameters()
FormalReturnTypeFlow	getResult()
int	hashCode()
int	id()
InvokeTypeFlow	invokeFlow(MethodFlowsGraph callerFlowGraph, BigBang bb) Given a context sensitive caller, i.e., another MethodFlowsGraph, identify the InvokeTypeFlow belonging to the caller that linked to this callee.
boolean	isLinearized()
void	linearizeGraph()
void	linkClones(BigBang bb)
<T extends TypeFlow<?>> T	lookupCloneOf(BigBang bb, T original)
static boolean	nonCloneableFlow(TypeFlow<?> flow)
void	setInitialParameterFlow(InitialParamTypeFlow initialParameterFlow, int i)
void	setParameter(int index, FormalParamTypeFlow parameter)
void	setResult(FormalReturnTypeFlow result)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

id

protected final int id

linearizedGraph

public TypeFlow<?>[] linearizedGraph

Constructor Detail

MethodFlowsGraph

public MethodFlowsGraph(AnalysisMethod analysisMethod)

Constructor for the 'original' method flows graph. This is used as a source for creating clones. It has a null context and null original method flows.

MethodFlowsGraph

public MethodFlowsGraph(AnalysisMethod method,
                        AnalysisContext context)

Method Detail

cloneOriginalFlows

public void cloneOriginalFlows(BigBang bb)

lookupCloneOf

public <T extends TypeFlow<?>> T lookupCloneOf(BigBang bb,
                                               T original)

linkClones

public void linkClones(BigBang bb)

nonCloneableFlow

public static boolean nonCloneableFlow(TypeFlow<?> flow)

crossMethodUse

public static boolean crossMethodUse(TypeFlow<?> flow,
                                     TypeFlow<?> use)

linearizeGraph

public void linearizeGraph()

getLinearizeGraph

public TypeFlow<?>[] getLinearizeGraph()

id

public int id()

context

public AnalysisContext context()

getMethod

public AnalysisMethod getMethod()

getFormalReceiver

public FormalReceiverTypeFlow getFormalReceiver()

setParameter

public void setParameter(int index,
                         FormalParamTypeFlow parameter)

getParameter

public FormalParamTypeFlow getParameter(int idx)

getParameters

public TypeFlow<?>[] getParameters()

setInitialParameterFlow

public void setInitialParameterFlow(InitialParamTypeFlow initialParameterFlow,
                                    int i)

getInitialParameterFlow

public InitialParamTypeFlow getInitialParameterFlow(int i)

getInitialParameterFlows

public TypeFlow<?>[] getInitialParameterFlows()

addAllocation

public void addAllocation(NewInstanceTypeFlow allocation)

getAllocations

public List<NewInstanceTypeFlow> getAllocations()

addDynamicAllocation

public void addDynamicAllocation(DynamicNewInstanceTypeFlow allocation)

getDynamicAllocations

public List<DynamicNewInstanceTypeFlow> getDynamicAllocations()

addMonitorEntry

public void addMonitorEntry(MonitorEnterTypeFlow monitorEntry)

getMonitorEntries

public List<MonitorEnterTypeFlow> getMonitorEntries()

addClone

public void addClone(CloneTypeFlow clone)

getClones

public List<CloneTypeFlow> getClones()

addSource

public void addSource(SourceTypeFlow source)

addMiscEntryFlow

public void addMiscEntryFlow(TypeFlow<?> entryFlow)

addFieldLoad

public void addFieldLoad(LoadFieldTypeFlow fieldLoad)

addIndexedLoad

public void addIndexedLoad(OffsetLoadTypeFlow.LoadIndexedTypeFlow indexedLoad)

setResult

public void setResult(FormalReturnTypeFlow result)

getResult

public FormalReturnTypeFlow getResult()

getInvokes

public Set<Map.Entry<Object,InvokeTypeFlow>> getInvokes()

getInvokeFlows

public Collection<InvokeTypeFlow> getInvokeFlows()

getInstanceOfFlows

public Set<Map.Entry<Object,InstanceOfTypeFlow>> getInstanceOfFlows()

getInvoke

public InvokeTypeFlow getInvoke(Object key)

isLinearized

public boolean isLinearized()

callers

public List<MethodFlowsGraph> callers(BigBang bb)

Get the list of all context sensitive callers.

Returns:

a list containing all the callers for the given context sensitive method

invokeFlow

public InvokeTypeFlow invokeFlow(MethodFlowsGraph callerFlowGraph,
                                 BigBang bb)

Given a context sensitive caller, i.e., another MethodFlowsGraph, identify the InvokeTypeFlow belonging to the caller that linked to this callee.

Parameters:

callerFlowGraph - the context sensitive caller.

Returns:

the InvokeTypeFlow object belonging to the caller that linked to this callee.

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object