Package edu.umd.cs.findbugs.ba

Class ReverseDFSOrder

java.lang.Object

edu.umd.cs.findbugs.ba.AbstractBlockOrder

edu.umd.cs.findbugs.ba.ReverseDFSOrder

All Implemented Interfaces:

BlockOrder

public class ReverseDFSOrder
extends AbstractBlockOrder

A BlockOrder for visiting the blocks of a CFG in the order they would be visited in a depth first search of the reversed CFG. This is the most efficient visitation order for backwards dataflow analyses.

See Also:

• BlockOrder
• ReverseDepthFirstSearch
• CFG
• BasicBlock

Field Summary

Fields

Modifier and Type	Field	Description
final DepthFirstSearch	dfs
final ReverseDepthFirstSearch	rdfs

Constructor Summary

Constructors

Constructor	Description
ReverseDFSOrder(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)	Constructor.

Method Summary

Methods inherited from class edu.umd.cs.findbugs.ba.AbstractBlockOrder

blockIterator, compare

Methods inherited from class java.lang.Object

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

Field Details

rdfs

public final ReverseDepthFirstSearch rdfs

dfs

public final DepthFirstSearch dfs

Constructor Details

ReverseDFSOrder

public ReverseDFSOrder(CFG cfg,
 ReverseDepthFirstSearch rdfs,
 DepthFirstSearch dfs)

Constructor.

Parameters:

cfg - the CFG

rdfs - the ReverseDepthFirstSearch of the CFG

dfs - TODO