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

addAllCFGs()

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

addFunction()

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

addOnStack()

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

inline

addThread()

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

clearData()

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

getCFG()

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

getConfigDocument()

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

inline

getFileName()

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

inline

getFunction() [1/2]

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

inline

getFunction() [2/2]

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

inline

getFunctionList()

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

inline

getInstance()

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

inlinestatic

getInternals()

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

inline

getStartFunctions()

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

inline

getThread()

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.

getThreads()

Collection<ThreadInfo> cz.muni.stanse.threadchecker.CheckerSettings.getThreads ( )

inline

isGlobalAnalysisEnabled()

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

inline

isOnStack()

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

inline

removeFromOnStack()

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

inline

setInternals()

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