Class ReverseDepthFirstSearch

java.lang.Object

edu.umd.cs.findbugs.graph.AbstractDepthFirstSearch<CFG, Edge, BasicBlock>

edu.umd.cs.findbugs.graph.ReverseDepthFirstSearch<CFG, Edge, BasicBlock>

edu.umd.cs.findbugs.ba.ReverseDepthFirstSearch

All Implemented Interfaces:

DFSEdgeTypes

public class ReverseDepthFirstSearch
extends ReverseDepthFirstSearch<CFG, Edge, BasicBlock>

Algorithm to perform a reverse depth first search on a CFG. (I.e., depth first search on reversed CFG.)

See Also:

• CFG

Field Summary

Fields

Modifier and Type	Field	Description
private BasicBlock	firstRoot

Fields inherited from class AbstractDepthFirstSearch

BLACK, DEBUG, GRAY, WHITE

Fields inherited from interface DFSEdgeTypes

BACK_EDGE, CROSS_EDGE, FORWARD_EDGE, TREE_EDGE, UNKNOWN_EDGE

Constructor Summary

Constructors

Constructor	Description
ReverseDepthFirstSearch(CFG cfg)	Constructor.

Method Summary

Modifier and Type	Method	Description
protected BasicBlock	getNextSearchTreeRoot()	Choose the next search tree root.

Methods inherited from class ReverseDepthFirstSearch

getSource, getTarget, outgoingEdgeIterator

Methods inherited from class AbstractDepthFirstSearch

containsCycle, getColor, getDFSEdgeType, getDiscoveryTime, getFinishTime, getFinishTimeList, search, setSearchTreeCallback, setVertexChooser, topologicalSortIterator, unvisitedVertices, visitMe

Methods inherited from class Object

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

Field Details

firstRoot

private BasicBlock firstRoot

Constructor Details

ReverseDepthFirstSearch

public ReverseDepthFirstSearch(CFG cfg)

Constructor.

Parameters:

cfg - the CFG to perform the reverse depth first search on

Method Details

getNextSearchTreeRoot

protected BasicBlock getNextSearchTreeRoot()

Description copied from class: AbstractDepthFirstSearch

Choose the next search tree root. By default, this method just scans for a WHITE vertex. Subclasses may override this method in order to choose which vertices are used as search tree roots.

Overrides:

getNextSearchTreeRoot in class AbstractDepthFirstSearch<CFG, Edge, BasicBlock>

Returns:

the next search tree root