- d -

• declaration() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.GNUCaParser , cz.muni.stanse.cparser.XMLEmitter
• declarationOrFnDef() : cz.muni.stanse.cparser.GNUCaParser
• declarationSpecifiers() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.GNUCaParser , cz.muni.stanse.cparser.XMLEmitter
• declarationSuffix() : cz.muni.stanse.cparser.GNUCaParser
• declarator() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.GNUCaParser , cz.muni.stanse.cparser.XMLEmitter
• DependencyGraph() : cz.muni.stanse.threadchecker.graph.DependencyGraph
• DependencyRule() : cz.muni.stanse.threadchecker.graph.DependencyRule
• dereference() : cz.muni.stanse.pointeranalyzer.shapirohorwitz.LocationPointerType , cz.muni.stanse.pointeranalyzer.steensgaard.EvaluatedType
• designation() : cz.muni.stanse.cparser.GNUCaParser
• designationInitializer() : cz.muni.stanse.cparser.GNUCaParser
• designator() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.GNUCaParser , cz.muni.stanse.cparser.XMLEmitter
• detect() : cz.muni.stanse.threadchecker.graph.DependencyCycleDetector
• detectCycles() : cz.muni.stanse.threadchecker.graph.CFGGraphState
• detectDeadlock() : cz.muni.stanse.threadchecker.graph.RAG
• directAbstractDeclarator() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.GNUCaParser , cz.muni.stanse.cparser.XMLEmitter
• directDeclarator() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.GNUCaParser , cz.muni.stanse.cparser.XMLEmitter
• directDeclarator1() : cz.muni.stanse.cparser.CFGEmitter , cz.muni.stanse.cparser.XMLEmitter
• DirectorySourceEnumerator() : cz.muni.stanse.configuration.source_enumeration.DirectorySourceEnumerator
• drop() : cz.muni.stanse.codestructures.CFGHandle , cz.muni.stanse.codestructures.CFGNode , cz.muni.stanse.codestructures.CFGPart , cz.muni.stanse.codestructures.Unit , cz.muni.stanse.cparser.CUnit
• dump() : cz.muni.stanse.checker.CheckerError , cz.muni.stanse.checker.CheckerErrorTrace , cz.muni.stanse.codestructures.LinearCode
• dumpAST() : cz.muni.stanse.Stanse
• dumpCallGraph() : cz.muni.stanse.Stanse
• dumpCFG() : cz.muni.stanse.Stanse
• dupNode() : cz.muni.stanse.cparser.StanseTree