clang::ento::Checker< CHECKs > Class Template Reference

Simple checker classes that implement one frontend (i.e. More...

#include "clang/StaticAnalyzer/Core/Checker.h"

Inheritance diagram for clang::ento::Checker< CHECKs >:

Public Types
using	BlockEntrance = clang::BlockEntrance

Static Public Member Functions
template<typename CHECKER>
static void	_register (CHECKER *Chk, CheckerManager &Mgr)

Additional Inherited Members
Public Member Functions inherited from clang::ento::CheckerBase
StringRef	getDebugTag () const override
	Attached to nodes created by this checker class when the ExplodedGraph is dumped for debugging.
Public Member Functions inherited from clang::ento::CheckerFrontend
void	enable (CheckerManager &Mgr)
bool	isEnabled () const
CheckerNameRef	getName () const
Public Member Functions inherited from clang::ento::CheckerBackend
virtual void	printState (raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep) const
	Debug state dump callback, see CheckerManager::runCheckersForPrintState.
Public Member Functions inherited from clang::ProgramPointTag
	ProgramPointTag (void *tagKind=nullptr)
virtual	~ProgramPointTag ()
const void *	getTagKind () const
	Used to implement 'isKind' in subclasses.

Detailed Description

template<typename... CHECKs>
class clang::ento::Checker< CHECKs >

Simple checker classes that implement one frontend (i.e.

checker name) should derive from this template and specify all the implemented callbacks (i.e. classes like check::PreStmt or eval::Call) as template arguments of Checker.

Definition at line 553 of file Checker.h.

Member Typedef Documentation

BlockEntrance

template<typename... CHECKs>

using clang::ento::Checker< CHECKs >::BlockEntrance = clang::BlockEntrance

Definition at line 555 of file Checker.h.

Member Function Documentation

_register()

template<typename... CHECKs>

template<typename CHECKER>

void clang::ento::Checker< CHECKs >::_register ( CHECKER * Chk, CheckerManager & Mgr )

inlinestatic

Definition at line 558 of file Checker.h.

References CHECKER.

---

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

• include/clang/StaticAnalyzer/Core/Checker.h