DataflowAnalysis<FieldSet>
public class StoreAnalysis extends FieldSetAnalysis
Constructor | Description |
---|---|
StoreAnalysis(DepthFirstSearch dfs,
org.apache.bcel.generic.ConstantPoolGen cpg) |
Modifier and Type | Method | Description |
---|---|---|
protected void |
sawLoad(FieldSet fact,
XField field) |
|
protected void |
sawStore(FieldSet fact,
XField field) |
getFactAfterLocation, getFactAtLocation, transfer
edgeTransfer, factToString, finishIteration, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration
copy, createFact, getCPG, initEntryFact, isFactValid, isTop, makeFactTop, meetInto, same, transferInstruction
getBlockOrder, getDepthFirstSearch, isForwards
public StoreAnalysis(DepthFirstSearch dfs, org.apache.bcel.generic.ConstantPoolGen cpg)
protected void sawLoad(FieldSet fact, XField field)
sawLoad
in class FieldSetAnalysis
protected void sawStore(FieldSet fact, XField field)
sawStore
in class FieldSetAnalysis
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.