public class PurityIntraproceduralAnalysis extends ForwardFlowAnalysis<Unit,PurityGraphBox>
AbstractInterproceduralAnalysis object so that the
intraprocedural part can resolve the effect of method calls.FlowAnalysis.FlowfilterUnitToAfterFlow, unitToAfterFlowfilterUnitToBeforeFlow, graph, unitToBeforeFlow| Modifier and Type | Method and Description |
|---|---|
protected void |
copy(PurityGraphBox source,
PurityGraphBox dest)
Creates a copy of the
source flow object in dest. |
void |
copyResult(PurityGraphBox dst)
Put into dst the purity graph obtained by merging all purity graphs at
the method return.
|
void |
drawAsOneDot(java.lang.String prefix,
java.lang.String name)
Draw the result of the intra-procedural analysis as one big dot file,
named className.methodName.dot, containing one purity graph for each
statement in the method.
|
protected PurityGraphBox |
entryInitialFlow()
Returns the initial flow value for entry/exit graph nodes.
|
protected void |
flowThrough(PurityGraphBox inValue,
Unit unit,
PurityGraphBox outValue)
Given the merge of the
out sets, compute the in
set for s (or in to out, depending on direction). |
protected void |
merge(PurityGraphBox in1,
PurityGraphBox in2,
PurityGraphBox out)
Compute the merge of the
in1 and in2 sets, putting the result into out. |
protected PurityGraphBox |
newInitialFlow()
Returns the flow object corresponding to the initial values for
each graph node.
|
doAnalysis, isForwardgetFlow, getFlowAfter, getFlowBefore, omissiblemerge, mergeInto, treatTrapHandlersAsEntriesprotected PurityGraphBox newInitialFlow()
AbstractFlowAnalysisnewInitialFlow in class AbstractFlowAnalysis<Unit,PurityGraphBox>protected PurityGraphBox entryInitialFlow()
AbstractFlowAnalysisAbstractFlowAnalysis.newInitialFlow()entryInitialFlow in class AbstractFlowAnalysis<Unit,PurityGraphBox>protected void merge(PurityGraphBox in1, PurityGraphBox in2, PurityGraphBox out)
AbstractFlowAnalysisin1 and in2 sets, putting the result into out.
The behavior of this function depends on the implementation ( it may be necessary to check whether
in1 and in2 are equal or aliased ).
Used by the doAnalysis method.merge in class AbstractFlowAnalysis<Unit,PurityGraphBox>protected void copy(PurityGraphBox source, PurityGraphBox dest)
AbstractFlowAnalysissource flow object in dest.copy in class AbstractFlowAnalysis<Unit,PurityGraphBox>protected void flowThrough(PurityGraphBox inValue, Unit unit, PurityGraphBox outValue)
FlowAnalysisout sets, compute the in
set for s (or in to out, depending on direction).
This function often causes confusion, because the same interface is used
for both forward and backward flow analyses. The first parameter is
always the argument to the flow function (i.e. it is the "in" set in a
forward analysis and the "out" set in a backward analysis), and the third
parameter is always the result of the flow function (i.e. it is the "out"
set in a forward analysis and the "in" set in a backward analysis).flowThrough in class FlowAnalysis<Unit,PurityGraphBox>inValue - the input flowunit - the current nodeoutValue - the returned flowpublic void drawAsOneDot(java.lang.String prefix,
java.lang.String name)
prefix - name - public void copyResult(PurityGraphBox dst)
dst -