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

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

Author

Jan Kučera

Member Function Documentation

static void cz.muni.stanse.threadchecker.debug.Utils.setDebug ( boolean  debugMode )

inlinestatic

static void cz.muni.stanse.threadchecker.debug.Utils.showDependencyGraphs ( Set< DependencyGraph >  graphs )

inlinestatic

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

Parameters

graphs

static void cz.muni.stanse.threadchecker.debug.Utils.showGraph ( CFGHandle  cfg )

inlinestatic

static void cz.muni.stanse.threadchecker.debug.Utils.showGraph ( Unit  unit )

inlinestatic

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

Parameters

unit	Unit object representing C file with functions

Deprecated:

static void cz.muni.stanse.threadchecker.debug.Utils.writeDocument ( Document  document, String  outputName  )

inlinestatic

static void cz.muni.stanse.threadchecker.debug.Utils.writeElement ( Element  Element, String  outputName  )

inlinestatic

Write XML Element with indent to file

Parameters

Element
outputName

Deprecated:

static void cz.muni.stanse.threadchecker.debug.Utils.writeToDot ( CFG  cfg, String  filename  )

inlinestatic

static void cz.muni.stanse.threadchecker.debug.Utils.writeToDot ( String  todot, String  filename  )

inlinestatic

---

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

• src/cz/muni/stanse/threadchecker/debug/Utils.java