- generateDoubleErrors()
: cz::muni::stanse::lockchecker::Configuration
- generateErrors()
: cz::muni::stanse::lockchecker::CheckerErrorFilter
, cz::muni::stanse::lockchecker::ErrorGenerator
- generateGraph()
: cz::muni::stanse::threadchecker::FunctionState
- generateMoreLocksErrors()
: cz::muni::stanse::lockchecker::Configuration
- get()
: cz::muni::stanse::codestructures::traversal::ForwardCFGNodeFollowers
, cz::muni::stanse::lockchecker::Occurrences
, cz::muni::stanse::lockchecker::StateRepository
, cz::muni::stanse::codestructures::traversal::BackwardCFGNodeFollowers
, cz::muni::stanse::lockchecker::Summaries
, cz::muni::stanse::codestructures::traversal::CFGNodeFollowersInterprocedural
, cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationSet
, cz::muni::stanse::utils::ClassLocation
, cz::muni::stanse::codestructures::traversal::ForwardCFGNodeFollowersInterprocedural
, cz::muni::stanse::utils::ClassLocation
, cz::muni::stanse::codestructures::ElementCFGdictionary
, cz::muni::stanse::codestructures::traversal::BackwardCFGNodeFollowersInterprocedural
, cz::muni::stanse::utils::ClassURL
, cz::muni::stanse::lockchecker::CFGStates
, cz::muni::stanse::utils::ClassURL
, cz::muni::stanse::codestructures::traversal::CFGNodeFollowers
, cz::muni::stanse::lockchecker::Counter
, cz::muni::stanse::lockchecker::FunctionSummary
- getActiveFile()
: cz::muni::stanse::gui::OpenedSourceFilesManager
- getActualNode()
: cz::muni::stanse::threadchecker::Function
- getAllFiles()
: cz::muni::stanse::gui::OpenedSourceFilesManager
- getAllFunctionStateSummaries()
: cz::muni::stanse::lockchecker::Summaries
- getAllNodes()
: cz::muni::stanse::codestructures::CFGPart
, cz::muni::stanse::codestructures::CFGHandle
- getAllNodesOpt()
: cz::muni::stanse::codestructures::CFGPart
- getAllNodesReverse()
: cz::muni::stanse::codestructures::CFGHandle
, cz::muni::stanse::codestructures::CFGPart
- getAllStates()
: cz::muni::stanse::lockchecker::Occurrences
- getArgumentPassingManager()
: cz::muni::stanse::codestructures::LazyInternalStructures
- getArguments()
: cz::muni::stanse::configuration::source_enumeration::MakefileSourceEnumerator
, cz::muni::stanse::gui::SpecifySourceFilePathNameManager
, cz::muni::stanse::lockchecker::Util
- getAssertLocked()
: cz::muni::stanse::lockchecker::Configuration
- getAssertUnlocked()
: cz::muni::stanse::lockchecker::Configuration
- getAutomataIDs()
: cz::muni::stanse::automatonchecker::PatternLocationCreator
- getAutomatonDescription()
: cz::muni::stanse::automatonchecker::XMLAutomatonDefinition
- getAutomatonID()
: cz::muni::stanse::automatonchecker::AutomatonState
, cz::muni::stanse::automatonchecker::AutomatonStateContextItem
, cz::muni::stanse::automatonchecker::ErrorRule
, cz::muni::stanse::automatonchecker::TransitionRule
- getAutomatonName()
: cz::muni::stanse::automatonchecker::XMLAutomatonDefinition
- getAverage()
: cz::muni::stanse::statistics::PerfRecord
- getBackTrack()
: cz::muni::stanse::threadchecker::AbstractFunctionState
, cz::muni::stanse::threadchecker::graph::DependencyRule
- getBugDefaultImportance()
: cz::muni::stanse::automatonchecker::FalsePositivesDetector
- getBugImportance()
: cz::muni::stanse::automatonchecker::FalsePositivesDetector
- getBugs()
: cz::muni::stanse::gui::ErrorsTreeManager
, cz::muni::stanse::gui::MainWindow
- getBugsPercentage()
: cz::muni::stanse::statistics::MessagesStat
- getBugsToAllBugsPercentage()
: cz::muni::stanse::statistics::SectionedMessagesStat
- getBugsToAllTouchedPercentage()
: cz::muni::stanse::statistics::SectionedMessagesStat
- getCalleeEnd()
: cz::muni::stanse::automatonchecker::CallSiteCFGNavigator
, cz::muni::stanse::codestructures::CFGsNavigator
, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator
, cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator
- getCalleeNode()
: cz::muni::stanse::codestructures::traversal::CFGNodeFollowersInterprocedural
, cz::muni::stanse::codestructures::traversal::ForwardCFGNodeFollowersInterprocedural
, cz::muni::stanse::codestructures::traversal::BackwardCFGNodeFollowersInterprocedural
- getCalleeStart()
: cz::muni::stanse::automatonchecker::CallSiteCFGNavigator
, cz::muni::stanse::codestructures::CFGsNavigator
, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator
, cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator
- getCallersFromEnd()
: cz::muni::stanse::automatonchecker::CallSiteCFGNavigator
, cz::muni::stanse::codestructures::CFGsNavigator
, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator
, cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator
- getCallersFromStart()
: cz::muni::stanse::automatonchecker::CallSiteCFGNavigator
, cz::muni::stanse::codestructures::CFGsNavigator
, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator
, cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator
- getCallGraph()
: cz::muni::stanse::codestructures::LazyInternalStructures
- getCategory()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocation
- getCauseLocation()
: cz::muni::stanse::checker::CheckerError
, cz::muni::stanse::checker::CheckerErrorTrace
- getCfg()
: cz::muni::stanse::threadchecker::graph::CFGGraphState
- getCFG()
: cz::muni::stanse::codestructures::Unit
, cz::muni::stanse::threadchecker::CheckerSettings
- getCFGHandles()
: cz::muni::stanse::codestructures::LazyInternalStructures
, cz::muni::stanse::codestructures::Unit
, cz::muni::stanse::codestructures::UnitManager
, cz::muni::stanse::codestructures::UnitManagerLRU
- getCFGNode()
: cz::muni::stanse::automatonchecker::AutomatonState
, cz::muni::stanse::automatonchecker::AutomatonStateContextItem
- getCFGNodeID()
: cz::muni::stanse::threadchecker::locks::BackTrack
- getCFGreferenceNode()
: cz::muni::stanse::automatonchecker::PatternLocation
- getChecker()
: cz::muni::stanse::configuration::CheckerConfiguration
- getCheckerArgumentsList()
: cz::muni::stanse::configuration::CheckerConfiguration
- getCheckerClassName()
: cz::muni::stanse::configuration::CheckerConfiguration
- getCheckerConfiguration()
: cz::muni::stanse::CmdLineManager
- getCheckerConfigurations()
: cz::muni::stanse::configuration::Configuration
- getCheckerCreationInfo()
: cz::muni::stanse::automatonchecker::AutomatonCheckerCreator
, cz::muni::stanse::checker::CheckerCreator
, cz::muni::stanse::checker::CheckerFactory
, cz::muni::stanse::lockchecker::LockCheckerCreator
, cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator
, cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator
, cz::muni::stanse::threadchecker::ThreadCheckerCreator
- getCheckerFailures()
: cz::muni::stanse::statistics::BasicEvaluationStatistic
- getCheckerName()
: cz::muni::stanse::automatonchecker::AutomatonCheckerCreator
, cz::muni::stanse::checker::CheckerCreator
, cz::muni::stanse::checker::CheckerError
, cz::muni::stanse::gui::ChooseCheckerManager
, cz::muni::stanse::lockchecker::LockCheckerCreator
, cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator
, cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator
, cz::muni::stanse::threadchecker::ThreadCheckerCreator
- getCheckers()
: cz::muni::stanse::statistics::BasicEvaluationStatistic
- getCheckersConfiguration()
: cz::muni::stanse::gui::CheckersConfurationManager
- getCheckersConfurationManager()
: cz::muni::stanse::gui::ConfigurationDialog
- getCheckersPerfData()
: cz::muni::stanse::statistics::PerformanceData
- getChooseCheckerManager()
: cz::muni::stanse::gui::ChooseCheckerDialog
- getCode()
: cz::muni::stanse::codestructures::CFGNode
- getColumn()
: cz::muni::stanse::codestructures::CFGNode
, cz::muni::stanse::threadchecker::locks::BackTrack
- getColumnNumber()
: cz::muni::stanse::checker::CheckerErrorTraceLocation
- getColumnsFormatter()
: cz::muni::stanse::automatonchecker::AutomatonCheckerLogger
- getConfigDocument()
: cz::muni::stanse::threadchecker::CheckerSettings
- getConfiguration()
: cz::muni::stanse::gui::MainWindow
, cz::muni::stanse::Stanse
- getConsoleManager()
: cz::muni::stanse::gui::MainWindow
- getContext()
: cz::muni::stanse::automatonchecker::AutomatonState
, cz::muni::stanse::automatonchecker::AutomatonStateCFGcontextAlgo
- getContexts()
: cz::muni::stanse::automatonchecker::AutomatonStateCFGcontextAlgo
- getData()
: cz::muni::stanse::gui::JTreeAlgo
- getDataFilesExtensions()
: cz::muni::stanse::automatonchecker::AutomatonCheckerCreator
, cz::muni::stanse::checker::CheckerCreator
, cz::muni::stanse::checker::CheckerFactory
, cz::muni::stanse::lockchecker::LockCheckerCreator
, cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator
, cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator
, cz::muni::stanse::threadchecker::ThreadCheckerCreator
- getDeliveredAutomataStates()
: cz::muni::stanse::automatonchecker::PatternLocation
- getDependencyGraphs()
: cz::muni::stanse::threadchecker::ThreadInfo
- getDescription()
: cz::muni::stanse::checker::CheckerErrorTrace
, cz::muni::stanse::checker::CheckerErrorTraceLocation
, cz::muni::stanse::gui::FileChooserFileFilter
, cz::muni::stanse::threadchecker::locks::BackTrack
- getDetectors()
: cz::muni::stanse::automatonchecker::FalsePositivesDetectorFactory
- getDictionary()
: cz::muni::stanse::lockchecker::FunctionStateSummary
- getDotSource()
: cz::muni::stanse::threadchecker::debug::GraphViz
- getEdgeLabel()
: cz::muni::stanse::codestructures::CFGBranchNode
- getElement()
: cz::muni::stanse::codestructures::CFG
, cz::muni::stanse::codestructures::CFGHandle
, cz::muni::stanse::codestructures::CFGNode
, cz::muni::stanse::cparser::StanseTree
- getElementToCFGdictionary()
: cz::muni::stanse::codestructures::LazyInternalStructures
- getEndNode()
: cz::muni::stanse::codestructures::CFGHandle
, cz::muni::stanse::codestructures::CFGPart
- getErrHolder()
: cz::muni::stanse::lockchecker::FunctionStateSummary
- getError()
: cz::muni::stanse::lockchecker::CheckerErrorHolder
- getErrorBeginMessage()
: cz::muni::stanse::automatonchecker::ErrorRule
, cz::muni::stanse::automatonchecker::XMLErrorRule
- getErrorDescription()
: cz::muni::stanse::automatonchecker::ErrorRule
, cz::muni::stanse::automatonchecker::XMLErrorRule
- getErrorEndMessage()
: cz::muni::stanse::automatonchecker::ErrorRule
, cz::muni::stanse::automatonchecker::XMLErrorRule
- getErrorEntryMessage()
: cz::muni::stanse::automatonchecker::ErrorRule
, cz::muni::stanse::automatonchecker::XMLErrorRule
- getErrorLevel()
: cz::muni::stanse::automatonchecker::ErrorRule
, cz::muni::stanse::automatonchecker::XMLErrorRule
- getErrorLocation()
: cz::muni::stanse::checker::CheckerError
, cz::muni::stanse::checker::CheckerErrorTrace
- getErrorPropagMessage()
: cz::muni::stanse::automatonchecker::ErrorRule
, cz::muni::stanse::automatonchecker::XMLErrorRule
- getErrorRules()
: cz::muni::stanse::automatonchecker::PatternLocation
- getErrorsTreeManager()
: cz::muni::stanse::gui::MainWindow
- getErrorTracesList()
: cz::muni::stanse::automatonchecker::ErrorTracesListCreator
- getErrorTracingManager()
: cz::muni::stanse::gui::MainWindow
- getExitErrorRules()
: cz::muni::stanse::automatonchecker::XMLAutomatonDefinition
- getExprs()
: cz::muni::stanse::lockchecker::Configuration
- getExprValue()
: cz::muni::stanse::cparser::CFGEvaluator
- getExtension()
: cz::muni::stanse::utils::FileAlgo
- getFailMessage()
: cz::muni::stanse::automatonchecker::ErrorTracesListCreator
- getFailuresToAllFailuresPercentage()
: cz::muni::stanse::statistics::SectionedMessagesStat
- getFalsePositiveImportance()
: cz::muni::stanse::automatonchecker::FalsePositivesDetector
- getFalsePositives()
: cz::muni::stanse::gui::ErrorsTreeManager
, cz::muni::stanse::gui::MainWindow
- getFalsesPercentage()
: cz::muni::stanse::statistics::MessagesStat
- getFalsesToAllFalsesPercentage()
: cz::muni::stanse::statistics::SectionedMessagesStat
- getFalsesToAllTouchedPercentage()
: cz::muni::stanse::statistics::SectionedMessagesStat
- getFileName()
: cz::muni::stanse::threadchecker::CheckerSettings
, cz::muni::stanse::threadchecker::Function
- getFiles()
: cz::muni::stanse::gui::OpenedFilesAccessor
, cz::muni::stanse::statistics::BasicEvaluationStatistic
- getFilesPerfData()
: cz::muni::stanse::statistics::PerformanceData
- getFirst()
: cz::muni::stanse::utils::Pair< A, B >
, cz::muni::stanse::utils::Triple< A, B, C >
- getFromCache()
: cz::muni::stanse::lockchecker::FunctionSummary
- getFullDesc()
: cz::muni::stanse::checker::CheckerError
- getFunction()
: cz::muni::stanse::threadchecker::CheckerSettings
, cz::muni::stanse::threadchecker::ThreadInfo
- getFunctionList()
: cz::muni::stanse::threadchecker::CheckerSettings
- getFunctionMain()
: cz::muni::stanse::codestructures::LazyInternalStructures
- getFunctionName()
: cz::muni::stanse::codestructures::CFG
, cz::muni::stanse::codestructures::CFGHandle
, cz::muni::stanse::threadchecker::ThreadInfo
- getFunctionsOfName()
: cz::muni::stanse::codestructures::LazyInternalStructures
- getFunctionStates()
: cz::muni::stanse::threadchecker::Function
- getFunctionStateSummaries()
: cz::muni::stanse::lockchecker::FunctionSummary
- getGraph()
: cz::muni::stanse::threadchecker::debug::GraphViz
- getId()
: cz::muni::stanse::lockchecker::Lock
, cz::muni::stanse::threadchecker::ThreadInfo
- getIDsInElement()
: cz::muni::stanse::lockchecker::Util
- getIdToNode()
: cz::muni::stanse::threadchecker::graph::CFGGraphState
- getImportance()
: cz::muni::stanse::checker::CheckerError
- getInstance()
: cz::muni::stanse::gui::MainWindow
, cz::muni::stanse::Stanse
, cz::muni::stanse::threadchecker::CheckerSettings
, cz::muni::stanse::threadchecker::graph::DependencyCycleDetector
- getInternals()
: cz::muni::stanse::statistics::BasicEvaluationStatistic
, cz::muni::stanse::threadchecker::CheckerSettings
- getJoins()
: cz::muni::stanse::threadchecker::AbstractFunctionState
- getLambda()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::LocationPointerType
, cz::muni::stanse::pointeranalyzer::steensgaard::EvaluatedType
, cz::muni::stanse::pointeranalyzer::steensgaard::LocationPointerType
- getLastLock()
: cz::muni::stanse::threadchecker::locks::LockStack
- getLazySourceInternals()
: cz::muni::stanse::configuration::SourceConfiguration
- getLazySourceIntraproceduralInternals()
: cz::muni::stanse::configuration::SourceConfiguration
- getLine()
: cz::muni::stanse::threadchecker::locks::BackTrack
, cz::muni::stanse::codestructures::CFGNode
- getLineNumber()
: cz::muni::stanse::checker::CheckerErrorTraceLocation
- getLocationForCallNotPassedStates()
: cz::muni::stanse::automatonchecker::PatternLocation
- getLocations()
: cz::muni::stanse::checker::CheckerErrorTrace
- getLock()
: cz::muni::stanse::threadchecker::AbstractFunctionState
, cz::muni::stanse::threadchecker::locks::LockStack
, cz::muni::stanse::threadchecker::locks::UnlockSet
- getLockId()
: cz::muni::stanse::lockchecker::LockError
- getLocks()
: cz::muni::stanse::lockchecker::Configuration
, cz::muni::stanse::threadchecker::locks::LockStack
, cz::muni::stanse::threadchecker::locks::UnlockSet
- getLockStack()
: cz::muni::stanse::threadchecker::AbstractFunctionState
, cz::muni::stanse::threadchecker::graph::DependencyRule
, cz::muni::stanse::threadchecker::locks::JoinNode
- getMax()
: cz::muni::stanse::statistics::PerfRecord
- getMedian()
: cz::muni::stanse::statistics::PerfRecord
- getMin()
: cz::muni::stanse::statistics::PerfRecord
- getMonitor()
: cz::muni::stanse::automatonchecker::ErrorTracesListCreator
, cz::muni::stanse::threadchecker::ThreadChecker
- getName()
: cz::muni::stanse::reachabilitychecker::ReachabilityChecker
, cz::muni::stanse::threadchecker::Function
, cz::muni::stanse::threadchecker::graph::ProcessVertex
, cz::muni::stanse::threadchecker::graph::ResourceVertex
, cz::muni::stanse::threadchecker::graph::Vertex
, cz::muni::stanse::threadchecker::locks::Lock
, cz::muni::stanse::threadchecker::locks::SpinLock
, cz::muni::stanse::utils::xmlpatterns::XMLPattern
, cz::muni::stanse::threadchecker::ThreadChecker
, cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocation
, cz::muni::stanse::checker::Checker
, cz::muni::stanse::automatonchecker::AutomatonChecker
, cz::muni::stanse::codestructures::Unit
, cz::muni::stanse::lockchecker::LockChecker
, cz::muni::stanse::pointeranalyzer::PointerAnalyzer
- getNameForCheckerFactory()
: cz::muni::stanse::automatonchecker::AutomatonCheckerCreator
, cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator
, cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator
- getNavigator()
: cz::muni::stanse::codestructures::LazyInternalStructures
- getNext()
: cz::muni::stanse::codestructures::CFGNodeNumber
- getNode()
: cz::muni::stanse::lockchecker::LockError
- getNodeID()
: cz::muni::stanse::threadchecker::graph::ResourceVertex
- getNodeLocationDictionary()
: cz::muni::stanse::automatonchecker::PatternLocationCreator
- getNodeNumber()
: cz::muni::stanse::threadchecker::locks::Lock
, cz::muni::stanse::threadchecker::locks::SpinLock
- getNodeToCFGdictionary()
: cz::muni::stanse::codestructures::LazyInternalStructures
- getNumber()
: cz::muni::stanse::codestructures::CFGNode
- getNumberOfCategories()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::AndersenCategorizationProvider
, cz::muni::stanse::pointeranalyzer::shapirohorwitz::CategorizationProvider
, cz::muni::stanse::pointeranalyzer::shapirohorwitz::SteensgaardCategorizationProvider
- getNumBugs()
: cz::muni::stanse::statistics::MessagesStat
- getNumFailures()
: cz::muni::stanse::statistics::MessagesStat
- getNumFalses()
: cz::muni::stanse::statistics::MessagesStat
- getNumItems()
: cz::muni::stanse::statistics::PerfRecord
- getNumMsgs()
: cz::muni::stanse::statistics::MessagesStat
- getNumTabs()
: cz::muni::stanse::utils::msgformat::ColumnMessageFormatter
- getNumTouched()
: cz::muni::stanse::statistics::MessagesStat
- getNumUntouched()
: cz::muni::stanse::statistics::MessagesStat
- getOpenedSourceFilesManager()
: cz::muni::stanse::gui::MainWindow
- getOptPredecessors()
: cz::muni::stanse::codestructures::CFGNode
- getOptSuccessors()
: cz::muni::stanse::codestructures::CFGNode
- getOutputDir()
: cz::muni::stanse::CmdLineManager
- getOutputDirectory()
: cz::muni::stanse::Stanse
- getOutputState()
: cz::muni::stanse::lockchecker::FunctionStateSummary
- getParameterTypes()
: cz::muni::stanse::pointeranalyzer::steensgaard::FunctionPointerType
- getPatternName()
: cz::muni::stanse::automatonchecker::XMLTransitionRule
, cz::muni::stanse::automatonchecker::XMLErrorRule
- getPerCheckersPerfData()
: cz::muni::stanse::statistics::PerformanceData
- getPointsToSetOf()
: cz::muni::stanse::pointeranalyzer::PointsToAnalyzer
, cz::muni::stanse::pointeranalyzer::shapirohorwitz::TypeTable
, cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable
, cz::muni::stanse::pointeranalyzer::shapirohorwitz::ShapiroHorwitzAnalyzer
- getPrecachesPerfData()
: cz::muni::stanse::statistics::PerformanceData
- getPredecessors()
: cz::muni::stanse::codestructures::CFGNode
- getProcess()
: cz::muni::stanse::threadchecker::graph::Request
, cz::muni::stanse::threadchecker::graph::Assignment
, cz::muni::stanse::threadchecker::graph::Edge
- getProcessedAutomataStates()
: cz::muni::stanse::automatonchecker::PatternLocation
- getReachableNodes()
: cz::muni::stanse::threadchecker::graph::CFGGraphState
- getReferenceFile()
: cz::muni::stanse::configuration::source_enumeration::ReferencedSourceCodeFileEnumerator
- getRegisteredCheckers()
: cz::muni::stanse::checker::CheckerFactory
- getRenamedCFGState()
: cz::muni::stanse::lockchecker::State
- getRepos()
: cz::muni::stanse::lockchecker::Summaries
- getResource()
: cz::muni::stanse::threadchecker::graph::Request
, cz::muni::stanse::threadchecker::graph::Edge
, cz::muni::stanse::threadchecker::graph::Assignment
- getResourceNames()
: cz::muni::stanse::threadchecker::graph::Cycle
- getResources()
: cz::muni::stanse::threadchecker::graph::Cycle
- getReturnType()
: cz::muni::stanse::pointeranalyzer::steensgaard::FunctionPointerType
- getReturnValuePassingManager()
: cz::muni::stanse::codestructures::LazyInternalStructures
- getRoot()
: cz::muni::stanse::gui::JTreeAlgo
- getRootDirectory()
: cz::muni::stanse::Stanse
- getRules()
: cz::muni::stanse::threadchecker::AbstractFunctionState
, cz::muni::stanse::threadchecker::graph::DependencyGraph
, cz::muni::stanse::threadchecker::graph::Cycle
- getRulesBySourceNode()
: cz::muni::stanse::threadchecker::graph::Cycle
, cz::muni::stanse::threadchecker::AbstractFunctionState
- getRulesByTargetNode()
: cz::muni::stanse::threadchecker::graph::Cycle
, cz::muni::stanse::threadchecker::AbstractFunctionState
- getRulesByThread()
: cz::muni::stanse::threadchecker::graph::Cycle
- getScope()
: cz::muni::stanse::threadchecker::AbstractFunctionState
- getSearchSubdirectories()
: cz::muni::stanse::configuration::source_enumeration::DirectorySourceEnumerator
- getSecond()
: cz::muni::stanse::utils::Pair< A, B >
, cz::muni::stanse::utils::Triple< A, B, C >
- getSectionName()
: cz::muni::stanse::statistics::SectionedMessagesStat
- getSelection()
: cz::muni::stanse::gui::JTreeAlgo
- getShortDesc()
: cz::muni::stanse::checker::CheckerError
- getSimpleAutomataIDs()
: cz::muni::stanse::automatonchecker::ComposedAutomatonID
- getSkipOccurrences()
: cz::muni::stanse::lockchecker::Configuration
- getSource()
: cz::muni::stanse::threadchecker::graph::AbstractDependencyRule
- getSourceCodeFiles()
: cz::muni::stanse::configuration::source_enumeration::AllOpenedFilesEnumerator
, cz::muni::stanse::configuration::source_enumeration::MakefileSourceEnumerator
, cz::muni::stanse::gui::ActiveOpenedFileEnumerator
, cz::muni::stanse::configuration::source_enumeration::BatchFileEnumerator
, cz::muni::stanse::configuration::source_enumeration::DirectorySourceEnumerator
, cz::muni::stanse::configuration::source_enumeration::FileListEnumerator
, cz::muni::stanse::configuration::source_enumeration::SourceCodeFilesEnumerator
- getSourceConfiguration()
: cz::muni::stanse::configuration::Configuration
, cz::muni::stanse::gui::SourceConfigurationManager
, cz::muni::stanse::CmdLineManager
- getSourceConfigurationManager()
: cz::muni::stanse::gui::ConfigurationDialog
- getSourceEnumerator()
: cz::muni::stanse::configuration::SourceConfiguration
- getSourceFile()
: cz::muni::stanse::gui::SpecifySourceFilePathNameManager
- getSpecifySourceFilePathNameManager()
: cz::muni::stanse::gui::SourceConfigurationManager
- getStartFunctions()
: cz::muni::stanse::threadchecker::CheckerSettings
, cz::muni::stanse::codestructures::LazyInternalStructures
- getStartNode()
: cz::muni::stanse::codestructures::CFGPart
, cz::muni::stanse::codestructures::CFGHandle
, cz::muni::stanse::lockchecker::FunctionStateSummary
- getStartState()
: cz::muni::stanse::lockchecker::FunctionStateSummary
- getStartSymbol()
: cz::muni::stanse::automatonchecker::XMLAutomatonDefinition
- getState()
: cz::muni::stanse::threadchecker::locks::SpinLock
, cz::muni::stanse::threadchecker::locks::Lock
- getStats()
: cz::muni::stanse::statistics::ComposedSectionedMessagesStat
- getStatsDatabase()
: cz::muni::stanse::CmdLineManager
- getStatsMergeDirsRoot()
: cz::muni::stanse::CmdLineManager
- getStatsMergeOutputFile()
: cz::muni::stanse::CmdLineManager
- getStatsOrdering()
: cz::muni::stanse::CmdLineManager
- getStatsPerformanceOutputFile()
: cz::muni::stanse::CmdLineManager
- getStatsPerformanceOutputFormat()
: cz::muni::stanse::CmdLineManager
- getStatsReportsOutputFile()
: cz::muni::stanse::CmdLineManager
- getStatsReportsOutputFormat()
: cz::muni::stanse::CmdLineManager
- getString()
: cz::muni::stanse::statistics::TabbedStringStream
- getSuccessorPatternLocations()
: cz::muni::stanse::automatonchecker::PatternLocation
- getSuccessors()
: cz::muni::stanse::codestructures::CFGNode
- getSum()
: cz::muni::stanse::statistics::PerfRecord
- getSummaries()
: cz::muni::stanse::lockchecker::SummariesBuilder
- getSymbol()
: cz::muni::stanse::automatonchecker::AutomatonState
- getSymbols()
: cz::muni::stanse::codestructures::CFG
, cz::muni::stanse::codestructures::CFGHandle
- getTabPattern()
: cz::muni::stanse::utils::msgformat::ColumnMessageFormatter
- getTarget()
: cz::muni::stanse::threadchecker::graph::AbstractDependencyRule
- getTau()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::LocationPointerType
, cz::muni::stanse::pointeranalyzer::steensgaard::EvaluatedType
, cz::muni::stanse::pointeranalyzer::steensgaard::LocationPointerType
- getText()
: cz::muni::stanse::cparser::StanseErrorNode
- getThird()
: cz::muni::stanse::utils::Triple< A, B, C >
- getThread()
: cz::muni::stanse::threadchecker::graph::DependencyRule
, cz::muni::stanse::threadchecker::CheckerSettings
- getThreads()
: cz::muni::stanse::threadchecker::CheckerSettings
- getThreshold()
: cz::muni::stanse::lockchecker::Configuration
- getTimingFormatter()
: cz::muni::stanse::automatonchecker::AutomatonCheckerLogger
- getTotalImportance()
: cz::muni::stanse::automatonchecker::ErrorTracesListCreator
- getTouchedPercentage()
: cz::muni::stanse::statistics::MessagesStat
- getTraceImportance()
: cz::muni::stanse::automatonchecker::FPDNoreturnFunctions
, cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilter
, cz::muni::stanse::automatonchecker::FPDLockingElimHasUnlock
, cz::muni::stanse::automatonchecker::FalsePositivesDetector
, cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilter
, cz::muni::stanse::automatonchecker::FPDMemoryNestedCheckFilter
, cz::muni::stanse::automatonchecker::FPDConditionalPathsMismatch
, cz::muni::stanse::automatonchecker::FPDMemoryAssignedFilter
- getTraces()
: cz::muni::stanse::checker::CheckerError
- getTransferor()
: cz::muni::stanse::automatonchecker::PatternLocation
- getTransitionRules()
: cz::muni::stanse::automatonchecker::PatternLocation
- getType()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocation
, cz::muni::stanse::cparser::StanseErrorNode
, cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClass< T extends PointerType >
- getTypeOf()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::TypeTable
, cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable
, cz::muni::stanse::pointeranalyzer::shapirohorwitz::TypeTable
, cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable
, cz::muni::stanse::pointeranalyzer::shapirohorwitz::TypeTable
- getUIdesc()
: cz::muni::stanse::CmdLineManager
- getUnchecked()
: cz::muni::stanse::gui::ErrorsTreeManager
, cz::muni::stanse::gui::MainWindow
- getUnit()
: cz::muni::stanse::codestructures::CFGHandle
- getUnitFilename()
: cz::muni::stanse::threadchecker::locks::BackTrack
- getUnitManager()
: cz::muni::stanse::Stanse
- getUnitName()
: cz::muni::stanse::checker::CheckerErrorTraceLocation
, cz::muni::stanse::codestructures::UnitManager
, cz::muni::stanse::codestructures::UnitManagerLRU
- getUnits()
: cz::muni::stanse::codestructures::LazyInternalStructures
- getUnlocks()
: cz::muni::stanse::lockchecker::Configuration
- getUnlockSet()
: cz::muni::stanse::threadchecker::AbstractFunctionState
, cz::muni::stanse::threadchecker::locks::JoinNode
, cz::muni::stanse::threadchecker::graph::DependencyRule
- getVariable()
: cz::muni::stanse::lockchecker::CheckerErrorHolder
- getVarOccurrences()
: cz::muni::stanse::lockchecker::FunctionStateSummary
- getVarsAssignment()
: cz::muni::stanse::automatonchecker::SimpleAutomatonID
- getVarsMap()
: cz::muni::stanse::utils::xmlpatterns::XMLPatternVariablesAssignment
- getVerbosityLevel()
: cz::muni::stanse::CmdLineManager
- getVertex()
: cz::muni::stanse::threadchecker::locks::JoinNode
- getVisitedNodes()
: cz::muni::stanse::threadchecker::graph::CFGGraphState
- getXMLDocument()
: cz::muni::stanse::codestructures::Unit
, cz::muni::stanse::codestructures::UnitManager
, cz::muni::stanse::codestructures::UnitManagerLRU
- getXMLerrorRulesForPattern()
: cz::muni::stanse::automatonchecker::XMLAutomatonDefinition
- getXMLpatterns()
: cz::muni::stanse::automatonchecker::XMLAutomatonDefinition
- getXMLtransitionRulesForPattern()
: cz::muni::stanse::automatonchecker::XMLAutomatonDefinition
- getZStatsPairs()
: cz::muni::stanse::lockchecker::Occurrences
- gotoColumnInSelectedLine()
: cz::muni::stanse::gui::OpenedSourceFilesManager
- gotoFirstTraceLocation()
: cz::muni::stanse::gui::ErrorTracingManager
- gotoLastTraceLocation()
: cz::muni::stanse::gui::ErrorTracingManager
- gotoNextTraceLocation()
: cz::muni::stanse::gui::ErrorTracingManager
- gotoPreviousTraceLocation()
: cz::muni::stanse::gui::ErrorTracingManager
- GraphView()
: cz::muni::stanse::threadchecker::debug::GraphView
- GraphViz()
: cz::muni::stanse::threadchecker::debug::GraphViz
Generated on Thu Jan 13 16:24:08 2011 for Stanse by
1.5.6