clang::concepts::Requirement Class Reference

A static requirement that can be used in a requires-expression to check properties of types and expression. More...

#include "clang/AST/ExprConcepts.h"

Inheritance diagram for clang::concepts::Requirement:

Classes
struct	SubstitutionDiagnostic

Public Types
enum	RequirementKind { RK_Type , RK_Simple , RK_Compound , RK_Nested }

Public Member Functions
	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

Detailed Description

A static requirement that can be used in a requires-expression to check properties of types and expression.

Definition at line 170 of file ExprConcepts.h.

Member Enumeration Documentation

RequirementKind

enum clang::concepts::Requirement::RequirementKind

Enumerator
RK_Type
RK_Simple
RK_Compound
RK_Nested

Definition at line 174 of file ExprConcepts.h.

Constructor & Destructor Documentation

Requirement()

clang::concepts::Requirement::Requirement ( RequirementKind Kind, bool IsDependent, bool ContainsUnexpandedParameterPack, bool IsSatisfied = true )

inline

Definition at line 194 of file ExprConcepts.h.

Referenced by clang::concepts::ExprRequirement::classof(), clang::concepts::NestedRequirement::classof(), clang::concepts::TypeRequirement::classof(), clang::concepts::ExprRequirement::ExprRequirement(), clang::concepts::ExprRequirement::ExprRequirement(), clang::concepts::NestedRequirement::NestedRequirement(), clang::concepts::NestedRequirement::NestedRequirement(), clang::concepts::NestedRequirement::NestedRequirement(), clang::concepts::TypeRequirement::TypeRequirement(), and clang::concepts::TypeRequirement::TypeRequirement().

Member Function Documentation

containsUnexpandedParameterPack()

bool clang::concepts::Requirement::containsUnexpandedParameterPack ( ) const

inline

Definition at line 220 of file ExprConcepts.h.

Referenced by clang::concepts::ExprRequirement::ExprRequirement(), clang::concepts::ExprRequirement::ExprRequirement(), clang::concepts::NestedRequirement::NestedRequirement(), clang::concepts::NestedRequirement::NestedRequirement(), and clang::concepts::TypeRequirement::TypeRequirement().

getKind()

RequirementKind clang::concepts::Requirement::getKind ( ) const

inline

Definition at line 200 of file ExprConcepts.h.

Referenced by clang::ASTNodeImporter::import(), clang::ASTNodeImporter::ImportExprRequirement(), clang::concepts::ExprRequirement::isCompound(), and clang::concepts::ExprRequirement::isSimple().

isDependent()

bool clang::concepts::Requirement::isDependent ( ) const

inline

Definition at line 215 of file ExprConcepts.h.

Referenced by clang::concepts::ExprRequirement::ExprRequirement().

isSatisfied()

bool clang::concepts::Requirement::isSatisfied ( ) const

inline

Definition at line 202 of file ExprConcepts.h.

Referenced by diagnoseUnsatisfiedRequirement(), and diagnoseUnsatisfiedRequirement().

setContainsUnexpandedParameterPack()

void clang::concepts::Requirement::setContainsUnexpandedParameterPack ( bool Contains )

inline

Definition at line 217 of file ExprConcepts.h.

setDependent()

void clang::concepts::Requirement::setDependent ( bool IsDependent )

inline

Definition at line 214 of file ExprConcepts.h.

setSatisfied()

void clang::concepts::Requirement::setSatisfied ( bool IsSatisfied )

inline

Definition at line 208 of file ExprConcepts.h.

---

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

• include/clang/AST/ExprConcepts.h