Package edu.umd.cs.findbugs.ba

Class ReturnPathAnalysis

java.lang.Object

edu.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

All Implemented Interfaces:

DataflowAnalysis<Fact>, EdgeTypes

public class ReturnPathAnalysis
extends ForwardDataflowAnalysis<ReturnPath>
implements EdgeTypes

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

Constructors

Constructor	Description
ReturnPathAnalysis(DepthFirstSearch dfs)

Method Summary

Modifier and Type	Method	Description
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.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 edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis

getBlockOrder, getDepthFirstSearch, isForwards

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ReturnPathAnalysis

public ReturnPathAnalysis(DepthFirstSearch dfs)

Method Detail

createFact

public ReturnPath createFact()

Description copied from interface: DataflowAnalysis

Create empty (uninitialized) dataflow facts for one program point. A valid value will be copied into it before it is used.

Specified by:

createFact in interface DataflowAnalysis<Fact>

copy

public void copy(ReturnPath source,
                 ReturnPath dest)

Description copied from interface: DataflowAnalysis

Copy dataflow facts.

Specified by:

copy in interface DataflowAnalysis<Fact>

initEntryFact

public void initEntryFact(ReturnPath fact)

Description copied from interface: DataflowAnalysis

Initialize the "entry" fact for the graph.

Specified by:

initEntryFact in interface DataflowAnalysis<Fact>

makeFactTop

public void makeFactTop(ReturnPath fact)

Description copied from interface: DataflowAnalysis

Make given fact the top value.

Specified by:

makeFactTop in interface DataflowAnalysis<Fact>

isTop

public boolean isTop(ReturnPath fact)

Description copied from interface: DataflowAnalysis

Is the given fact the top value.

Specified by:

isTop in interface DataflowAnalysis<Fact>

same

public boolean same(ReturnPath fact1,
                    ReturnPath fact2)

Description copied from interface: DataflowAnalysis

Are given dataflow facts the same?

Specified by:

same in interface DataflowAnalysis<Fact>

transferInstruction

public void transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
                                BasicBlock basicBlock,
                                ReturnPath fact)
                         throws DataflowAnalysisException

Description copied from class: AbstractDataflowAnalysis

Transfer function for a single instruction.

Specified by:

transferInstruction in class AbstractDataflowAnalysis<ReturnPath>

Parameters:

handle - the instruction

basicBlock - the BasicBlock containing the instruction; needed to disambiguate instructions in inlined JSR subroutines

fact - which should be modified based on the instruction

Throws:

DataflowAnalysisException

isFactValid

public boolean isFactValid(ReturnPath fact)

Description copied from class: AbstractDataflowAnalysis

Determine whether the given fact is valid (neither top nor bottom).

Specified by:

isFactValid in class AbstractDataflowAnalysis<ReturnPath>

meetInto

public void meetInto(ReturnPath fact,
                     Edge edge,
                     ReturnPath result)
              throws DataflowAnalysisException

Description copied from interface: DataflowAnalysis

Meet a dataflow fact associated with an incoming edge into another fact. This is used to determine the start fact for a basic block.

Specified by:

meetInto in interface DataflowAnalysis<Fact>

Parameters:

fact - the predecessor fact (incoming edge)

edge - the edge from the predecessor

result - the result fact

Throws:

DataflowAnalysisException