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

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

DFSCFGPrinter(CFG cfg, DepthFirstSearch dfs)

Method Summary

java.lang.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 Detail

DFSCFGPrinter

public DFSCFGPrinter(CFG cfg,
                     DepthFirstSearch dfs)

Method Detail

edgeAnnotate

public java.lang.String edgeAnnotate(Edge edge)

Overrides:

edgeAnnotate in class CFGPrinter