DataflowAnalysis<Fact>
public class ForwardTypeQualifierDataflowAnalysis extends TypeQualifierDataflowAnalysis
cfg, cpg, typeQualifierValue, vnaDataflow, xmethod
Constructor | Description |
---|---|
ForwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs,
XMethod xmethod,
CFG cfg,
ValueNumberDataflow vnaDataflow,
org.apache.bcel.generic.ConstantPoolGen cpg,
TypeQualifierValue typeQualifierValue) |
Constructor.
|
Modifier and Type | Method | Description |
---|---|---|
BlockOrder |
getBlockOrder(CFG cfg) |
Return the BlockOrder specifying the order in which BasicBlocks
should be visited in the main dataflow loop.
|
boolean |
isForwards() |
Returns true if the analysis is forwards, false if backwards.
|
protected void |
propagateAcrossPhiNode(TypeQualifierValueSet fact,
ValueNumber sourceVN,
ValueNumber targetVN) |
|
void |
registerSourceSinkLocations() |
This method must be called before the dataflow analysis
is executed.
|
getFactAfterLocation, getFactAtLocation, transfer
factToString, finishIteration, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
copy, createFact, edgeTransfer, getSourceSinkInfoSet, initEntryFact, isFactValid, isTop, makeFactTop, meetInto, registerSourceSink, same, transferInstruction
public ForwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue typeQualifierValue)
dfs
- DepthFirstSearch on the analyzed methodxmethod
- XMethod for the analyzed methodcfg
- CFG of the analyzed methodvnaDataflow
- ValueNumberDataflow on the analyzed methodcpg
- ConstantPoolGen of the analyzed methodtypeQualifierValue
- TypeQualifierValue representing type qualifier the analysis should checkpublic BlockOrder getBlockOrder(CFG cfg)
DataflowAnalysis
cfg
- the CFG upon which we're performing dataflow analysispublic boolean isForwards()
DataflowAnalysis
public void registerSourceSinkLocations() throws DataflowAnalysisException
TypeQualifierDataflowAnalysis
registerSourceSinkLocations
in class TypeQualifierDataflowAnalysis
DataflowAnalysisException
protected void propagateAcrossPhiNode(TypeQualifierValueSet fact, ValueNumber sourceVN, ValueNumber targetVN)
propagateAcrossPhiNode
in class TypeQualifierDataflowAnalysis
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.