Class DepthFirstSearch

java.lang.Object

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

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

edu.umd.cs.findbugs.ba.DepthFirstSearch

All Implemented Interfaces:

DFSEdgeTypes

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

Algorithm to perform a depth first search on a 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
DepthFirstSearch(CFG cfg)	Constructor.

Method Summary

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

Methods inherited from class DepthFirstSearch

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

DepthFirstSearch

public DepthFirstSearch(CFG cfg)

Constructor.

Parameters:

cfg - the CFG to perform the 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