cz::muni::stanse::threadchecker::CheckerSettings Member List

This is the complete list of members for cz::muni::stanse::threadchecker::CheckerSettings, including all inherited members.

addAllCFGs()	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
addFunction(Function function, CFGHandle cfg)	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
addOnStack(CFGHandle cfg)	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
addThread(ThreadInfo thread)	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
clearData()	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
getCFG(String funcName)	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
getConfigDocument()	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
getFileName(final CFGHandle cfg)	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
getFunction(CFGHandle cfg)	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
getFunction(String functionName)	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
getFunctionList()	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
getInstance()	cz::muni::stanse::threadchecker::CheckerSettings	[inline, static]
getInternals()	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
getStartFunctions()	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
getThread(String name)	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
getThreads()	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
isGlobalAnalysisEnabled()	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
isOnStack(CFGHandle cfg)	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
removeFromOnStack(CFGHandle cfg)	cz::muni::stanse::threadchecker::CheckerSettings	[inline]
setConfigFile(File file)	cz::muni::stanse::threadchecker::CheckerSettings	[inline, package]
setInternals(final LazyInternalStructures internals)	cz::muni::stanse::threadchecker::CheckerSettings	[inline]