Searched defs:BugReporterContext (Results 1 – 5 of 5) sorted by relevance
112 Z3CrosscheckVisitor::VisitNode(const ExplodedNode *N, BugReporterContext &, in VisitNode() argument
240 [](BugReporterContext &, PathSensitiveBugReport &) -> std::string { in HandleBlockEdge() argument
353 PathDiagnosticPieceRef BugReporterVisitor::getEndPath(BugReporterContext &, in getEndPath() argument359 void BugReporterVisitor::finalizeVisitor(BugReporterContext &, in finalizeVisitor() argument1213 void finalizeVisitor(BugReporterContext &, const ExplodedNode *, in finalizeVisitor() argument
42 class BugReporterContext; variable539 PathDiagnosticPieceRef VisitNode(const ExplodedNode *, BugReporterContext &, in VisitNode() argument
722 BugReporterContext(PathSensitiveBugReporter &br) : BR(br) {} in BugReporterContext() function