clang::concepts::NestedRequirement Class Reference

A requires-expression requirement which is satisfied when a general constraint expression is satisfied ('nested' requirements). More...

#include "clang/AST/ExprConcepts.h"

Inheritance diagram for clang::concepts::NestedRequirement:

Public Member Functions
	NestedRequirement (Expr *Constraint)
	NestedRequirement (ASTContext &C, Expr *Constraint, const ConstraintSatisfaction &Satisfaction)
	NestedRequirement (StringRef InvalidConstraintEntity, const ASTConstraintSatisfaction *Satisfaction)
	NestedRequirement (ASTContext &C, StringRef InvalidConstraintEntity, const ConstraintSatisfaction &Satisfaction)
bool	hasInvalidConstraint () const
StringRef	getInvalidConstraintEntity ()
Expr *	getConstraintExpr () const
const ASTConstraintSatisfaction &	getConstraintSatisfaction () 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

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

Detailed Description

A requires-expression requirement which is satisfied when a general constraint expression is satisfied ('nested' requirements).

Definition at line 432 of file ExprConcepts.h.

Constructor & Destructor Documentation

NestedRequirement() [1/4]

clang::concepts::NestedRequirement::NestedRequirement ( Expr * Constraint )

inline

Definition at line 442 of file ExprConcepts.h.

References clang::concepts::Requirement::containsUnexpandedParameterPack(), clang::concepts::Requirement::Requirement(), clang::concepts::Requirement::RK_Nested, and true.

Referenced by NestedRequirement().

NestedRequirement() [2/4]

clang::concepts::NestedRequirement::NestedRequirement ( ASTContext & C, Expr * Constraint, const ConstraintSatisfaction & Satisfaction )

inline

Definition at line 451 of file ExprConcepts.h.

References clang::C, clang::concepts::Requirement::containsUnexpandedParameterPack(), clang::Create(), clang::concepts::Requirement::Requirement(), and clang::concepts::Requirement::RK_Nested.

NestedRequirement() [3/4]

clang::concepts::NestedRequirement::NestedRequirement ( StringRef InvalidConstraintEntity, const ASTConstraintSatisfaction * Satisfaction )

inline

Definition at line 459 of file ExprConcepts.h.

References false, clang::concepts::Requirement::Requirement(), clang::concepts::Requirement::RK_Nested, and true.

NestedRequirement() [4/4]

clang::concepts::NestedRequirement::NestedRequirement ( ASTContext & C, StringRef InvalidConstraintEntity, const ConstraintSatisfaction & Satisfaction )

inline

Definition at line 468 of file ExprConcepts.h.

References clang::C, clang::Create(), and NestedRequirement().

Member Function Documentation

classof()

bool clang::concepts::NestedRequirement::classof ( const Requirement * R )

inlinestatic

Definition at line 491 of file ExprConcepts.h.

References clang::concepts::Requirement::getKind(), clang::concepts::Requirement::Requirement(), and clang::concepts::Requirement::RK_Nested.

getConstraintExpr()

Expr * clang::concepts::NestedRequirement::getConstraintExpr ( ) const

inline

Definition at line 480 of file ExprConcepts.h.

References hasInvalidConstraint().

Referenced by clang::ASTNodeImporter::ImportNestedRequirement(), clang::TreeTransform< Derived >::TransformNestedRequirement(), and clang::RecursiveASTVisitor< Derived >::TraverseConceptNestedRequirement().

getConstraintSatisfaction()

const ASTConstraintSatisfaction & clang::concepts::NestedRequirement::getConstraintSatisfaction ( ) const

inline

Definition at line 487 of file ExprConcepts.h.

Referenced by diagnoseUnsatisfiedRequirement(), clang::ASTNodeImporter::ImportNestedRequirement(), and clang::TreeTransform< Derived >::TransformNestedRequirement().

getInvalidConstraintEntity()

StringRef clang::concepts::NestedRequirement::getInvalidConstraintEntity ( )

inline

Definition at line 475 of file ExprConcepts.h.

References hasInvalidConstraint().

Referenced by diagnoseUnsatisfiedRequirement(), clang::ASTNodeImporter::ImportNestedRequirement(), and clang::TreeTransform< Derived >::TransformNestedRequirement().

hasInvalidConstraint()

bool clang::concepts::NestedRequirement::hasInvalidConstraint ( ) const

inline

Definition at line 473 of file ExprConcepts.h.

Referenced by getConstraintExpr(), getInvalidConstraintEntity(), clang::ASTNodeImporter::ImportNestedRequirement(), clang::TreeTransform< Derived >::TransformNestedRequirement(), and clang::RecursiveASTVisitor< Derived >::TraverseConceptNestedRequirement().

Member Data Documentation

ASTStmtReader

friend clang::concepts::NestedRequirement::ASTStmtReader

Definition at line 439 of file ExprConcepts.h.

ASTStmtWriter

friend clang::concepts::NestedRequirement::ASTStmtWriter

Definition at line 440 of file ExprConcepts.h.

---

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

• include/clang/AST/ExprConcepts.h