Base class for handling converting std iterator algorithms to a range equivalent. More...

#include <UseRangesCheck.h>

Inheritance diagram for clang::tidy::utils::UseRangesCheck:

[legend]

Classes
struct	Indexes

class	Replacer

struct	ReverseIteratorDescriptor

Public Types
using	Signature = SmallVector< Indexes, 2 >

using	ReplacerMap = llvm::StringMap< llvm::IntrusiveRefCntPtr< Replacer > >

Public Member Functions
	UseRangesCheck (StringRef Name, ClangTidyContext *Context)

virtual ReplacerMap	getReplacerMap () const =0
	Gets a map of function to replace and methods to create the replacements.

virtual DiagnosticBuilder	createDiag (const CallExpr &Call)
	Create a diagnostic for the CallExpr Override this to support custom diagnostic messages.

virtual std::optional< ReverseIteratorDescriptor >	getReverseDescriptor () const

virtual ArrayRef< std::pair< StringRef, StringRef > >	getFreeBeginEndMethods () const
	Gets the fully qualified names of begin and end functions.

void	registerPPCallbacks (const SourceManager &SM, Preprocessor PP, Preprocessor ModuleExpanderPP) final
	Override this to register `PPCallbacks` in the preprocessor.

void	registerMatchers (ast_matchers::MatchFinder *Finder) final
	Override this to register AST matchers with `Finder`.

void	check (const ast_matchers::MatchFinder::MatchResult &Result) final
	`ClangTidyChecks` that register ASTMatchers should do the actual work in here.

bool	isLanguageVersionSupported (const LangOptions &LangOpts) const override
	Override this to disable registering matchers and PP callbacks if an invalid language version is being used.

void	storeOptions (ClangTidyOptions::OptionMap &Options) override
	Should store all options supported by this check with their current values or default values for options that haven't been overridden.

std::optional< TraversalKind >	getCheckTraversalKind () const override

Public Member Functions inherited from clang::tidy::ClangTidyCheck
	ClangTidyCheck (StringRef CheckName, ClangTidyContext *Context)
	Initializes the check with `CheckName` and `Context`.

virtual bool	isLanguageVersionSupported (const LangOptions &LangOpts) const
	Override this to disable registering matchers and PP callbacks if an invalid language version is being used.

virtual void	registerPPCallbacks (const SourceManager &SM, Preprocessor PP, Preprocessor ModuleExpanderPP)
	Override this to register `PPCallbacks` in the preprocessor.

virtual void	registerMatchers (ast_matchers::MatchFinder *Finder)
	Override this to register AST matchers with `Finder`.

virtual void	check (const ast_matchers::MatchFinder::MatchResult &Result)
	`ClangTidyChecks` that register ASTMatchers should do the actual work in here.

DiagnosticBuilder	diag (SourceLocation Loc, StringRef Description, DiagnosticIDs::Level Level=DiagnosticIDs::Warning)
	Add a diagnostic with the check's name.

DiagnosticBuilder	diag (StringRef Description, DiagnosticIDs::Level Level=DiagnosticIDs::Warning)
	Add a diagnostic with the check's name.

DiagnosticBuilder	configurationDiag (StringRef Description, DiagnosticIDs::Level Level=DiagnosticIDs::Warning) const
	Adds a diagnostic to report errors in the check's configuration.

virtual void	storeOptions (ClangTidyOptions::OptionMap &Options)
	Should store all options supported by this check with their current values or default values for options that haven't been overridden.

Additional Inherited Members
Protected Member Functions inherited from clang::tidy::ClangTidyCheck
StringRef	getCurrentMainFile () const
	Returns the main file name of the current translation unit.

const LangOptions &	getLangOpts () const
	Returns the language options from the context.

bool	areDiagsSelfContained () const
	Returns true when the check is run in a use case when only 1 fix will be applied at a time.

StringRef	getID () const override

Protected Attributes inherited from clang::tidy::ClangTidyCheck
OptionsView	Options

Detailed Description

Base class for handling converting std iterator algorithms to a range equivalent.

Definition at line 26 of file utils/UseRangesCheck.h.

Member Typedef Documentation

◆ ReplacerMap

using clang::tidy::utils::UseRangesCheck::ReplacerMap = llvm::StringMap<llvm::IntrusiveRefCntPtr<Replacer> >

Definition at line 62 of file utils/UseRangesCheck.h.

◆ Signature

using clang::tidy::utils::UseRangesCheck::Signature = SmallVector<Indexes, 2>

Definition at line 35 of file utils/UseRangesCheck.h.

Constructor & Destructor Documentation

◆ UseRangesCheck()

clang::tidy::utils::UseRangesCheck::UseRangesCheck	(	StringRef	Name,
		ClangTidyContext *	Context
	)

Definition at line 273 of file utils/UseRangesCheck.cpp.

Member Function Documentation

◆ check()

void clang::tidy::utils::UseRangesCheck::check ( const ast_matchers::MatchFinder::MatchResult & Result )

finalvirtual

ClangTidyChecks that register ASTMatchers should do the actual work in here.

Reimplemented from clang::tidy::ClangTidyCheck.

Definition at line 195 of file utils/UseRangesCheck.cpp.

References ArgName, BoundCall, createDiag(), clang::tidy::utils::IncludeInserter::createIncludeInsertion(), FuncDecl, clang::tidy::utils::getFullPrefix(), clang::tidy::utils::UseRangesCheck::Replacer::getHeaderInclusion(), clang::tidy::utils::UseRangesCheck::Replacer::getReplacementSignatures(), clang::tidy::utils::UseRangesCheck::Replacer::getReplaceName(), Node, clang::tidy::utils::removeFunctionArgs(), and clang::tidy::utils::UseRangesCheck::Indexes::Second.

◆ createDiag()

DiagnosticBuilder clang::tidy::utils::UseRangesCheck::createDiag ( const CallExpr & Call )

virtual

Create a diagnostic for the CallExpr Override this to support custom diagnostic messages.

Reimplemented in clang::tidy::boost::UseRangesCheck.

Definition at line 293 of file utils/UseRangesCheck.cpp.

References clang::tidy::ClangTidyCheck::diag().

Referenced by check().

◆ getCheckTraversalKind()

std::optional< TraversalKind > clang::tidy::utils::UseRangesCheck::getCheckTraversalKind ( ) const

override

Definition at line 307 of file utils/UseRangesCheck.cpp.

◆ getFreeBeginEndMethods()

ArrayRef< std::pair< StringRef, StringRef > > clang::tidy::utils::UseRangesCheck::getFreeBeginEndMethods ( ) const

virtual

Gets the fully qualified names of begin and end functions.

The functions must take the container as their one and only argument ::std::begin and ::std::end are a common example

Reimplemented in clang::tidy::boost::UseRangesCheck, and clang::tidy::modernize::UseRangesCheck.

Definition at line 303 of file utils/UseRangesCheck.cpp.

Referenced by registerMatchers().

◆ getReplacerMap()

virtual ReplacerMap clang::tidy::utils::UseRangesCheck::getReplacerMap ( ) const

pure virtual

Gets a map of function to replace and methods to create the replacements.

Implemented in clang::tidy::boost::UseRangesCheck, and clang::tidy::modernize::UseRangesCheck.

Referenced by registerMatchers().

◆ getReverseDescriptor()

std::optional< UseRangesCheck::ReverseIteratorDescriptor > clang::tidy::utils::UseRangesCheck::getReverseDescriptor ( ) const

virtual

Reimplemented in clang::tidy::boost::UseRangesCheck, and clang::tidy::modernize::UseRangesCheck.

Definition at line 298 of file utils/UseRangesCheck.cpp.

Referenced by registerMatchers().

◆ isLanguageVersionSupported()

bool clang::tidy::utils::UseRangesCheck::isLanguageVersionSupported ( const LangOptions & LangOpts ) const

overridevirtual

Override this to disable registering matchers and PP callbacks if an invalid language version is being used.

For example if a check is examining overloaded functions then this should be overridden to return false when the CPlusPlus flag is not set in LangOpts.

Reimplemented from clang::tidy::ClangTidyCheck.

Definition at line 268 of file utils/UseRangesCheck.cpp.

◆ registerMatchers()

void clang::tidy::utils::UseRangesCheck::registerMatchers ( ast_matchers::MatchFinder * Finder )

finalvirtual

Override this to register AST matchers with Finder.

This should be used by clang-tidy checks that analyze code properties that dependent on AST knowledge.

You can register as many matchers as necessary with Finder. Usually, "this" will be used as callback, but you can also specify other callback classes. Thereby, different matchers can trigger different callbacks.

This will only be executed if the function isLanguageVersionSupported returns true.

If you need to merge information between the different matchers, you can store these as members of the derived class. However, note that all matches occur in the order of the AST traversal.

Reimplemented from clang::tidy::ClangTidyCheck.

Definition at line 110 of file utils/UseRangesCheck.cpp.

References E, FuncDecl, getFreeBeginEndMethods(), clang::tidy::utils::getFullPrefix(), clang::tidy::utils::UseRangesCheck::Replacer::getReplacementSignatures(), getReplacerMap(), getReverseDescriptor(), clang::tidy::utils::makeMatcherPair(), and Replaces.

◆ registerPPCallbacks()

void clang::tidy::utils::UseRangesCheck::registerPPCallbacks	(	const SourceManager &	SM,
		Preprocessor *	PP,
		Preprocessor *	ModuleExpanderPP
	)

finalvirtual

Override this to register PPCallbacks in the preprocessor.

This should be used for clang-tidy checks that analyze preprocessor- dependent properties, e.g. include directives and macro definitions.

This will only be executed if the function isLanguageVersionSupported returns true.

There are two Preprocessors to choose from that differ in how they handle modular #includes:

PP is the real Preprocessor. It doesn't walk into modular #includes and thus doesn't generate PPCallbacks for their contents.
ModuleExpanderPP preprocesses the whole translation unit in the non-modular mode, which allows it to generate PPCallbacks not only for the main file and textual headers, but also for all transitively included modular headers when the analysis runs with modules enabled. When modules are not enabled ModuleExpanderPP just points to the real preprocessor.

Reimplemented from clang::tidy::ClangTidyCheck.

Definition at line 279 of file utils/UseRangesCheck.cpp.

References clang::tidy::utils::IncludeInserter::registerPreprocessor().

◆ storeOptions()

void clang::tidy::utils::UseRangesCheck::storeOptions ( ClangTidyOptions::OptionMap & Options )

overridevirtual

Should store all options supported by this check with their current values or default values for options that haven't been overridden.

The check should use Options.store() to store each option it supports whether it has the default value or it has been overridden.

Reimplemented from clang::tidy::ClangTidyCheck.

Definition at line 284 of file utils/UseRangesCheck.cpp.

References clang::tidy::utils::IncludeInserter::getStyle(), clang::tidy::ClangTidyCheck::Options, and clang::tidy::ClangTidyCheck::OptionsView::store().

Referenced by clang::tidy::boost::UseRangesCheck::storeOptions(), and clang::tidy::modernize::UseRangesCheck::storeOptions().

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

Classes

Public Types

Public Member Functions

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ ReplacerMap

◆ Signature

Constructor & Destructor Documentation

◆ UseRangesCheck()

Member Function Documentation

◆ check()

◆ createDiag()

◆ getCheckTraversalKind()

◆ getFreeBeginEndMethods()

◆ getReplacerMap()

◆ getReverseDescriptor()

◆ isLanguageVersionSupported()

◆ registerMatchers()

◆ registerPPCallbacks()

◆ storeOptions()