Searched defs:ExplodedNode (Results 1 – 10 of 10) sorted by relevance
38 class ExplodedNode; variable235 std::shared_ptr<PathDiagnosticPiece> VisitNode(const ExplodedNode *, in VisitNode()
27 class ExplodedNode; variable
60 class ExplodedNode; variable
56 class ExplodedNode; variable
36 class ExplodedNode; variable
136 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state, in ExplodedNode() function
85 friend class ExplodedNode; variable
46 class ExplodedNode; variable
189 const ExplodedNode *, BugReport &) { in getEndPath()195 const ExplodedNode *, BugReport &) {} in finalizeVisitor()1015 void finalizeVisitor(BugReporterContext &, const ExplodedNode *, in finalizeVisitor()
3001 auto Noop = [](const ExplodedNode*){}; in getNodeAttributes()3035 [&](const ExplodedNode *) { Out << "\\l--------\\l"; }, in getNodeLabel()3036 [&](const ExplodedNode *) { return false; }); in getNodeLabel()