#include <PathDiagnostic.h>
Public Member Functions | |
| PathDiagnosticEventPiece (const PathDiagnosticLocation &pos, StringRef s, bool addPosRange=true, StackHintGenerator *stackHint=nullptr) | |
| ~PathDiagnosticEventPiece () | |
| void | setPrunable (bool isPrunable, bool override=false) |
| bool | isPrunable () const |
| Return true if the diagnostic piece is prunable. | |
| bool | hasCallStackHint () |
| std::string | getCallStackMessage (const ExplodedNode *N) |
| void | dump () const override |
Static Public Member Functions | |
| static bool | classof (const PathDiagnosticPiece *P) |
Detailed Description
Definition at line 498 of file PathDiagnostic.h.
Constructor & Destructor Documentation
| clang::ento::PathDiagnosticEventPiece::PathDiagnosticEventPiece | ( | const PathDiagnosticLocation & | pos, |
| StringRef | s, | ||
| bool | addPosRange = true, |
||
| StackHintGenerator * | stackHint = nullptr |
||
| ) | [inline] |
Definition at line 508 of file PathDiagnostic.h.
Definition at line 59 of file PathDiagnostic.cpp.
Member Function Documentation
| static bool clang::ento::PathDiagnosticEventPiece::classof | ( | const PathDiagnosticPiece * | P | ) | [inline, static] |
Reimplemented from clang::ento::PathDiagnosticSpotPiece.
Definition at line 542 of file PathDiagnostic.h.
References clang::ento::PathDiagnosticPiece::Event, and clang::ento::PathDiagnosticPiece::getKind().
| void PathDiagnosticEventPiece::dump | ( | ) | const [override, virtual] |
Implements clang::ento::PathDiagnosticPiece.
Definition at line 3513 of file BugReporter.cpp.
References clang::ento::PathDiagnosticLocation::dump(), and clang::ento::BugReport::getLocation().
| std::string clang::ento::PathDiagnosticEventPiece::getCallStackMessage | ( | const ExplodedNode * | N | ) | [inline] |
Produce the hint for the given node. The node contains information about the call for which the diagnostic can be generated.
Definition at line 534 of file PathDiagnostic.h.
Definition at line 530 of file PathDiagnostic.h.
| bool clang::ento::PathDiagnosticEventPiece::isPrunable | ( | ) | const [inline] |
Return true if the diagnostic piece is prunable.
Definition at line 526 of file PathDiagnostic.h.
Referenced by removeUnneededCalls(), and setPrunable().
| void clang::ento::PathDiagnosticEventPiece::setPrunable | ( | bool | isPrunable, |
| bool | override = false |
||
| ) | [inline] |
Mark the diagnostic piece as being potentially prunable. This flag may have been previously set, at which point it will not be reset unless one specifies to do so.
Definition at line 519 of file PathDiagnostic.h.
References isPrunable().
Referenced by GenerateAlternateExtensivePathDiagnostic(), GenerateExtensivePathDiagnostic(), and clang::ento::ConditionBRVisitor::VisitTrueTest().
The documentation for this class was generated from the following files: