Stanse  -1
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.CheckerSettingsinline
addFunction(Function function, CFGHandle cfg)cz.muni.stanse.threadchecker.CheckerSettingsinline
addOnStack(CFGHandle cfg)cz.muni.stanse.threadchecker.CheckerSettingsinline
addThread(ThreadInfo thread)cz.muni.stanse.threadchecker.CheckerSettingsinline
clearData()cz.muni.stanse.threadchecker.CheckerSettingsinline
getCFG(String funcName)cz.muni.stanse.threadchecker.CheckerSettingsinline
getConfigDocument()cz.muni.stanse.threadchecker.CheckerSettingsinline
getFileName(final CFGHandle cfg)cz.muni.stanse.threadchecker.CheckerSettingsinline
getFunction(CFGHandle cfg)cz.muni.stanse.threadchecker.CheckerSettingsinline
getFunction(String functionName)cz.muni.stanse.threadchecker.CheckerSettingsinline
getFunctionList()cz.muni.stanse.threadchecker.CheckerSettingsinline
getInstance()cz.muni.stanse.threadchecker.CheckerSettingsinlinestatic
getInternals()cz.muni.stanse.threadchecker.CheckerSettingsinline
getStartFunctions()cz.muni.stanse.threadchecker.CheckerSettingsinline
getThread(String name)cz.muni.stanse.threadchecker.CheckerSettingsinline
getThreads()cz.muni.stanse.threadchecker.CheckerSettingsinline
isGlobalAnalysisEnabled()cz.muni.stanse.threadchecker.CheckerSettingsinline
isOnStack(CFGHandle cfg)cz.muni.stanse.threadchecker.CheckerSettingsinline
removeFromOnStack(CFGHandle cfg)cz.muni.stanse.threadchecker.CheckerSettingsinline
setInternals(final LazyInternalStructures internals)cz.muni.stanse.threadchecker.CheckerSettingsinline