cz::muni::stanse::threadchecker::CheckerSettings Class Reference

Collaboration diagram for cz::muni::stanse::threadchecker::CheckerSettings:

[legend]

List of all members.

Public Member Functions
List< String >	getStartFunctions ()
void	addOnStack (CFGHandle cfg)
void	removeFromOnStack (CFGHandle cfg)
boolean	isOnStack (CFGHandle cfg)
boolean	isGlobalAnalysisEnabled ()
final void	setInternals (final LazyInternalStructures internals)
final LazyInternalStructures	getInternals ()
final String	getFileName (final CFGHandle cfg)
Document	getConfigDocument ()
void	clearData ()
CFGHandle	getCFG (String funcName)
void	addAllCFGs ()
void	addThread (ThreadInfo thread)
ThreadInfo	getThread (String name)
Collection< ThreadInfo >	getThreads ()
Set< String >	getFunctionList ()
Function	getFunction (CFGHandle cfg)
Function	getFunction (String functionName)
void	addFunction (Function function, CFGHandle cfg)
Static Public Member Functions
static CheckerSettings	getInstance ()
Package Functions
void	setConfigFile (File file) throws DocumentException

---

Detailed Description

Singleton-stringType Class which holds every useful data required during analysis.

Author:

Jan Kučera

---

Member Function Documentation

List<String> cz::muni::stanse::threadchecker::CheckerSettings::getStartFunctions

(

)

[inline]

void cz::muni::stanse::threadchecker::CheckerSettings::addOnStack

(

CFGHandle

cfg

)

[inline]

void cz::muni::stanse::threadchecker::CheckerSettings::removeFromOnStack

(

CFGHandle

cfg

)

[inline]

boolean cz::muni::stanse::threadchecker::CheckerSettings::isOnStack

(

CFGHandle

cfg

)

[inline]

boolean cz::muni::stanse::threadchecker::CheckerSettings::isGlobalAnalysisEnabled

(

)

[inline]

final void cz::muni::stanse::threadchecker::CheckerSettings::setInternals

(

final LazyInternalStructures

internals

)

[inline]

final LazyInternalStructures cz::muni::stanse::threadchecker::CheckerSettings::getInternals

(

)

[inline]

final String cz::muni::stanse::threadchecker::CheckerSettings::getFileName

(

final CFGHandle

cfg

)

[inline]

void cz::muni::stanse::threadchecker::CheckerSettings::setConfigFile

(

File

file

)

throws DocumentException [inline, package]

Parameters:

file

File containg user's settings

Exceptions:

org.dom4j.DocumentException

when document contains wrong settings

Document cz::muni::stanse::threadchecker::CheckerSettings::getConfigDocument

(

)

[inline]

void cz::muni::stanse::threadchecker::CheckerSettings::clearData

(

)

[inline]

Method removes all threads, CFGs, units. If global analysis is enabled function states are stored to cachedFunctions

CFGHandle cz::muni::stanse::threadchecker::CheckerSettings::getCFG

(

String

funcName

)

[inline]

Function returns CFG related with funcname.

Parameters:

funcName

String name of function which should be returned as CFG

Returns:

CFG or null if funcName isn't in cfgs

void cz::muni::stanse::threadchecker::CheckerSettings::addAllCFGs

(

)

[inline]

Function picks all CFGs from unit and stores them by addCFG function

Parameters:

unit

Unit object representing C file with functions

static CheckerSettings cz::muni::stanse::threadchecker::CheckerSettings::getInstance

(

)

[inline, static]

void cz::muni::stanse::threadchecker::CheckerSettings::addThread

(

ThreadInfo

thread

)

[inline]

Function inserts new thread into thread Map by its function name.

Parameters:

thread

ThreadInfo representing thread run

ThreadInfo cz::muni::stanse::threadchecker::CheckerSettings::getThread

(

String

name

)

[inline]

Function tries to find thread which has function equal to name.

Parameters:

name

the name of function to find

Returns:

Thread or null if thread with this function isn't in yet.

Collection<ThreadInfo> cz::muni::stanse::threadchecker::CheckerSettings::getThreads

(

)

[inline]

Set<String> cz::muni::stanse::threadchecker::CheckerSettings::getFunctionList

(

)

[inline]

Function cz::muni::stanse::threadchecker::CheckerSettings::getFunction

(

CFGHandle

cfg

)

[inline]

Function cz::muni::stanse::threadchecker::CheckerSettings::getFunction

(

String

functionName

)

[inline]

void cz::muni::stanse::threadchecker::CheckerSettings::addFunction	(	Function	function,
		CFGHandle	cfg
	)			[inline]

Adds function to global Map of all functions.

Parameters:

	function	Function to add
	cfg	CFG of the function

---

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

• src/cz/muni/stanse/threadchecker/CheckerSettings.java