public class ForwardTypeQualifierDataflowAnalysis extends TypeQualifierDataflowAnalysis
cfg, cpg, typeQualifierValue, vnaDataflow, xmethod
Constructor and Description |
---|
ForwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs,
XMethod xmethod,
CFG cfg,
ValueNumberDataflow vnaDataflow,
org.apache.bcel.generic.ConstantPoolGen cpg,
TypeQualifierValue<?> typeQualifierValue)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
BlockOrder |
getBlockOrder(CFG cfg1)
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.
|
copy, createFact, edgeTransfer, getSourceSinkInfoSet, initEntryFact, isFactValid, isTop, makeFactTop, meetInto, registerSourceSink, same, transferInstruction
getFactAfterLocation, getFactAtLocation, transfer
factToString, finishIteration, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration
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 cfg1)
DataflowAnalysis
cfg1
- 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.