DataflowAnalysis<DefinitelyNullSet>
public class DefinitelyNullSetAnalysis extends ForwardDataflowAnalysis<DefinitelyNullSet>
Constructor | Description |
---|---|
DefinitelyNullSetAnalysis(DepthFirstSearch dfs,
ValueNumberDataflow vnaDataflow,
CompactLocationNumbering compactLocationNumbering) |
Constructor.
|
Modifier and Type | Method | Description |
---|---|---|
void |
copy(DefinitelyNullSet source,
DefinitelyNullSet dest) |
Copy dataflow facts.
|
DefinitelyNullSet |
createFact() |
Create empty (uninitialized) dataflow facts for one program point.
|
void |
edgeTransfer(Edge edge,
DefinitelyNullSet fact) |
Edge transfer function.
|
void |
initEntryFact(DefinitelyNullSet result) |
Initialize the "entry" fact for the graph.
|
boolean |
isFactValid(DefinitelyNullSet fact) |
Determine whether the given fact is valid
(neither top nor bottom).
|
boolean |
isTop(DefinitelyNullSet fact) |
Is the given fact the top value.
|
void |
makeFactTop(DefinitelyNullSet fact) |
Make given fact the top value.
|
void |
meetInto(DefinitelyNullSet fact,
Edge edge,
DefinitelyNullSet result) |
Meet a dataflow fact associated with an incoming edge into another fact.
|
boolean |
same(DefinitelyNullSet fact1,
DefinitelyNullSet fact2) |
Are given dataflow facts the same?
|
void |
transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
DefinitelyNullSet fact) |
Transfer function for a single instruction.
|
getFactAfterLocation, getFactAtLocation, transfer
factToString, finishIteration, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration
getBlockOrder, getDepthFirstSearch, isForwards
public DefinitelyNullSetAnalysis(DepthFirstSearch dfs, ValueNumberDataflow vnaDataflow, CompactLocationNumbering compactLocationNumbering)
dfs
- DepthFirstSearch for the methodvnaDataflow
- value number dataflow for the methodcompactLocationNumbering
- CompactLocationNumbering for the methodpublic boolean isFactValid(DefinitelyNullSet fact)
AbstractDataflowAnalysis
isFactValid
in class AbstractDataflowAnalysis<DefinitelyNullSet>
public void transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, DefinitelyNullSet fact) throws DataflowAnalysisException
AbstractDataflowAnalysis
transferInstruction
in class AbstractDataflowAnalysis<DefinitelyNullSet>
handle
- the instructionbasicBlock
- the BasicBlock containing the instruction; needed to disambiguate
instructions in inlined JSR subroutinesfact
- which should be modified based on the instructionDataflowAnalysisException
public void edgeTransfer(Edge edge, DefinitelyNullSet fact) throws DataflowAnalysisException
DataflowAnalysis
A do-nothing implementation is legal, and appropriate for analyses where branches are not significant.
edgeTransfer
in interface DataflowAnalysis<DefinitelyNullSet>
edgeTransfer
in class BasicAbstractDataflowAnalysis<DefinitelyNullSet>
edge
- the Edgefact
- a dataflow factDataflowAnalysisException
public void copy(DefinitelyNullSet source, DefinitelyNullSet dest)
DataflowAnalysis
public DefinitelyNullSet createFact()
DataflowAnalysis
public void initEntryFact(DefinitelyNullSet result) throws DataflowAnalysisException
DataflowAnalysis
DataflowAnalysisException
public void makeFactTop(DefinitelyNullSet fact)
DataflowAnalysis
public boolean isTop(DefinitelyNullSet fact)
DataflowAnalysis
public void meetInto(DefinitelyNullSet fact, Edge edge, DefinitelyNullSet result) throws DataflowAnalysisException
DataflowAnalysis
fact
- the predecessor fact (incoming edge)edge
- the edge from the predecessorresult
- the result factDataflowAnalysisException
public boolean same(DefinitelyNullSet fact1, DefinitelyNullSet fact2)
DataflowAnalysis
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.