clang
15.0.0git
|
A requires-expression requirement which is satisfied when a general constraint expression is satisfied ('nested' requirements). More...
#include "clang/AST/ExprConcepts.h"
Public Member Functions | |
NestedRequirement (SubstitutionDiagnostic *SubstDiag) | |
NestedRequirement (Expr *Constraint) | |
NestedRequirement (ASTContext &C, Expr *Constraint, const ConstraintSatisfaction &Satisfaction) | |
bool | isSubstitutionFailure () const |
SubstitutionDiagnostic * | getSubstitutionDiagnostic () const |
Expr * | getConstraintExpr () const |
const ASTConstraintSatisfaction & | getConstraintSatisfaction () const |
![]() | |
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 | |
![]() | |
enum | RequirementKind { RK_Type, RK_Simple, RK_Compound, RK_Nested } |
A requires-expression requirement which is satisfied when a general constraint expression is satisfied ('nested' requirements).
Definition at line 407 of file ExprConcepts.h.
|
inline |
Definition at line 415 of file ExprConcepts.h.
|
inline |
Definition at line 420 of file ExprConcepts.h.
References clang::Expr::isInstantiationDependent().
|
inline |
Definition at line 429 of file ExprConcepts.h.
|
inlinestatic |
Definition at line 462 of file ExprConcepts.h.
References clang::concepts::Requirement::getKind(), and clang::concepts::Requirement::RK_Nested.
|
inline |
Definition at line 448 of file ExprConcepts.h.
References isSubstitutionFailure().
Referenced by clang::TreeTransform< Derived >::TransformNestedRequirement(), and clang::RecursiveASTVisitor< CallGraph >::TraverseConceptNestedRequirement().
|
inline |
Definition at line 455 of file ExprConcepts.h.
References isSubstitutionFailure().
|
inline |
Definition at line 441 of file ExprConcepts.h.
References isSubstitutionFailure().
Referenced by clang::TreeTransform< Derived >::TransformNestedRequirement().
|
inline |
Definition at line 437 of file ExprConcepts.h.
Referenced by getConstraintExpr(), getConstraintSatisfaction(), getSubstitutionDiagnostic(), clang::TreeTransform< Derived >::TransformNestedRequirement(), and clang::RecursiveASTVisitor< CallGraph >::TraverseConceptNestedRequirement().
friend clang::concepts::NestedRequirement::ASTStmtReader |
Definition at line 412 of file ExprConcepts.h.
friend clang::concepts::NestedRequirement::ASTStmtWriter |
Definition at line 413 of file ExprConcepts.h.