clang
10.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 402 of file ExprConcepts.h.
|
inline |
Definition at line 410 of file ExprConcepts.h.
|
inline |
Definition at line 415 of file ExprConcepts.h.
References clang::Expr::isInstantiationDependent().
|
inline |
Definition at line 424 of file ExprConcepts.h.
|
inlinestatic |
Definition at line 457 of file ExprConcepts.h.
References clang::concepts::Requirement::getKind().
|
inline |
Definition at line 443 of file ExprConcepts.h.
Referenced by clang::TreeTransform< Derived >::TransformNestedRequirement().
|
inline |
Definition at line 450 of file ExprConcepts.h.
References clang::ConceptSpecializationExpr::Satisfaction.
|
inline |
Definition at line 436 of file ExprConcepts.h.
Referenced by clang::TreeTransform< Derived >::TransformNestedRequirement().
|
inline |
Definition at line 432 of file ExprConcepts.h.
Referenced by clang::TreeTransform< Derived >::TransformNestedRequirement().
friend clang::concepts::NestedRequirement::ASTStmtReader |
Definition at line 407 of file ExprConcepts.h.
friend clang::concepts::NestedRequirement::ASTStmtWriter |
Definition at line 408 of file ExprConcepts.h.