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

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