Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://clang.llvm.org/doxygen/Template_8h_source.html below:

clang: include/clang/Sema/Template.h Source File

ArgumentListLevel {

llvm::PointerIntPair<Decl *, 1, bool> AssociatedDeclAndFinal;

ArgListsIterator = ContainerType::iterator;

ConstArgListsIterator = ContainerType::const_iterator;

NumRetainedOuterLevels = 0;

TemplateArgumentLists.size() + NumRetainedOuterLevels;

TemplateArgumentLists.size();

assert(NumRetainedOuterLevels <= Depth && Depth <

());

TemplateArgumentLists[

() - Depth - 1].Args.size();

NumRetainedOuterLevels;

(OldDepth < NumRetainedOuterLevels)

NumRetainedOuterLevels;

OldDepth - TemplateArgumentLists.size();

assert(NumRetainedOuterLevels <= Depth && Depth <

());

TemplateArgumentLists[

() - Depth - 1].Args.size());

TemplateArgumentLists[

() - Depth - 1].Args[Index];

assert(NumRetainedOuterLevels <= Depth && Depth <

());

AD = TemplateArgumentLists[

() - Depth - 1]

.AssociatedDeclAndFinal;

{AD.getPointer(), AD.getInt()};

(Depth < NumRetainedOuterLevels)

TemplateArgumentLists[

() - Depth - 1].Args.size())

!(*this)(Depth, Index).isNull();

(ArgumentListLevel ListLevel : TemplateArgumentLists)

assert(NumRetainedOuterLevels <= Depth && Depth <

());

TemplateArgumentLists[

() - Depth - 1].Args.size());

TemplateArgumentLists[

() - Depth - 1].Args[Index]) = Arg;

assert(!NumRetainedOuterLevels &&

);

TemplateArgumentLists.push_back(

assert(!NumRetainedOuterLevels &&

);

TemplateArgumentLists.push_back({{}, Args});

assert(!NumRetainedOuterLevels &&

);

TemplateArgumentLists.push_back({});

assert((!TemplateArgumentLists.empty() || NumRetainedOuterLevels) &&

);

(!TemplateArgumentLists.empty()) {

assert((TemplateArgumentLists[0].AssociatedDeclAndFinal.getPointer() ||

TemplateArgumentLists[0].AssociatedDeclAndFinal.getPointer() ==

);

TemplateArgumentLists[0].Args = Args;

--NumRetainedOuterLevels;

TemplateArgumentLists.push_back(

{{AssociatedDecl,

}, Args});

++NumRetainedOuterLevels;

NumRetainedOuterLevels +=

;

TemplateArgumentLists.front().Args;

TemplateArgumentLists.back().Args;

ArgListsIterator

() {

TemplateArgumentLists.begin(); }

ConstArgListsIterator

()

{

TemplateArgumentLists.begin();

ArgListsIterator

() {

TemplateArgumentLists.end(); }

ConstArgListsIterator

()

{

TemplateArgumentLists.end(); }

LLVM_DUMP_METHOD

()

{

LO.CPlusPlus =

;

llvm::errs() <<

<< NumRetainedOuterLevels

(

Depth = NumRetainedOuterLevels; Depth <

();

llvm::errs() << Depth <<

;

TemplateArgumentLists[

() - Depth - 1].Args, PP);

llvm::errs() <<

;

DeducedFromArrayBound =

;

DeducedFromArrayBound =

)

llvm::APSInt &

,

DeducedFromArrayBound)

DeducedFromArrayBound(DeducedFromArrayBound) {}

DeducedFromArrayBound = Deduced;

LocalDeclsMap =

llvm::SmallDenseMap<

*,

llvm::PointerUnion<Decl *, DeclArgumentPack *>, 4>;

LocalDeclsMap LocalDecls;

Exited =

;

CombineWithOuterScope;

InstantiatingLambdaOrBlock =

;

*PartiallySubstitutedPack =

;

NumArgsInPartiallySubstitutedPack;

InstantiatingLambdaOrBlock =

)

: SemaRef(SemaRef), Outer(SemaRef.CurrentInstantiationScope),

CombineWithOuterScope(CombineWithOuterScope),

InstantiatingLambdaOrBlock(InstantiatingLambdaOrBlock) {

(

I = 0, N = ArgumentPacks.size(); I != N; ++I)

ArgumentPacks[I];

(

== Outermost)

;

newScope->Outer =

;

newScope->PartiallySubstitutedPack = PartiallySubstitutedPack;

newScope->ArgsInPartiallySubstitutedPack = ArgsInPartiallySubstitutedPack;

newScope->NumArgsInPartiallySubstitutedPack =

NumArgsInPartiallySubstitutedPack;

(LocalDeclsMap::iterator I = LocalDecls.begin(),

= LocalDecls.end();

*

= I->first;

llvm::PointerUnion<Decl *, DeclArgumentPack *> &Stored =

newScope->LocalDecls[

];

(

*D2 = dyn_cast<Decl *>(I->second)) {

newScope->ArgumentPacks.push_back(NewPack);

llvm::PointerUnion<Decl *, DeclArgumentPack *> *

NumExplicitArgs);

assert(PartiallySubstitutedPack &&

);

PartiallySubstitutedPack =

;

ArgsInPartiallySubstitutedPack =

;

NumArgsInPartiallySubstitutedPack = 0;

*NumExplicitArgs =

)

;

:

<TemplateDeclInstantiator, Decl *>

EvaluateConstraints =

;

OutOfLinePartialSpecs;

std::pair<VarTemplateDecl *, VarTemplatePartialSpecializationDecl *>, 4>

OutOfLineVarPartialSpecs;

SubstIndex(SemaRef, SemaRef.ArgumentPackSubstitutionIndex),

Owner(Owner), TemplateArgs(TemplateArgs) {}

EvaluateConstraints = B;

EvaluateConstraints;

LateAttrs =

;

StartingScope =

;

OutOfLinePartialSpecs.begin();

OutOfLineVarPartialSpecs.begin();

OutOfLinePartialSpecs.end();

OutOfLineVarPartialSpecs.end();

<

T>

*instantiateUnresolvedUsingDecl(

*

,

InstantiatingPackElement =

);

Defines the C++ template declaration subclasses.

Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.

C Language Family Type Representation.

Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...

Represents a C++ declaration that introduces decls from somewhere else.

Represents a static or instance method of a struct/union/class.

Declaration of a class template.

DeclContext - This is used only as base class of specific decl types that can act as declaration cont...

A simple visitor class that helps create declaration visitors.

Decl - This represents one declaration (or definition), e.g.

virtual Decl * getCanonicalDecl()

Retrieves the "canonical" declaration of the given declaration.

Represents a ValueDecl that came out of a declarator.

Captures a template argument whose value has been deduced via c++ template argument deduction.

void setDeducedFromArrayBound(bool Deduced)

Specify whether the given non-type template argument was deduced from an array bound.

DeducedTemplateArgument()=default

DeducedTemplateArgument(const TemplateArgument &Arg, bool DeducedFromArrayBound=false)

DeducedTemplateArgument(ASTContext &Ctx, const llvm::APSInt &Value, QualType ValueType, bool DeducedFromArrayBound)

Construct an integral non-type template argument that has been deduced, possibly from an array bound.

bool wasDeducedFromArrayBound() const

For a non-type template argument, determine whether the template argument was deduced from an array b...

Represents a function declaration or definition.

Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...

A stack-allocated class that identifies which local variable declaration instantiations are present i...

LocalInstantiationScope(Sema &SemaRef, bool CombineWithOuterScope=false, bool InstantiatingLambdaOrBlock=false)

LocalInstantiationScope & operator=(const LocalInstantiationScope &)=delete

LocalInstantiationScope(const LocalInstantiationScope &)=delete

void SetPartiallySubstitutedPack(NamedDecl *Pack, const TemplateArgument *ExplicitArgs, unsigned NumExplicitArgs)

Note that the given parameter pack has been partially substituted via explicit specification of templ...

NamedDecl * getPartiallySubstitutedPack(const TemplateArgument **ExplicitArgs=nullptr, unsigned *NumExplicitArgs=nullptr) const

Retrieve the partially-substitued template parameter pack.

void Exit()

Exit this local instantiation scope early.

SmallVector< VarDecl *, 4 > DeclArgumentPack

A set of declarations.

bool isLocalPackExpansion(const Decl *D)

Determine whether D is a pack expansion created in this scope.

~LocalInstantiationScope()

static void deleteScopes(LocalInstantiationScope *Scope, LocalInstantiationScope *Outermost)

deletes the given scope, and all outer scopes, down to the given outermost scope.

const Sema & getSema() const

void InstantiatedLocal(const Decl *D, Decl *Inst)

void InstantiatedLocalPackArg(const Decl *D, VarDecl *Inst)

void ResetPartiallySubstitutedPack()

Reset the partially-substituted pack when it is no longer of interest.

bool isLambdaOrBlock() const

Determine whether this scope is for instantiating a lambda or block.

void MakeInstantiatedLocalArgPack(const Decl *D)

LocalInstantiationScope * cloneScopes(LocalInstantiationScope *Outermost)

Clone this scope, and all outer scopes, down to the given outermost scope.

llvm::PointerUnion< Decl *, DeclArgumentPack * > * findInstantiationOf(const Decl *D)

Find the instantiation of the declaration D within the current instantiation scope.

Represents the results of name lookup.

Data structure that captures multiple levels of template argument lists for use in template instantia...

bool hasTemplateArgument(unsigned Depth, unsigned Index) const

Determine whether there is a non-NULL template argument at the given depth and index.

ConstArgListsIterator end() const

const ArgList & getInnermost() const

Retrieve the innermost template argument list.

unsigned getNumSubsitutedArgs(unsigned Depth) const

std::pair< Decl *, bool > getAssociatedDecl(unsigned Depth) const

A template-like entity which owns the whole pattern being substituted.

void addOuterRetainedLevel()

Add an outermost level that we are not substituting.

ConstArgListsIterator begin() const

LLVM_DUMP_METHOD void dump() const

MultiLevelTemplateArgumentList(Decl *D, ArgList Args, bool Final)

Construct a single-level template argument list.

TemplateSubstitutionKind getKind() const

Determine the kind of template substitution being performed.

void addOuterTemplateArguments(Decl *AssociatedDecl, ArgList Args, bool Final)

Add a new outmost level to the multi-level template argument list.

unsigned getNumLevels() const

Determine the number of levels in this template argument list.

void setKind(TemplateSubstitutionKind K)

void replaceInnermostTemplateArguments(Decl *AssociatedDecl, ArgList Args)

Replaces the current 'innermost' level with the provided argument list.

unsigned getNumSubstitutedLevels() const

Determine the number of substituted levels in this template argument list.

const TemplateArgument & operator()(unsigned Depth, unsigned Index) const

Retrieve the template argument at a given depth and index.

const ArgList & getOutermost() const

Retrieve the outermost template argument list.

void addOuterRetainedLevels(unsigned Num)

MultiLevelTemplateArgumentList()=default

Construct an empty set of template argument lists.

unsigned getNumRetainedOuterLevels() const

bool isAnyArgInstantiationDependent() const

unsigned getNewDepth(unsigned OldDepth) const

Determine how many of the OldDepth outermost template parameter lists would be removed by substitutin...

void setArgument(unsigned Depth, unsigned Index, TemplateArgument Arg)

Clear out a specific template argument.

void addOuterTemplateArguments(std::nullopt_t)

void addOuterTemplateArguments(ArgList Args)

bool isRewrite() const

Determine whether we are rewriting template parameters rather than substituting for them.

This represents a decl that may have a name.

A (possibly-)qualified type.

Scope - A scope is a transient data structure that is used while parsing the program.

RAII object used to change the argument pack substitution index within a Sema object.

Sema - This implements semantic analysis and AST building for C.

LocalInstantiationScope * CurrentInstantiationScope

The current instantiation scope used to store local variables.

Represents the declaration of a struct/union/class/enum.

A convenient class for passing around template argument information.

Represents a template argument.

bool isInstantiationDependent() const

Whether this template argument is dependent on a template parameter.

void enableLateAttributeInstantiation(Sema::LateInstantiatedAttrVec *LA)

void disableLateAttributeInstantiation()

@ RewriteSpaceshipAsEqualEqual

delayed_var_partial_spec_iterator delayed_var_partial_spec_end()

delayed_partial_spec_iterator delayed_partial_spec_begin()

Return an iterator to the beginning of the set of "delayed" partial specializations,...

void setEvaluateConstraints(bool B)

Decl * VisitDecl(Decl *D)

TemplateDeclInstantiator(Sema &SemaRef, DeclContext *Owner, const MultiLevelTemplateArgumentList &TemplateArgs)

SmallVectorImpl< std::pair< VarTemplateDecl *, VarTemplatePartialSpecializationDecl * > >::iterator delayed_var_partial_spec_iterator

Decl * VisitVarDecl(VarDecl *D, bool InstantiatingVarTemplate, ArrayRef< BindingDecl * > *Bindings=nullptr)

bool InitMethodInstantiation(CXXMethodDecl *New, CXXMethodDecl *Tmpl)

Initializes common fields of an instantiated method declaration (New) from the corresponding fields o...

LocalInstantiationScope * getStartingScope() const

bool InitFunctionInstantiation(FunctionDecl *New, FunctionDecl *Tmpl)

Initializes the common fields of an instantiation function declaration (New) from the corresponding f...

VarTemplatePartialSpecializationDecl * InstantiateVarTemplatePartialSpecialization(VarTemplateDecl *VarTemplate, VarTemplatePartialSpecializationDecl *PartialSpec)

Instantiate the declaration of a variable template partial specialization.

void adjustForRewrite(RewriteKind RK, FunctionDecl *Orig, QualType &T, TypeSourceInfo *&TInfo, DeclarationNameInfo &NameInfo)

TypeSourceInfo * SubstFunctionType(FunctionDecl *D, SmallVectorImpl< ParmVarDecl * > &Params)

SmallVectorImpl< std::pair< ClassTemplateDecl *, ClassTemplatePartialSpecializationDecl * > >::iterator delayed_partial_spec_iterator

Decl * VisitVarTemplateSpecializationDecl(VarTemplateDecl *VarTemplate, VarDecl *FromVar, const TemplateArgumentListInfo &TemplateArgsInfo, ArrayRef< TemplateArgument > Converted, VarTemplateSpecializationDecl *PrevDecl=nullptr)

void InstantiateEnumDefinition(EnumDecl *Enum, EnumDecl *Pattern)

Decl * VisitFunctionDecl(FunctionDecl *D, TemplateParameterList *TemplateParams, RewriteKind RK=RewriteKind::None)

Normal class members are of more specific types and therefore don't make it here.

Decl * VisitCXXMethodDecl(CXXMethodDecl *D, TemplateParameterList *TemplateParams, RewriteKind RK=RewriteKind::None)

Decl * InstantiateTypeAliasTemplateDecl(TypeAliasTemplateDecl *D)

bool getEvaluateConstraints()

delayed_partial_spec_iterator delayed_partial_spec_end()

Return an iterator to the end of the set of "delayed" partial specializations, which must be passed t...

Decl * VisitBaseUsingDecls(BaseUsingDecl *D, BaseUsingDecl *Inst, LookupResult *Lookup)

bool SubstQualifier(const DeclaratorDecl *OldDecl, DeclaratorDecl *NewDecl)

TemplateParameterList * SubstTemplateParams(TemplateParameterList *List)

Instantiates a nested template parameter list in the current instantiation context.

Decl * InstantiateTypedefNameDecl(TypedefNameDecl *D, bool IsTypeAlias)

delayed_var_partial_spec_iterator delayed_var_partial_spec_begin()

ClassTemplatePartialSpecializationDecl * InstantiateClassTemplatePartialSpecialization(ClassTemplateDecl *ClassTemplate, ClassTemplatePartialSpecializationDecl *PartialSpec)

Instantiate the declaration of a class template partial specialization.

bool SubstDefaultedFunction(FunctionDecl *New, FunctionDecl *Tmpl)

Stores a list of template parameters for a TemplateDecl and its derived classes.

TemplatePartialOrderingContext(TPOC Value)

Declaration of an alias template.

A container of type source information.

Base class for declarations which introduce a typedef-name.

Represents a variable declaration or definition.

Declaration of a variable template.

Represents a variable template specialization, which refers to a variable template with a given set o...

@ Decl

The l-value was an access to a declared entity or something equivalently strong, like the address of ...

The JSON file list parser is used to communicate input to InstallAPI.

TemplateSubstitutionKind

The kind of template substitution being performed.

@ Rewrite

We are substituting template parameters for (typically) other template parameters in order to rewrite...

@ Specialization

We are substituting template parameters for template arguments in order to form a template specializa...

const FunctionProtoType * T

void printTemplateArgumentList(raw_ostream &OS, ArrayRef< TemplateArgument > Args, const PrintingPolicy &Policy, const TemplateParameterList *TPL=nullptr)

Print a template argument list, including the '<' and '>' enclosing the template arguments.

TPOC

The context in which partial ordering of function templates occurs.

@ TPOC_Conversion

Partial ordering of function templates for a call to a conversion function.

@ TPOC_Other

Partial ordering of function templates in other contexts, e.g., taking the address of a function temp...

@ TPOC_Call

Partial ordering of function templates for a function call.

@ Enum

The "enum" keyword introduces the elaborated-type-specifier.

DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspon...

Describes how types, statements, expressions, and declarations should be printed.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4