cz::muni::stanse::threadchecker::config::ConfigurationCreator Class Reference

Collaboration diagram for cz::muni::stanse::threadchecker::config::ConfigurationCreator:

[legend]

List of all members.

Public Member Functions
	ConfigurationCreator (List< Element > configuration) throws DocumentException
void	findFunctions (Unit unit) throws DocumentException
void	writeDocument (Document document, String outputName) throws DocumentException

---

Detailed Description

Class creates configuration file.

Author:

Jan Kučera

---

Constructor & Destructor Documentation

cz::muni::stanse::threadchecker::config::ConfigurationCreator::ConfigurationCreator

(

List< Element >

configuration

)

throws DocumentException [inline]

---

Member Function Documentation

void cz::muni::stanse::threadchecker::config::ConfigurationCreator::findFunctions

(

Unit

unit

)

throws DocumentException [inline]

Store every function name of function which definition is in unit. Also for every function call in unit checks, whether matches with locking/thread patterns and write document to file.

Parameters:

unit

CUnit

Exceptions:

org.dom4j.DocumentException

void cz::muni::stanse::threadchecker::config::ConfigurationCreator::writeDocument	(	Document	document,
		String	outputName
	)			throws DocumentException [inline]

Method writes XML document to file specified in outputName

Parameters:

	document
	outputName

Exceptions:

org.dom4j.DocumentException

---

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

• src/cz/muni/stanse/threadchecker/config/ConfigurationCreator.java