A requires-expression requirement which queries the existence of a type name or type template specialization ('type' requirements). More...

#include "clang/AST/ExprConcepts.h"

Inheritance diagram for clang::concepts::TypeRequirement:

[legend]

Public Types
enum	SatisfactionStatus { SS_Dependent , SS_SubstitutionFailure , SS_Satisfied }
Public Types inherited from clang::concepts::Requirement
enum	RequirementKind { RK_Type , RK_Simple , RK_Compound , RK_Nested }

Public Member Functions
	TypeRequirement (TypeSourceInfo *T)
	Construct a type requirement from a type.
	TypeRequirement (SubstitutionDiagnostic *Diagnostic)
	Construct a type requirement when the nested name specifier is invalid due to a bad substitution.
SatisfactionStatus	getSatisfactionStatus () const
void	setSatisfactionStatus (SatisfactionStatus Status)
bool	isSubstitutionFailure () const
SubstitutionDiagnostic *	getSubstitutionDiagnostic () const
TypeSourceInfo *	getType () const
Public Member Functions inherited from clang::concepts::Requirement
	Requirement (RequirementKind Kind, bool IsDependent, bool ContainsUnexpandedParameterPack, bool IsSatisfied=true)
RequirementKind	getKind () const
bool	isSatisfied () const
void	setSatisfied (bool IsSatisfied)
void	setDependent (bool IsDependent)
bool	isDependent () const
void	setContainsUnexpandedParameterPack (bool Contains)
bool	containsUnexpandedParameterPack () const

Static Public Member Functions
static bool	classof (const Requirement *R)

Public Attributes
friend	ASTStmtReader
friend	ASTStmtWriter

Detailed Description

A requires-expression requirement which queries the existence of a type name or type template specialization ('type' requirements).

Definition at line 229 of file ExprConcepts.h.

Member Enumeration Documentation

◆ SatisfactionStatus

enum clang::concepts::TypeRequirement::SatisfactionStatus

Enumerator
SS_Dependent
SS_SubstitutionFailure
SS_Satisfied

Definition at line 231 of file ExprConcepts.h.

Constructor & Destructor Documentation

◆ TypeRequirement() [1/2]

concepts::TypeRequirement::TypeRequirement ( TypeSourceInfo * T )

Construct a type requirement from a type.

If the given type is not dependent, this indicates that the type exists and the requirement will be satisfied. Otherwise, the SubstitutionDiagnostic constructor is to be used.

Definition at line 192 of file ASTConcept.cpp.

References clang::concepts::Requirement::containsUnexpandedParameterPack(), getType(), clang::concepts::Requirement::Requirement(), clang::concepts::Requirement::RK_Type, SS_Dependent, SS_Satisfied, clang::T, and true.