clang 22.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) | |
ASTConstraintSatisfaction (const ASTContext &C, const ASTConstraintSatisfaction &Satisfaction) |
Static Public Member Functions | |
static ASTConstraintSatisfaction * | Create (const ASTContext &C, const ConstraintSatisfaction &Satisfaction) |
static ASTConstraintSatisfaction * | Rebuild (const ASTContext &C, const ASTConstraintSatisfaction &Satisfaction) |
Public Attributes | |
std::size_t | NumRecords |
bool | IsSatisfied: 1 |
bool | ContainsErrors: 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 89 of file ASTConcept.h.
ASTConstraintSatisfaction::ASTConstraintSatisfaction | ( | const ASTContext & | C, |
const ConstraintSatisfaction & | Satisfaction ) |
Definition at line 39 of file ASTConcept.cpp.
References clang::C, ContainsErrors, CreateUnsatisfiedConstraintRecord(), clang::ConstraintSatisfaction::Details, IsSatisfied, and NumRecords.
Referenced by ASTConstraintSatisfaction(), Create(), and Rebuild().
ASTConstraintSatisfaction::ASTConstraintSatisfaction | ( | const ASTContext & | C, |
const ASTConstraintSatisfaction & | Satisfaction ) |
Definition at line 49 of file ASTConcept.cpp.
References ASTConstraintSatisfaction(), begin(), clang::C, ContainsErrors, CreateUnsatisfiedConstraintRecord(), IsSatisfied, and NumRecords.
|
inline |
Definition at line 96 of file ASTConcept.h.
Referenced by ASTConstraintSatisfaction(), and clang::ASTNodeImporter::ImportConstraintSatisfaction().
|
static |
Definition at line 60 of file ASTConcept.cpp.
References ASTConstraintSatisfaction(), clang::C, and clang::ConstraintSatisfaction::Details.
|
inline |
Definition at line 100 of file ASTConcept.h.
References NumRecords.
Referenced by clang::ASTNodeImporter::ImportConstraintSatisfaction().
|
static |
Definition at line 69 of file ASTConcept.cpp.
References ASTConstraintSatisfaction(), clang::C, and NumRecords.
Referenced by clang::Sema::BuildNestedRequirement(), and clang::ASTNodeImporter::ImportNestedRequirement().
bool clang::ASTConstraintSatisfaction::ContainsErrors |
Definition at line 94 of file ASTConcept.h.
Referenced by addConstraintSatisfaction(), ASTConstraintSatisfaction(), ASTConstraintSatisfaction(), clang::computeDependence(), and clang::ASTNodeImporter::ImportConstraintSatisfaction().
bool clang::ASTConstraintSatisfaction::IsSatisfied |
Definition at line 93 of file ASTConcept.h.
Referenced by addConstraintSatisfaction(), ASTConstraintSatisfaction(), ASTConstraintSatisfaction(), clang::Sema::DiagnoseUnsatisfiedConstraint(), and clang::ASTNodeImporter::ImportConstraintSatisfaction().
std::size_t clang::ASTConstraintSatisfaction::NumRecords |
Definition at line 92 of file ASTConcept.h.
Referenced by addConstraintSatisfaction(), ASTConstraintSatisfaction(), ASTConstraintSatisfaction(), end(), and Rebuild().