public class MethodFlowsGraphClone extends MethodFlowsGraph
id, instanceOfFlows, invokeFlows, isLinearized, linearizedGraph, method, miscEntryFlows, nodeFlows, nonUniqueBcis, parameters, returnFlow, sealed| Constructor and Description |
|---|
MethodFlowsGraphClone(PointsToAnalysisMethod method,
AnalysisContext context) |
| Modifier and Type | Method and Description |
|---|---|
void |
cloneOriginalFlows(PointsToAnalysis bb) |
AnalysisContext |
context() |
static boolean |
crossMethodUse(TypeFlow<?> flow,
TypeFlow<?> use) |
void |
init(PointsToAnalysis bb) |
void |
linkClones(PointsToAnalysis bb) |
<T extends TypeFlow<?>> |
lookupCloneOf(PointsToAnalysis bb,
T original) |
static boolean |
nonCloneableFlow(TypeFlow<?> flow) |
String |
toString() |
addMiscEntryFlow, addNodeFlow, addNodeFlow, callers, ensureLinearized, flows, flowsIterator, getFormalReceiver, getInstanceOfFlows, getInvokes, getLinearizedGraph, getMethod, getMiscFlows, getNodeFlows, getParameter, getParameters, getReturnFlow, id, invokeFlow, isLinearized, nonMethodFlow, setParameter, setReturnFlowpublic MethodFlowsGraphClone(PointsToAnalysisMethod method, AnalysisContext context)
public AnalysisContext context()
public void cloneOriginalFlows(PointsToAnalysis bb)
public void init(PointsToAnalysis bb)
init in class MethodFlowsGraphpublic <T extends TypeFlow<?>> T lookupCloneOf(PointsToAnalysis bb, T original)
lookupCloneOf in class MethodFlowsGraphpublic void linkClones(PointsToAnalysis bb)
public static boolean nonCloneableFlow(TypeFlow<?> flow)
public String toString()
toString in class MethodFlowsGraph