#include <ProgramPoint.h>
Inheritance diagram for clang::ProgramPointTag:
Public Member Functions | |
| ProgramPointTag (void *tagKind=nullptr) | |
| virtual | ~ProgramPointTag () |
| virtual StringRef | getTagDescription () const =0 |
Protected Member Functions | |
| const void * | getTagKind () |
| Used to implement 'isKind' in subclasses. | |
Detailed Description
ProgramPoints can be "tagged" as representing points specific to a given analysis entity. Tags are abstract annotations, with an associated description and potentially other information.
Definition at line 649 of file ProgramPoint.h.
Constructor & Destructor Documentation
| clang::ProgramPointTag::ProgramPointTag | ( | void * | tagKind = nullptr | ) | [inline] |
Definition at line 651 of file ProgramPoint.h.
| ProgramPointTag::~ProgramPointTag | ( | ) | [virtual] |
Definition at line 19 of file ProgramPoint.cpp.
Member Function Documentation
| virtual StringRef clang::ProgramPointTag::getTagDescription | ( | ) | const [pure virtual] |
Implemented in clang::SimpleProgramPointTag, and clang::ento::CheckerBase.
Referenced by llvm::DOTGraphTraits< ExplodedNode * >::getNodeLabel().
| const void* clang::ProgramPointTag::getTagKind | ( | ) | [inline, protected] |
Used to implement 'isKind' in subclasses.
Definition at line 657 of file ProgramPoint.h.
The documentation for this class was generated from the following files: