Package edu.umd.cs.findbugs.ba

Class DFSCFGPrinter

java.lang.Object

edu.umd.cs.findbugs.ba.CFGPrinter

edu.umd.cs.findbugs.ba.DFSCFGPrinter

All Implemented Interfaces:

DFSEdgeTypes, DFSEdgeTypes

public class DFSCFGPrinter
extends CFGPrinter
implements DFSEdgeTypes

Field Summary

Fields inherited from interface edu.umd.cs.findbugs.graph.DFSEdgeTypes

BACK_EDGE, CROSS_EDGE, FORWARD_EDGE, TREE_EDGE, UNKNOWN_EDGE

Constructor Summary

Constructors

Constructor	Description
DFSCFGPrinter(CFG cfg, DepthFirstSearch dfs)

Method Summary

Modifier and Type	Method	Description
String	edgeAnnotate(Edge edge)

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

blockAnnotate, blockStartAnnotate, instructionAnnotate, instructionIterator, isForwards, print, setIsForwards

Methods inherited from class java.lang.Object

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

Constructor Details

DFSCFGPrinter

public DFSCFGPrinter(CFG cfg,
 DepthFirstSearch dfs)

Method Details

edgeAnnotate

public String edgeAnnotate(Edge edge)

Overrides:

edgeAnnotate in class CFGPrinter