|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<Fact>
edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<Fact>
edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis<ReturnPath>
edu.umd.cs.findbugs.ba.ReturnPathAnalysis
public class ReturnPathAnalysis
Field Summary |
---|
Fields inherited from interface edu.umd.cs.findbugs.ba.EdgeTypes |
---|
BACKEDGE_SOURCE_EDGE, BACKEDGE_TARGET_EDGE, CHECKED_EXCEPTIONS_FLAG, EXIT_EDGE, EXPLICIT_EXCEPTIONS_FLAG, FALL_THROUGH_EDGE, GOTO_EDGE, HANDLED_EXCEPTION_EDGE, IFCMP_EDGE, JSR_EDGE, RET_EDGE, RETURN_EDGE, START_EDGE, SWITCH_DEFAULT_EDGE, SWITCH_EDGE, UNHANDLED_EXCEPTION_EDGE, UNKNOWN_EDGE |
Constructor Summary | |
---|---|
ReturnPathAnalysis(DepthFirstSearch dfs)
|
Method Summary | |
---|---|
void |
copy(ReturnPath source,
ReturnPath dest)
Copy dataflow facts. |
ReturnPath |
createFact()
Create empty (uninitialized) dataflow facts for one program point. |
void |
initEntryFact(ReturnPath fact)
Initialize the "entry" fact for the graph. |
boolean |
isFactValid(ReturnPath fact)
Determine whether the given fact is valid (neither top nor bottom). |
boolean |
isTop(ReturnPath fact)
Is the given fact the top value. |
void |
makeFactTop(ReturnPath fact)
Make given fact the top value. |
void |
meetInto(ReturnPath fact,
Edge edge,
ReturnPath result)
Meet a dataflow fact associated with an incoming edge into another fact. |
boolean |
same(ReturnPath fact1,
ReturnPath fact2)
Are given dataflow facts the same? |
void |
transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
ReturnPath fact)
Transfer function for a single instruction. |
Methods inherited from class edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis |
---|
getBlockOrder, getDepthFirstSearch, isForwards |
Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis |
---|
getFactAfterLocation, getFactAtLocation, transfer |
Methods inherited from class edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis |
---|
edgeTransfer, factToString, finishIteration, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ReturnPathAnalysis(DepthFirstSearch dfs)
Method Detail |
---|
public ReturnPath createFact()
DataflowAnalysis
createFact
in interface DataflowAnalysis<ReturnPath>
public void copy(ReturnPath source, ReturnPath dest)
DataflowAnalysis
copy
in interface DataflowAnalysis<ReturnPath>
public void initEntryFact(ReturnPath fact)
DataflowAnalysis
initEntryFact
in interface DataflowAnalysis<ReturnPath>
public void makeFactTop(ReturnPath fact)
DataflowAnalysis
makeFactTop
in interface DataflowAnalysis<ReturnPath>
public boolean isTop(ReturnPath fact)
DataflowAnalysis
isTop
in interface DataflowAnalysis<ReturnPath>
public boolean same(ReturnPath fact1, ReturnPath fact2)
DataflowAnalysis
same
in interface DataflowAnalysis<ReturnPath>
public void transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ReturnPath fact) throws DataflowAnalysisException
AbstractDataflowAnalysis
transferInstruction
in class AbstractDataflowAnalysis<ReturnPath>
handle
- the instructionbasicBlock
- the BasicBlock containing the instruction; needed to disambiguate
instructions in inlined JSR subroutinesfact
- which should be modified based on the instruction
DataflowAnalysisException
public boolean isFactValid(ReturnPath fact)
AbstractDataflowAnalysis
isFactValid
in class AbstractDataflowAnalysis<ReturnPath>
public void meetInto(ReturnPath fact, Edge edge, ReturnPath result) throws DataflowAnalysisException
DataflowAnalysis
meetInto
in interface DataflowAnalysis<ReturnPath>
fact
- the predecessor fact (incoming edge)edge
- the edge from the predecessorresult
- the result fact
DataflowAnalysisException
|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |