Lines Matching defs:GRBugReporter
134 PathDiagnosticBuilder(GRBugReporter &br,
466 ProgramStateManager& VMgr = cast<GRBugReporter>(BR).getStateManager();
468 cast<GRBugReporter>(BR).getStateManager().iterBindings(N->getState(), H);
478 GRBugReporter& BR;
483 GRBugReporter& br, PathDiagnostic& pd)
1323 GRBugReporter::~GRBugReporter() { }
1326 ExplodedGraph &GRBugReporter::getGraph() { return Eng.getGraph(); }
1329 GRBugReporter::getStateManager() { return Eng.getStateManager(); }
1608 void GRBugReporter::GeneratePathDiagnostic(PathDiagnostic& PD,