clang::ProgramPointTag Class Reference

ProgramPoints can be "tagged" as representing points specific to a given analysis entity. More...

#include "clang/Analysis/ProgramPoint.h"

Inheritance diagram for clang::ProgramPointTag:

Public Member Functions
	ProgramPointTag (void *tagKind=nullptr)
virtual	~ProgramPointTag ()
virtual StringRef	getDebugTag () const =0
	The description of this program point which will be dumped for debugging purposes.
const void *	getTagKind () const
	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 38 of file ProgramPoint.h.

Constructor & Destructor Documentation

ProgramPointTag()

clang::ProgramPointTag::ProgramPointTag ( void *  tagKind = nullptr )

inline

Definition at line 40 of file ProgramPoint.h.

~ProgramPointTag()

ProgramPointTag::~ProgramPointTag ( )

virtual

Definition at line 21 of file ProgramPoint.cpp.

Member Function Documentation

getDebugTag()

virtual StringRef clang::ProgramPointTag::getDebugTag ( ) const

pure virtual

The description of this program point which will be dumped for debugging purposes.

Do not use in user-facing output!

Implemented in clang::SimpleProgramPointTag, clang::ento::DataTag, clang::ento::NoteTag, clang::ento::CheckerBase, and clang::ento::retaincountchecker::RetainCountChecker.

Referenced by REGISTER_MAP_WITH_PROGRAMSTATE().

getTagKind()

const void * clang::ProgramPointTag::getTagKind ( ) const

inline

Used to implement 'isKind' in subclasses.

Definition at line 48 of file ProgramPoint.h.

---

The documentation for this class was generated from the following files:

• include/clang/Analysis/ProgramPoint.h
• lib/Analysis/ProgramPoint.cpp