A requires-expression requirement which queries the validity and properties of an expression ('simple' and 'compound' requirements). More...

Inheritance diagram for clang::concepts::ExprRequirement:

[legend]

Public Types
enum	SatisfactionStatus { SS_Dependent , SS_ExprSubstitutionFailure , SS_NoexceptNotMet , SS_TypeRequirementSubstitutionFailure , SS_ConstraintsNotSatisfied , SS_Satisfied }

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

Public Member Functions
	ExprRequirement (Expr E, bool IsSimple, SourceLocation NoexceptLoc, ReturnTypeRequirement Req, SatisfactionStatus Status, ConceptSpecializationExpr SubstitutedConstraintExpr=nullptr)
	Construct a compound requirement.

	ExprRequirement (SubstitutionDiagnostic *E, bool IsSimple, SourceLocation NoexceptLoc, ReturnTypeRequirement Req={})
	Construct a compound requirement whose expression was a substitution failure.

bool	isSimple () const

bool	isCompound () const

bool	hasNoexceptRequirement () const

SourceLocation	getNoexceptLoc () const

SatisfactionStatus	getSatisfactionStatus () const

bool	isExprSubstitutionFailure () const

const ReturnTypeRequirement &	getReturnTypeRequirement () const

ConceptSpecializationExpr *	getReturnTypeRequirementSubstitutedConstraintExpr () const

SubstitutionDiagnostic *	getExprSubstitutionDiagnostic () const

Expr *	getExpr () 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)

Detailed Description

A requires-expression requirement which queries the validity and properties of an expression ('simple' and 'compound' requirements).

Definition at line 280 of file ExprConcepts.h.

Member Enumeration Documentation

Enumerator
SS_Dependent
SS_ExprSubstitutionFailure
SS_NoexceptNotMet
SS_TypeRequirementSubstitutionFailure
SS_ConstraintsNotSatisfied
SS_Satisfied

Definition at line 282 of file ExprConcepts.h.

concepts::ExprRequirement::ExprRequirement	(	Expr *	E,
		bool	IsSimple,
		SourceLocation	NoexceptLoc,
		ReturnTypeRequirement	Req,
		SatisfactionStatus	Status,
		ConceptSpecializationExpr *	SubstitutedConstraintExpr = `nullptr`
	)

Construct a compound requirement.

Parameters

E	the expression which is checked by this requirement.
IsSimple	whether this was a simple requirement in source.
NoexceptLoc	the location of the noexcept keyword, if it was specified, otherwise an empty location.
Req	the requirement for the type of the checked expression.
Status	the satisfaction status of this requirement.

Definition at line 1873 of file SemaConcept.cpp.

concepts::ExprRequirement::ExprRequirement	(	SubstitutionDiagnostic *	E,
		bool	IsSimple,
		SourceLocation	NoexceptLoc,
		ReturnTypeRequirement	Req = `{}`
	)

Construct a compound requirement whose expression was a substitution failure.

The requirement is not satisfied.

Parameters

E	the diagnostic emitted while instantiating the original expression.
IsSimple	whether this was a simple requirement in source.
NoexceptLoc	the location of the noexcept keyword, if it was specified, otherwise an empty location.
Req	the requirement for the type of the checked expression (omit if no requirement was specified).

Definition at line 1891 of file SemaConcept.cpp.