#include <BugReporter.h>
Public Member Functions | |
| GRBugReporter (BugReporterData &d, ExprEngine &eng) | |
| virtual | ~GRBugReporter () |
| ExprEngine & | getEngine () |
| ExplodedGraph & | getGraph () |
| ProgramStateManager & | getStateManager () |
| virtual void | GeneratePathDiagnostic (PathDiagnostic &pathDiagnostic, SmallVectorImpl< BugReport * > &bugReports) |
Static Public Member Functions | |
| static bool | classof (const BugReporter *R) |
| classof - Used by isa<>, cast<>, and dyn_cast<>. | |
Detailed Description
Definition at line 389 of file BugReporter.h.
Constructor & Destructor Documentation
| clang::ento::GRBugReporter::GRBugReporter | ( | BugReporterData & | d, |
| ExprEngine & | eng | ||
| ) | [inline] |
Definition at line 392 of file BugReporter.h.
| GRBugReporter::~GRBugReporter | ( | ) | [virtual] |
Definition at line 1492 of file BugReporter.cpp.
Member Function Documentation
| static bool clang::ento::GRBugReporter::classof | ( | const BugReporter * | R | ) | [inline, static] |
classof - Used by isa<>, cast<>, and dyn_cast<>.
Reimplemented from clang::ento::BugReporter.
Definition at line 413 of file BugReporter.h.
References clang::ento::BugReporter::getKind(), and clang::ento::BugReporter::GRBugReporterKind.
| void GRBugReporter::GeneratePathDiagnostic | ( | PathDiagnostic & | pathDiagnostic, |
| SmallVectorImpl< BugReport * > & | bugReports | ||
| ) | [virtual] |
Reimplemented from clang::ento::BugReporter.
Definition at line 1779 of file BugReporter.cpp.
References clang::ento::PathDiagnosticConsumer::Extensive, GenerateExtensivePathDiagnostic(), GenerateMinimalPathDiagnostic(), clang::ento::PathDiagnostic::getActivePath(), clang::ento::BugReporterVisitor::getDefaultEndPath(), clang::ento::PathDiagnostic::getMutablePieces(), MakeReportGraph(), clang::ento::PathDiagnosticConsumer::Minimal, and RemoveUneededCalls().
| ExprEngine& clang::ento::GRBugReporter::getEngine | ( | ) | [inline] |
getEngine - Return the analysis engine used to analyze a given function or method.
Definition at line 399 of file BugReporter.h.
| ExplodedGraph& clang::ento::GRBugReporter::getGraph | ( | ) |
getGraph - Get the exploded graph created by the analysis engine for the analyzed method or function.
Referenced by clang::ento::BugReporterContext::getGraph().
| ProgramStateManager& clang::ento::GRBugReporter::getStateManager | ( | ) |
getStateManager - Return the state manager used by the analysis engine.
Referenced by clang::ento::BugReporterContext::getStateManager().
The documentation for this class was generated from the following files: