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

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

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< ThreadInfogetThreads ()
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.
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]

file File containg user's settings
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.

funcName String name of function which should be returned as CFG
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

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.

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.

name the name of function to find
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.

function Function to add
cfg CFG of the function

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

Generated on Thu Jan 13 16:24:10 2011 for Stanse by  doxygen 1.5.6