Searched defs:BugReporterContext (Results 1 – 5 of 5) sorted by relevance
138 Z3CrosscheckVisitor::VisitNode(const ExplodedNode *N, BugReporterContext &, in VisitNode() argument
275 [](BugReporterContext &, PathSensitiveBugReport &) -> std::string { in HandleBlockEdge() argument
349 PathDiagnosticPieceRef BugReporterVisitor::getEndPath(BugReporterContext &, in getEndPath() argument355 void BugReporterVisitor::finalizeVisitor(BugReporterContext &, in finalizeVisitor() argument1120 void finalizeVisitor(BugReporterContext &, const ExplodedNode *, in finalizeVisitor() argument
42 class BugReporterContext; variable539 PathDiagnosticPieceRef VisitNode(const ExplodedNode *, BugReporterContext &, in VisitNode() argument
727 BugReporterContext(PathSensitiveBugReporter &br) : BR(br) {} in BugReporterContext() function