cz::muni::stanse::threadchecker::debug::Utils Class Reference

Collaboration diagram for cz::muni::stanse::threadchecker::debug::Utils:

List of all members.

Static Public Member Functions

static void writeToDot (CFG cfg, String filename)
static void writeElement (Element Element, String outputName)
static void writeDocument (Document document, String outputName)
static void showGraph (CFGHandle cfg)
static void showGraph (Unit unit)
static void showDependencyGraphs (Set< DependencyGraph > graphs)
static void writeToDot (String todot, String filename)
static void setDebug (boolean debugMode)

Detailed Description

Jan Kučera

Member Function Documentation

static void cz::muni::stanse::threadchecker::debug::Utils::writeToDot ( CFG  cfg,
String  filename 
) [inline, static]

static void cz::muni::stanse::threadchecker::debug::Utils::writeElement ( Element  Element,
String  outputName 
) [inline, static]

Write XML Element with indent to file


static void cz::muni::stanse::threadchecker::debug::Utils::writeDocument ( Document  document,
String  outputName 
) [inline, static]

static void cz::muni::stanse::threadchecker::debug::Utils::showGraph ( CFGHandle  cfg  )  [inline, static]

static void cz::muni::stanse::threadchecker::debug::Utils::showGraph ( Unit  unit  )  [inline, static]

Function only picks all CFGs and generate their dot representation and show all cfgs in temporary GUI window

unit Unit object representing C file with functions

static void cz::muni::stanse::threadchecker::debug::Utils::showDependencyGraphs ( Set< DependencyGraph graphs  )  [inline, static]

Method accepts graphs, generate their's toDot representation and display image of those graphs to GraphView.


static void cz::muni::stanse::threadchecker::debug::Utils::writeToDot ( String  todot,
String  filename 
) [inline, static]

static void cz::muni::stanse::threadchecker::debug::Utils::setDebug ( boolean  debugMode  )  [inline, static]

The documentation for this class was generated from the following file:

Generated on Thu Jan 13 16:24:10 2011 for Stanse by  doxygen 1.5.6