clang
10.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 145 of file ExprConcepts.h.
Enumerator | |
---|---|
RK_Type | |
RK_Simple | |
RK_Compound | |
RK_Nested |
Definition at line 149 of file ExprConcepts.h.
|
inline |
Definition at line 165 of file ExprConcepts.h.
|
inline |
Definition at line 191 of file ExprConcepts.h.
|
inline |
Definition at line 171 of file ExprConcepts.h.
Referenced by clang::concepts::TypeRequirement::classof(), clang::concepts::ExprRequirement::classof(), and clang::concepts::NestedRequirement::classof().
|
inline |
Definition at line 186 of file ExprConcepts.h.
|
inline |
Definition at line 173 of file ExprConcepts.h.
|
inline |
Definition at line 188 of file ExprConcepts.h.
|
inline |
Definition at line 185 of file ExprConcepts.h.
|
inline |
Definition at line 179 of file ExprConcepts.h.