- CallSiteCFGNavigator()
: cz::muni::stanse::automatonchecker::CallSiteCFGNavigator
- CallSiteDetector()
: cz::muni::stanse::automatonchecker::CallSiteDetector
- callSites()
: cz::muni::stanse::automatonchecker::CallSiteDetector
, cz::muni::stanse::codestructures::CFGsNavigator
, cz::muni::stanse::automatonchecker::CallSiteCFGNavigator
, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator
, cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator
- canPush()
: cz::muni::stanse::automatonchecker::AutomatonStateContextAlgo
- CFGBranchNode()
: cz::muni::stanse::codestructures::CFGBranchNode
- CFGBreakNode()
: cz::muni::stanse::codestructures::CFGBreakNode
- CFGGraphState()
: cz::muni::stanse::threadchecker::graph::CFGGraphState
- CFGHandle()
: cz::muni::stanse::codestructures::CFGHandle
- CFGJoinNode()
: cz::muni::stanse::codestructures::CFGJoinNode
- CFGNode()
: cz::muni::stanse::codestructures::CFGNode
- CFGStates()
: cz::muni::stanse::lockchecker::CFGStates
- CFGTraversationQueue()
: cz::muni::stanse::codestructures::traversal::CFGTraversationQueue< T >
- CFGTraversationStack()
: cz::muni::stanse::codestructures::traversal::CFGTraversationStack< T >
- changeVarsOccurrence()
: cz::muni::stanse::lockchecker::FunctionStateSummary
- check()
: cz::muni::stanse::automatonchecker::AutomatonChecker
, cz::muni::stanse::checker::Checker
, cz::muni::stanse::lockchecker::LockChecker
, cz::muni::stanse::pointeranalyzer::PointerAnalyzer
, cz::muni::stanse::reachabilitychecker::ReachabilityChecker
, cz::muni::stanse::threadchecker::ThreadChecker
- checkArgumentList()
: cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator
, cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator
, cz::muni::stanse::threadchecker::ThreadCheckerCreator
, cz::muni::stanse::automatonchecker::AutomatonCheckerCreator
, cz::muni::stanse::checker::CheckerCreator
, cz::muni::stanse::checker::CheckerFactory
, cz::muni::stanse::lockchecker::LockCheckerCreator
- checkDoubles()
: cz::muni::stanse::lockchecker::State
- CheckerConfiguration()
: cz::muni::stanse::configuration::CheckerConfiguration
- checkerEnd()
: cz::muni::stanse::statistics::BasicEvaluationStatistic
, cz::muni::stanse::statistics::DummyEvaluationStatistic
, cz::muni::stanse::statistics::EvaluationStatistic
- CheckerError()
: cz::muni::stanse::checker::CheckerError
- CheckerErrorTrace()
: cz::muni::stanse::checker::CheckerErrorTrace
- CheckerErrorTraceLocation()
: cz::muni::stanse::checker::CheckerErrorTraceLocation
- CheckerException()
: cz::muni::stanse::checker::CheckerException
- CheckersConfurationManager()
: cz::muni::stanse::gui::CheckersConfurationManager
- checkerStart()
: cz::muni::stanse::statistics::BasicEvaluationStatistic
, cz::muni::stanse::statistics::DummyEvaluationStatistic
, cz::muni::stanse::statistics::EvaluationStatistic
- checkForError()
: cz::muni::stanse::automatonchecker::ErrorRule
, cz::muni::stanse::automatonchecker::XMLErrorRule
- CheckingFailed()
: cz::muni::stanse::checker::CheckingFailed
- chooseAction()
: cz::muni::stanse::threadchecker::CFGTransit
- ChooseCheckerDialog()
: cz::muni::stanse::gui::ChooseCheckerDialog
- ChooseCheckerManager()
: cz::muni::stanse::gui::ChooseCheckerManager
- clear()
: cz::muni::stanse::gui::ConsoleManager
, cz::muni::stanse::gui::ErrorsTreeManager
, cz::muni::stanse::gui::JTreeAlgo
, cz::muni::stanse::threadchecker::locks::LockStack
, cz::muni::stanse::threadchecker::locks::UnlockSet
- clearData()
: cz::muni::stanse::threadchecker::CheckerSettings
- clone()
: cz::muni::stanse::threadchecker::Function
, cz::muni::stanse::threadchecker::FunctionState
, cz::muni::stanse::threadchecker::graph::DependencyRule
, cz::muni::stanse::threadchecker::locks::JoinNode
, cz::muni::stanse::threadchecker::locks::Lock
, cz::muni::stanse::threadchecker::locks::LockStack
, cz::muni::stanse::threadchecker::locks::SpinLock
, cz::muni::stanse::threadchecker::locks::UnlockSet
- closeActiveFile()
: cz::muni::stanse::gui::OpenedSourceFilesManager
- closeAllFiles()
: cz::muni::stanse::gui::OpenedSourceFilesManager
- CmdLineManager()
: cz::muni::stanse::CmdLineManager
- ColumnMessageFormatter()
: cz::muni::stanse::utils::msgformat::ColumnMessageFormatter
- compareTo()
: cz::muni::stanse::checker::CheckerError
- ComposedAutomatonID()
: cz::muni::stanse::automatonchecker::ComposedAutomatonID
- ComposedSectionedMessagesStat()
: cz::muni::stanse::statistics::ComposedSectionedMessagesStat
- conditionalJoinWith()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocation
, cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClass< T extends PointerType >
- Configuration()
: cz::muni::stanse::configuration::Configuration
, cz::muni::stanse::lockchecker::Configuration
, cz::muni::stanse::configuration::Configuration
- ConfigurationCreator()
: cz::muni::stanse::threadchecker::config::ConfigurationCreator
- ConfigurationDialog()
: cz::muni::stanse::gui::ConfigurationDialog
- connect()
: cz::muni::stanse::cparser::ExprEvaluator
- ConnectPatternLocationToSuccessors()
: cz::muni::stanse::automatonchecker::ConnectPatternLocationToSuccessors
- ConsoleManager()
: cz::muni::stanse::gui::ConsoleManager
- contains()
: cz::muni::stanse::threadchecker::locks::UnlockSet
, cz::muni::stanse::lockchecker::CallStack
, cz::muni::stanse::lockchecker::State
, cz::muni::stanse::threadchecker::locks::LockStack
, cz::muni::stanse::threadchecker::locks::UnlockSet
- copy()
: cz::muni::stanse::automatonchecker::AutomatonStateContextAlgo
, cz::muni::stanse::utils::StreamAlgo
- Counter()
: cz::muni::stanse::lockchecker::Counter
- countFlows()
: cz::muni::stanse::lockchecker::Configuration
- countFunctions()
: cz::muni::stanse::lockchecker::Configuration
- countPairs()
: cz::muni::stanse::lockchecker::Configuration
- countSubvars()
: cz::muni::stanse::lockchecker::Configuration
- countVariables()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::VariableCounter
- create()
: cz::muni::stanse::automatonchecker::FPDNoreturnFunctionsCreator
, cz::muni::stanse::automatonchecker::FPDConditionalPathsMismatchCreator
, cz::muni::stanse::automatonchecker::FPDLockingElimHasUnlockCreator
, cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilterCreator
, cz::muni::stanse::automatonchecker::FalsePositivesDetectorCreator
, cz::muni::stanse::automatonchecker::FPDMemoryAssignedFilterCreator
, cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilterCreator
, cz::muni::stanse::cparser::StanseTreeAdaptor
, cz::muni::stanse::automatonchecker::FPDMemoryNestedCheckFilterCreator
- createDefaultCheckerConfiguration()
: cz::muni::stanse::configuration::Configuration
- createDefaultSourceConfiguration()
: cz::muni::stanse::configuration::Configuration
- createFromCFGPart()
: cz::muni::stanse::codestructures::CFG
- createInterprocedural()
: cz::muni::stanse::threadchecker::ThreadCheckerCreator
, cz::muni::stanse::checker::CheckerCreator
, cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator
, cz::muni::stanse::lockchecker::LockCheckerCreator
, cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator
, cz::muni::stanse::checker::CheckerFactory
, cz::muni::stanse::automatonchecker::AutomatonCheckerCreator
- createIntraprocedural()
: cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator
, cz::muni::stanse::threadchecker::ThreadCheckerCreator
, cz::muni::stanse::lockchecker::LockCheckerCreator
, cz::muni::stanse::automatonchecker::AutomatonCheckerCreator
, cz::muni::stanse::checker::CheckerCreator
, cz::muni::stanse::checker::CheckerFactory
, cz::muni::stanse::pointeranalyzer::PointerAnalyzerCreator
- createRefBottomBottom()
: cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClass< T extends PointerType >
- createVariable()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocation
- CUnit()
: cz::muni::stanse::cparser::CUnit
- Cycle()
: cz::muni::stanse::threadchecker::graph::Cycle
- CycleException()
: cz::muni::stanse::threadchecker::exceptions::CycleException
Generated on Thu Jan 13 16:24:08 2011 for Stanse by
1.5.6