public class ConstantArrayAnalysis extends ForwardFlowAnalysis<Unit,ConstantArrayAnalysis.ArrayState>
| Modifier and Type | Class and Description |
|---|---|
class |
ConstantArrayAnalysis.ArrayState |
static class |
ConstantArrayAnalysis.ArrayTypes |
FlowAnalysis.FlowfilterUnitToAfterFlow, unitToAfterFlowfilterUnitToBeforeFlow, graph, unitToBeforeFlow| Constructor and Description |
|---|
ConstantArrayAnalysis(DirectedGraph<Unit> graph,
Body b) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
copy(ConstantArrayAnalysis.ArrayState source,
ConstantArrayAnalysis.ArrayState dest)
Creates a copy of the
source flow object in dest. |
protected void |
flowThrough(ConstantArrayAnalysis.ArrayState in,
Unit d,
ConstantArrayAnalysis.ArrayState out)
Given the merge of the
out sets, compute the in
set for s (or in to out, depending on direction). |
ConstantArrayAnalysis.ArrayTypes |
getArrayTypesBefore(Stmt s,
Local arrayLocal) |
boolean |
isConstantBefore(Stmt s,
Local arrayLocal) |
protected void |
merge(ConstantArrayAnalysis.ArrayState in1,
ConstantArrayAnalysis.ArrayState in2,
ConstantArrayAnalysis.ArrayState out)
Compute the merge of the
in1 and in2 sets, putting the result into out. |
protected ConstantArrayAnalysis.ArrayState |
newInitialFlow()
Returns the flow object corresponding to the initial values for
each graph node.
|
doAnalysis, isForwardgetFlow, getFlowAfter, getFlowBefore, omissibleentryInitialFlow, merge, mergeInto, treatTrapHandlersAsEntriespublic ConstantArrayAnalysis(DirectedGraph<Unit> graph, Body b)
protected void flowThrough(ConstantArrayAnalysis.ArrayState in, Unit d, ConstantArrayAnalysis.ArrayState out)
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,ConstantArrayAnalysis.ArrayState>in - the input flowd - the current nodeout - the returned flowprotected ConstantArrayAnalysis.ArrayState newInitialFlow()
AbstractFlowAnalysisnewInitialFlow in class AbstractFlowAnalysis<Unit,ConstantArrayAnalysis.ArrayState>protected void merge(ConstantArrayAnalysis.ArrayState in1, ConstantArrayAnalysis.ArrayState in2, ConstantArrayAnalysis.ArrayState 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,ConstantArrayAnalysis.ArrayState>protected void copy(ConstantArrayAnalysis.ArrayState source, ConstantArrayAnalysis.ArrayState dest)
AbstractFlowAnalysissource flow object in dest.copy in class AbstractFlowAnalysis<Unit,ConstantArrayAnalysis.ArrayState>public ConstantArrayAnalysis.ArrayTypes getArrayTypesBefore(Stmt s, Local arrayLocal)