clang 17.0.0git
|
A requires-expression requirement which queries the existence of a type name or type template specialization ('type' requirements). More...
#include "clang/AST/ExprConcepts.h"
Public Types | |
enum | SatisfactionStatus { SS_Dependent , SS_SubstitutionFailure , SS_Satisfied } |
![]() | |
enum | RequirementKind { RK_Type , RK_Simple , RK_Compound , RK_Nested } |
Public Member Functions | |
TypeRequirement (TypeSourceInfo *T) | |
Construct a type requirement from a type. | |
TypeRequirement (SubstitutionDiagnostic *Diagnostic) | |
Construct a type requirement when the nested name specifier is invalid due to a bad substitution. | |
SatisfactionStatus | getSatisfactionStatus () const |
void | setSatisfactionStatus (SatisfactionStatus Status) |
bool | isSubstitutionFailure () const |
SubstitutionDiagnostic * | getSubstitutionDiagnostic () const |
TypeSourceInfo * | getType () 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 |
A requires-expression requirement which queries the existence of a type name or type template specialization ('type' requirements).
Definition at line 200 of file ExprConcepts.h.
Enumerator | |
---|---|
SS_Dependent | |
SS_SubstitutionFailure | |
SS_Satisfied |
Definition at line 202 of file ExprConcepts.h.
concepts::TypeRequirement::TypeRequirement | ( | TypeSourceInfo * | T | ) |
Construct a type requirement from a type.
If the given type is not dependent, this indicates that the type exists and the requirement will be satisfied. Otherwise, the SubstitutionDiagnostic constructor is to be used.
Definition at line 1603 of file SemaConcept.cpp.
|
inline |
Construct a type requirement when the nested name specifier is invalid due to a bad substitution.
The requirement is unsatisfied.
Definition at line 222 of file ExprConcepts.h.
|
inlinestatic |
Definition at line 248 of file ExprConcepts.h.
References clang::concepts::Requirement::getKind(), and clang::concepts::Requirement::RK_Type.
|
inline |
Definition at line 226 of file ExprConcepts.h.
Referenced by diagnoseUnsatisfiedRequirement().
|
inline |
Definition at line 235 of file ExprConcepts.h.
References SS_SubstitutionFailure.
Referenced by diagnoseUnsatisfiedRequirement(), and clang::TreeTransform< Derived >::TransformTypeRequirement().
|
inline |
Definition at line 242 of file ExprConcepts.h.
References isSubstitutionFailure().
Referenced by clang::TreeTransform< Derived >::TransformTypeRequirement(), and clang::RecursiveASTVisitor< Derived >::TraverseConceptTypeRequirement().
|
inline |
Definition at line 231 of file ExprConcepts.h.
References SS_SubstitutionFailure.
Referenced by getType(), clang::TreeTransform< Derived >::TransformTypeRequirement(), and clang::RecursiveASTVisitor< Derived >::TraverseConceptTypeRequirement().
|
inline |
Definition at line 227 of file ExprConcepts.h.
friend clang::concepts::TypeRequirement::ASTStmtReader |
Definition at line 211 of file ExprConcepts.h.
friend clang::concepts::TypeRequirement::ASTStmtWriter |
Definition at line 212 of file ExprConcepts.h.