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

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

[legend]

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

Author:

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

Parameters:

	Element
	outputName

Deprecated:

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

Parameters:

unit

Unit object representing C file with functions

Deprecated:

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.

Parameters:

graphs

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:

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