clang 17.0.0git
|
A static requirement that can be used in a requires-expression to check properties of types and expression. More...
#include "clang/AST/ExprConcepts.h"
Classes | |
struct | SubstitutionDiagnostic |
Public Types | |
enum | RequirementKind { RK_Type , RK_Simple , RK_Compound , RK_Nested } |
Public Member Functions | |
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 |
A static requirement that can be used in a requires-expression to check properties of types and expression.
Definition at line 146 of file ExprConcepts.h.
Enumerator | |
---|---|
RK_Type | |
RK_Simple | |
RK_Compound | |
RK_Nested |
Definition at line 150 of file ExprConcepts.h.
|
inline |
Definition at line 167 of file ExprConcepts.h.
|
inline |
Definition at line 193 of file ExprConcepts.h.
Referenced by clang::JSONNodeDumper::Visit(), and clang::TextNodeDumper::Visit().
|
inline |
Definition at line 173 of file ExprConcepts.h.
Referenced by clang::concepts::TypeRequirement::classof(), clang::concepts::ExprRequirement::classof(), clang::concepts::NestedRequirement::classof(), clang::concepts::ExprRequirement::isCompound(), clang::concepts::ExprRequirement::isSimple(), clang::RecursiveASTVisitor< Derived >::TraverseConceptRequirement(), clang::JSONNodeDumper::Visit(), and clang::TextNodeDumper::Visit().
|
inline |
Definition at line 188 of file ExprConcepts.h.
Referenced by clang::JSONNodeDumper::Visit(), and clang::TextNodeDumper::Visit().
|
inline |
Definition at line 175 of file ExprConcepts.h.
Referenced by diagnoseUnsatisfiedRequirement(), clang::JSONNodeDumper::Visit(), and clang::TextNodeDumper::Visit().
|
inline |
Definition at line 190 of file ExprConcepts.h.
|
inline |
Definition at line 187 of file ExprConcepts.h.
|
inline |
Definition at line 181 of file ExprConcepts.h.