class CheckerBase

Declaration

class CheckerBase : public ProgramPointTag { /* full declaration omitted */ };

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.

Declared at: clang/include/clang/StaticAnalyzer/Core/Checker.h:492

Inherits from: ProgramPointTag

Member Variables

private clang::ento::CheckerNameRef Name

Method Overview

• public clang::ento::CheckerNameRef getCheckerName() const
• public llvm::StringRef getTagDescription() const
• public virtual void printState(llvm::raw_ostream & Out, clang::ento::ProgramStateRef State, const char * NL, const char * Sep) const

Inherited from ProgramPointTag:

• public getTagDescription
• public getTagKind

Methods

¶clang::ento::CheckerNameRef getCheckerName() const

Declared at: clang/include/clang/StaticAnalyzer/Core/Checker.h:498

¶llvm::StringRef getTagDescription() const

Declared at: clang/include/clang/StaticAnalyzer/Core/Checker.h:497

¶virtual void printState(
    llvm::raw_ostream& Out,
    clang::ento::ProgramStateRef State,
    const char* NL,
    const char* Sep) const

Description

See CheckerManager::runCheckersForPrintState.

Declared at: clang/include/clang/StaticAnalyzer/Core/Checker.h:501

Parameters

llvm::raw_ostream& Out

clang::ento::ProgramStateRef State

const char* NL

const char* Sep