FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba
Class ReturnPathAnalysis

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<Fact>
      extended by edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<Fact>
          extended by edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis<ReturnPath>
              extended by edu.umd.cs.findbugs.ba.ReturnPathAnalysis
All Implemented Interfaces:
DataflowAnalysis<ReturnPath>, 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
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

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<ReturnPath>

copy

public void copy(ReturnPath source,
                 ReturnPath dest)
Description copied from interface: DataflowAnalysis
Copy dataflow facts.

Specified by:
copy in interface DataflowAnalysis<ReturnPath>

initEntryFact

public void initEntryFact(ReturnPath fact)
Description copied from interface: DataflowAnalysis
Initialize the "entry" fact for the graph.

Specified by:
initEntryFact in interface DataflowAnalysis<ReturnPath>

makeFactTop

public void makeFactTop(ReturnPath fact)
Description copied from interface: DataflowAnalysis
Make given fact the top value.

Specified by:
makeFactTop in interface DataflowAnalysis<ReturnPath>

isTop

public boolean isTop(ReturnPath fact)
Description copied from interface: DataflowAnalysis
Is the given fact the top value.

Specified by:
isTop in interface DataflowAnalysis<ReturnPath>

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<ReturnPath>

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<ReturnPath>
Parameters:
fact - the predecessor fact (incoming edge)
edge - the edge from the predecessor
result - the result fact
Throws:
DataflowAnalysisException

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.