- indexOfOptSucc()
: cz::muni::stanse::codestructures::CFGNode
- indexOfSucc()
: cz::muni::stanse::codestructures::CFGNode
- info()
: cz::muni::stanse::utils::ClassLogger
- infoMode()
: cz::muni::stanse::CmdLineManager
- insert()
: cz::muni::stanse::codestructures::traversal::CFGTraversationContainer< T >
, cz::muni::stanse::codestructures::traversal::CFGTraversationQueue< T >
, cz::muni::stanse::codestructures::traversal::CFGTraversationStack< T >
- internalsEnd()
: cz::muni::stanse::statistics::BasicEvaluationStatistic
, cz::muni::stanse::statistics::DummyEvaluationStatistic
, cz::muni::stanse::statistics::EvaluationStatistic
- internalsStart()
: cz::muni::stanse::statistics::BasicEvaluationStatistic
, cz::muni::stanse::statistics::DummyEvaluationStatistic
, cz::muni::stanse::statistics::EvaluationStatistic
- InterproceduralCFGsNavigator()
: cz::muni::stanse::codestructures::InterproceduralCFGsNavigator
- interrupt()
: cz::muni::stanse::utils::msgformat::TimedMessageSequenceFormatter
- IntraproceduralCFGsNavigator()
: cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator
- InvalidPointerOperationException()
: cz::muni::stanse::pointeranalyzer::InvalidPointerOperationException
- isApplicable()
: cz::muni::stanse::automatonchecker::FalsePositivesDetectorCreator
, cz::muni::stanse::automatonchecker::FPDConditionalPathsMismatchCreator
, cz::muni::stanse::automatonchecker::FPDLockingElimHasUnlockCreator
, cz::muni::stanse::automatonchecker::FPDMemoryAssignedFilterCreator
, cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilterCreator
, cz::muni::stanse::automatonchecker::FPDMemoryNestedCheckFilterCreator
, cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilterCreator
, cz::muni::stanse::automatonchecker::FPDNoreturnFunctionsCreator
- isCallNode()
: cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator
, cz::muni::stanse::codestructures::traversal::CFGNodeFollowersInterprocedural
, cz::muni::stanse::codestructures::traversal::ForwardCFGNodeFollowersInterprocedural
, cz::muni::stanse::codestructures::traversal::BackwardCFGNodeFollowersInterprocedural
, cz::muni::stanse::automatonchecker::CallSiteCFGNavigator
, cz::muni::stanse::automatonchecker::CallSiteDetector
, cz::muni::stanse::codestructures::CFGsNavigator
, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator
- isConstructive()
: cz::muni::stanse::utils::xmlpatterns::XMLPattern
- isContextLocation()
: cz::muni::stanse::checker::CheckerErrorTraceLocation
- isEmpty()
: cz::muni::stanse::codestructures::CFGPart
, cz::muni::stanse::codestructures::traversal::CFGTraversationContainer< T >
, cz::muni::stanse::codestructures::traversal::CFGTraversationQueue< T >
, cz::muni::stanse::codestructures::traversal::CFGTraversationStack< T >
, cz::muni::stanse::threadchecker::AbstractFunctionState
, cz::muni::stanse::threadchecker::locks::LockStack
, cz::muni::stanse::threadchecker::locks::UnlockSet
- isEndNode()
: cz::muni::stanse::codestructures::InterproceduralCFGsNavigator
, cz::muni::stanse::automatonchecker::CallSiteCFGNavigator
, cz::muni::stanse::codestructures::CFGsNavigator
, cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator
- isEqualWith()
: cz::muni::stanse::utils::xmlpatterns::XMLPatternVariablesAssignment
, cz::muni::stanse::automatonchecker::ComposedAutomatonID
, cz::muni::stanse::checker::CheckerErrorTraceLocation
, cz::muni::stanse::automatonchecker::AutomatonState
, cz::muni::stanse::automatonchecker::AutomatonStateContextItem
, cz::muni::stanse::automatonchecker::SimpleAutomatonID
, cz::muni::stanse::checker::CheckerError
, cz::muni::stanse::checker::CheckerErrorTrace
, cz::muni::stanse::utils::Pair< A, B >
, cz::muni::stanse::utils::Triple< A, B, C >
, cz::muni::stanse::utils::xmlpatterns::XMLPattern
- isExitRule()
: cz::muni::stanse::automatonchecker::XMLErrorRule
, cz::muni::stanse::automatonchecker::ErrorRule
- isGlobal()
: cz::muni::stanse::automatonchecker::SimpleAutomatonID
- isGlobalAnalysisEnabled()
: cz::muni::stanse::threadchecker::CheckerSettings
- isIdentityPass()
: cz::muni::stanse::codestructures::ArgumentPassingManager
, cz::muni::stanse::codestructures::ReturnValuePassingManager
- isInterprocedural()
: cz::muni::stanse::gui::ChooseCheckerManager
, cz::muni::stanse::configuration::CheckerConfiguration
- isLocked()
: cz::muni::stanse::lockchecker::Lock
- isNil()
: cz::muni::stanse::cparser::StanseErrorNode
- isOnlyPossible()
: cz::muni::stanse::lockchecker::LockError
- isOnStack()
: cz::muni::stanse::threadchecker::CheckerSettings
- isReturnNode()
: cz::muni::stanse::codestructures::traversal::BackwardCFGNodeFollowersInterprocedural
, cz::muni::stanse::codestructures::traversal::CFGNodeFollowersInterprocedural
, cz::muni::stanse::codestructures::traversal::ForwardCFGNodeFollowersInterprocedural
- isRunning()
: cz::muni::stanse::gui::MainWindow
- isSomethingSelected()
: cz::muni::stanse::gui::JTreeAlgo
- isStartNode()
: cz::muni::stanse::codestructures::IntraproceduralCFGsNavigator
, cz::muni::stanse::codestructures::CFGsNavigator
, cz::muni::stanse::codestructures::InterproceduralCFGsNavigator
, cz::muni::stanse::automatonchecker::CallSiteCFGNavigator
- isSubset()
: cz::muni::stanse::threadchecker::FunctionState
, cz::muni::stanse::threadchecker::graph::DependencyGraph
- isSymbolLocal()
: cz::muni::stanse::codestructures::CFGHandle
, cz::muni::stanse::codestructures::CFG
- isUnlock()
: cz::muni::stanse::lockchecker::LockError
- isUnlocked()
: cz::muni::stanse::lockchecker::State
, cz::muni::stanse::lockchecker::Lock
- iterator()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationSet
Generated on Thu Jan 13 16:24:08 2011 for Stanse by
1.5.6