- c -

• callSites() : cz.muni.stanse.codestructures.CFGsNavigator , cz.muni.stanse.codestructures.InterproceduralCFGsNavigator , cz.muni.stanse.codestructures.IntraproceduralCFGsNavigator
• castExpression() : cz.muni.stanse.cparser.GNUCaParser
• CFG() : cz.muni.stanse.codestructures.CFG
• CFGBranchNode() : cz.muni.stanse.codestructures.CFGBranchNode
• CFGBreakNode() : cz.muni.stanse.codestructures.CFGBreakNode
• CFGEmitter() : cz.muni.stanse.cparser.CFGEmitter
• 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
• check() : cz.muni.stanse.checker.Checker , cz.muni.stanse.lockchecker.LockChecker , cz.muni.stanse.pointeranalyzer.PointerAnalyzer , cz.muni.stanse.threadchecker.ThreadChecker
• checkArgumentList() : 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
• 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
• checkerStart() : cz.muni.stanse.statistics.BasicEvaluationStatistic , cz.muni.stanse.statistics.DummyEvaluationStatistic , cz.muni.stanse.statistics.EvaluationStatistic
• CheckingFailed() : cz.muni.stanse.checker.CheckingFailed
• chooseAction() : cz.muni.stanse.threadchecker.CFGTransit
• clear() : 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
• ColumnMessageFormatter() : cz.muni.stanse.utils.msgformat.ColumnMessageFormatter
• compareTo() : cz.muni.stanse.checker.CheckerError
• compoundStatement() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.GNUCaParser , cz.muni.stanse.cparser.XMLEmitter
• conditionalExpression() : cz.muni.stanse.cparser.GNUCaParser
• conditionalJoinWith() : cz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocation , cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >
• Configuration() : cz.muni.stanse.configuration.Configuration
• ConfigurationCreator() : cz.muni.stanse.threadchecker.config.ConfigurationCreator
• constant() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.GNUCaParser , cz.muni.stanse.cparser.XMLEmitter
• constantExpression() : cz.muni.stanse.cparser.GNUCaParser
• contains() : cz.muni.stanse.threadchecker.locks.LockStack , cz.muni.stanse.threadchecker.locks.UnlockSet
• copy() : cz.muni.stanse.utils.StreamAlgo
• countVariables() : cz.muni.stanse.pointeranalyzer.shapirohorwitz.VariableCounter
• create() : cz.muni.stanse.cparser.StanseTreeAdaptor
• createDefaultCheckerConfiguration() : cz.muni.stanse.configuration.Configuration
• createDefaultSourceConfiguration() : cz.muni.stanse.configuration.Configuration
• createFromCFGPart() : cz.muni.stanse.codestructures.CFG
• createInterprocedural() : 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
• createIntraprocedural() : 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
• 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