Interface for classes constructing Stack hints. More...
#include <PathDiagnostic.h>
Inheritance diagram for clang::ento::StackHintGenerator:
Public Member Functions | |
| virtual | ~StackHintGenerator ()=0 |
| virtual std::string | getMessage (const ExplodedNode *N)=0 |
| Construct the Diagnostic message for the given ExplodedNode. | |
Detailed Description
Interface for classes constructing Stack hints.
If a PathDiagnosticEvent occurs in a different frame than the final diagnostic the hints can be used to summarize the effect of the call.
Definition at line 460 of file PathDiagnostic.h.
Constructor & Destructor Documentation
| StackHintGenerator::~StackHintGenerator | ( | ) | [pure virtual] |
Definition at line 1120 of file PathDiagnostic.cpp.
Member Function Documentation
| virtual std::string clang::ento::StackHintGenerator::getMessage | ( | const ExplodedNode * | N | ) | [pure virtual] |
Construct the Diagnostic message for the given ExplodedNode.
Implemented in clang::ento::StackHintGeneratorForSymbol.
The documentation for this class was generated from the following files: