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

Inheritance diagram for clang::concepts::ExprRequirement:

Classes
class	ReturnTypeRequirement

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 282 of file ExprConcepts.h.

Member Enumeration Documentation

Enumerator
SS_Dependent
SS_ExprSubstitutionFailure
SS_NoexceptNotMet
SS_TypeRequirementSubstitutionFailure
SS_ConstraintsNotSatisfied
SS_Satisfied

Definition at line 284 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 119 of file ASTConcept.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 137 of file ASTConcept.cpp.