cz.muni.stanse.threadchecker.CheckerSettings Class Reference

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 ()

Detailed Description

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

Author

Jan Kučera

Member Function Documentation

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

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

void cz.muni.stanse.threadchecker.CheckerSettings.addOnStack ( CFGHandle  cfg )

inline

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

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

Document cz.muni.stanse.threadchecker.CheckerSettings.getConfigDocument ( )

inline

final String cz.muni.stanse.threadchecker.CheckerSettings.getFileName ( final CFGHandle  cfg )

inline

Function cz.muni.stanse.threadchecker.CheckerSettings.getFunction ( CFGHandle  cfg )

inline

Function cz.muni.stanse.threadchecker.CheckerSettings.getFunction ( String  functionName )

inline

Set<String> cz.muni.stanse.threadchecker.CheckerSettings.getFunctionList ( )

inline

static CheckerSettings cz.muni.stanse.threadchecker.CheckerSettings.getInstance ( )

inlinestatic

final LazyInternalStructures cz.muni.stanse.threadchecker.CheckerSettings.getInternals ( )

inline

List<String> cz.muni.stanse.threadchecker.CheckerSettings.getStartFunctions ( )

inline

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

boolean cz.muni.stanse.threadchecker.CheckerSettings.isGlobalAnalysisEnabled ( )

inline

boolean cz.muni.stanse.threadchecker.CheckerSettings.isOnStack ( CFGHandle  cfg )

inline

void cz.muni.stanse.threadchecker.CheckerSettings.removeFromOnStack ( CFGHandle  cfg )

inline

final void cz.muni.stanse.threadchecker.CheckerSettings.setInternals ( final LazyInternalStructures  internals )

inline

---

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

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