#include <PathDiagnostic.h>
Public Member Functions | |
| PathDiagnosticEventPiece (const PathDiagnosticLocation &pos, StringRef s, bool addPosRange=true, StackHintGenerator *stackHint=0) | |
| ~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) |
Static Public Member Functions | |
| static bool | classof (const PathDiagnosticPiece *P) |
Detailed Description
Definition at line 408 of file PathDiagnostic.h.
Constructor & Destructor Documentation
| clang::ento::PathDiagnosticEventPiece::PathDiagnosticEventPiece | ( | const PathDiagnosticLocation & | pos, |
| StringRef | s, | ||
| bool | addPosRange = true, |
||
| StackHintGenerator * | stackHint = 0 |
||
| ) | [inline] |
Definition at line 418 of file PathDiagnostic.h.
| PathDiagnosticEventPiece::~PathDiagnosticEventPiece | ( | ) |
Definition at line 54 of file PathDiagnostic.cpp.
Member Function Documentation
| static bool clang::ento::PathDiagnosticEventPiece::classof | ( | const PathDiagnosticPiece * | P | ) | [inline, static] |
Reimplemented from clang::ento::PathDiagnosticPiece.
Definition at line 452 of file PathDiagnostic.h.
References clang::ento::PathDiagnosticPiece::Event, and clang::ento::PathDiagnosticPiece::getKind().
| 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 446 of file PathDiagnostic.h.
| bool clang::ento::PathDiagnosticEventPiece::hasCallStackHint | ( | ) | [inline] |
Definition at line 440 of file PathDiagnostic.h.
| bool clang::ento::PathDiagnosticEventPiece::isPrunable | ( | ) | const [inline] |
Return true if the diagnostic piece is prunable.
Definition at line 436 of file PathDiagnostic.h.
Referenced by 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 429 of file PathDiagnostic.h.
References isPrunable().
Referenced by clang::ento::ConditionBRVisitor::VisitTrueTest().
The documentation for this class was generated from the following files: