#include "clang/Sema/Sema.h"

Public Member Functions
	CheckTemplateArgumentInfo (bool PartialOrdering=false, bool MatchingTTP=false)
	CheckTemplateArgumentInfo (const CheckTemplateArgumentInfo &)=delete
CheckTemplateArgumentInfo &	operator= (const CheckTemplateArgumentInfo &)=delete

Public Attributes
SmallVector< TemplateArgument, 4 >	SugaredConverted
	The checked, converted argument will be added to the end of these vectors.
SmallVector< TemplateArgument, 4 >	CanonicalConverted
bool	PartialOrdering
	The check is being performed in the context of partial ordering.
bool	MatchingTTP
	If true, assume these template arguments are the injected template arguments for a template template parameter.
bool	StrictPackMatch = false
	Is set to true when, in the context of TTP matching, a pack parameter matches non-pack arguments.

Detailed Description

Definition at line 11914 of file Sema.h.

Constructor & Destructor Documentation

◆ CheckTemplateArgumentInfo() [1/2]

clang::Sema::CheckTemplateArgumentInfo::CheckTemplateArgumentInfo	(	bool	PartialOrdering = false,
		bool	MatchingTTP = false )

inlineexplicit

Definition at line 11915 of file Sema.h.

References MatchingTTP, and PartialOrdering.

Referenced by CheckTemplateArgumentInfo(), and operator=().

◆ CheckTemplateArgumentInfo() [2/2]

clang::Sema::CheckTemplateArgumentInfo::CheckTemplateArgumentInfo ( const CheckTemplateArgumentInfo & )

delete

References CheckTemplateArgumentInfo().

Member Function Documentation

◆ operator=()

CheckTemplateArgumentInfo & clang::Sema::CheckTemplateArgumentInfo::operator= ( const CheckTemplateArgumentInfo & )

delete

References CheckTemplateArgumentInfo().

Member Data Documentation

◆ CanonicalConverted

SmallVector<TemplateArgument, 4> clang::Sema::CheckTemplateArgumentInfo::CanonicalConverted

Definition at line 11924 of file Sema.h.

Referenced by clang::Sema::ActOnClassTemplateSpecialization(), clang::Sema::ActOnExplicitInstantiation(), clang::Sema::ActOnVarTemplateSpecialization(), clang::Sema::CheckConceptTemplateId(), CheckDeducedPlaceholderConstraints(), clang::Sema::CheckTemplateArgument(), clang::Sema::CheckTemplateArgumentList(), clang::Sema::CheckTemplateIdType(), clang::Sema::CheckVarTemplateId(), ConvertDeducedTemplateArgument(), ConvertDeducedTemplateArguments(), clang::Sema::FinishTemplateArgumentDeduction(), FinishTemplateArgumentDeduction(), FinishTemplateArgumentDeduction(), FinishTemplateArgumentDeduction(), clang::TemplateDeclInstantiator::InstantiateClassTemplatePartialSpecialization(), clang::TemplateDeclInstantiator::InstantiateVarTemplatePartialSpecialization(), clang::Sema::SubstituteExplicitTemplateArguments(), and clang::TemplateDeclInstantiator::VisitVarTemplateSpecializationDecl().

◆ MatchingTTP

bool clang::Sema::CheckTemplateArgumentInfo::MatchingTTP

If true, assume these template arguments are the injected template arguments for a template template parameter.

This will relax the requirement that all its possible uses are valid: TTP checking is loose, and assumes that invalid uses will be diagnosed during instantiation.

Definition at line 11934 of file Sema.h.

Referenced by clang::Sema::CheckTemplateArgument(), CheckTemplateArgumentInfo(), clang::Sema::CheckTemplateArgumentList(), ConvertDeducedTemplateArgument(), and ConvertDeducedTemplateArguments().

◆ PartialOrdering

bool clang::Sema::CheckTemplateArgumentInfo::PartialOrdering

The check is being performed in the context of partial ordering.

Definition at line 11927 of file Sema.h.

Referenced by clang::Sema::CheckTemplateArgument(), CheckTemplateArgumentInfo(), clang::Sema::CheckTemplateArgumentList(), and ConvertDeducedTemplateArguments().

◆ StrictPackMatch

bool clang::Sema::CheckTemplateArgumentInfo::StrictPackMatch = false

Is set to true when, in the context of TTP matching, a pack parameter matches non-pack arguments.

Definition at line 11938 of file Sema.h.

Referenced by clang::Sema::ActOnClassTemplateSpecialization(), clang::Sema::ActOnExplicitInstantiation(), clang::Sema::CheckTemplateArgument(), clang::Sema::CheckTemplateArgumentList(), clang::Sema::CheckTemplateIdType(), ConvertDeducedTemplateArgument(), ConvertDeducedTemplateArguments(), and clang::Sema::isTemplateTemplateParameterAtLeastAsSpecializedAs().

◆ SugaredConverted

SmallVector<TemplateArgument, 4> clang::Sema::CheckTemplateArgumentInfo::SugaredConverted

The checked, converted argument will be added to the end of these vectors.