clang
10.0.0git
|
The result of a constraint satisfaction check, containing the necessary information to diagnose an unsatisfied constraint. More...
#include "clang/AST/ASTConcept.h"
Public Member Functions | |
const UnsatisfiedConstraintRecord * | begin () const |
const UnsatisfiedConstraintRecord * | end () const |
ASTConstraintSatisfaction (const ASTContext &C, const ConstraintSatisfaction &Satisfaction) | |
Static Public Member Functions | |
static ASTConstraintSatisfaction * | Create (const ASTContext &C, const ConstraintSatisfaction &Satisfaction) |
Public Attributes | |
std::size_t | NumRecords |
bool | IsSatisfied: 1 |
The result of a constraint satisfaction check, containing the necessary information to diagnose an unsatisfied constraint.
This is safe to store in an AST node, as opposed to ConstraintSatisfaction.
Definition at line 77 of file ASTConcept.h.
ASTConstraintSatisfaction::ASTConstraintSatisfaction | ( | const ASTContext & | C, |
const ConstraintSatisfaction & | Satisfaction | ||
) |
Definition at line 23 of file ASTConcept.cpp.
References clang::C, clang::ConstraintSatisfaction::Details, IsSatisfied, memcpy(), and NumRecords.
Referenced by Create().
|
inline |
Definition at line 83 of file ASTConcept.h.
|
static |
Definition at line 52 of file ASTConcept.cpp.
References clang::ASTContext::Allocate(), ASTConstraintSatisfaction(), and clang::ConstraintSatisfaction::Details.
Referenced by readConstraintSatisfaction().
|
inline |
Definition at line 87 of file ASTConcept.h.
References clang::C, and clang::Create().
bool clang::ASTConstraintSatisfaction::IsSatisfied |
Definition at line 81 of file ASTConcept.h.
Referenced by addConstraintSatisfaction(), ASTConstraintSatisfaction(), clang::Sema::DiagnoseUnsatisfiedConstraint(), and clang::ConceptSpecializationExpr::isSatisfied().
std::size_t clang::ASTConstraintSatisfaction::NumRecords |
Definition at line 80 of file ASTConcept.h.
Referenced by addConstraintSatisfaction(), and ASTConstraintSatisfaction().