The result of a constraint satisfaction check, containing the necessary information to diagnose an unsatisfied constraint. More...
#include "clang/AST/ASTConcept.h"
Public Types | |
| using | SubstitutionDiagnostic = std::pair< SourceLocation, StringRef > |
| using | Detail = llvm::PointerUnion< Expr *, SubstitutionDiagnostic * > |
Public Member Functions | |
| ConstraintSatisfaction ()=default | |
| ConstraintSatisfaction (const NamedDecl *ConstraintOwner, ArrayRef< TemplateArgument > TemplateArgs) | |
| void | Profile (llvm::FoldingSetNodeID &ID, const ASTContext &C) |
| bool | HasSubstitutionFailure () |
Static Public Member Functions | |
| static void | Profile (llvm::FoldingSetNodeID &ID, const ASTContext &C, const NamedDecl *ConstraintOwner, ArrayRef< TemplateArgument > TemplateArgs) |
Public Attributes | |
| bool | IsSatisfied = false |
| bool | ContainsErrors = false |
| llvm::SmallVector< std::pair< const Expr *, Detail >, 4 > | Details |
| Pairs of unsatisfied atomic constraint expressions along with the substituted constraint expr, if the template arguments could be substituted into them, or a diagnostic if substitution resulted in an invalid expression. | |
Detailed Description
The result of a constraint satisfaction check, containing the necessary information to diagnose an unsatisfied constraint.
Definition at line 35 of file ASTConcept.h.
Member Typedef Documentation
◆ Detail
| using clang::ConstraintSatisfaction::Detail = llvm::PointerUnion<Expr *, SubstitutionDiagnostic *> |
Definition at line 51 of file ASTConcept.h.
◆ SubstitutionDiagnostic
| using clang::ConstraintSatisfaction::SubstitutionDiagnostic = std::pair<SourceLocation, StringRef> |
Definition at line 50 of file ASTConcept.h.
Constructor & Destructor Documentation
◆ ConstraintSatisfaction() [1/2]
|
default |
◆ ConstraintSatisfaction() [2/2]
|
inline |
Definition at line 45 of file ASTConcept.h.
Member Function Documentation
◆ HasSubstitutionFailure()
|
inline |
Definition at line 70 of file ASTConcept.h.
References Details.
◆ Profile() [1/2]
|
inline |
Definition at line 62 of file ASTConcept.h.
References clang::C, ID, and Profile().
Referenced by clang::Sema::CheckConstraintSatisfaction(), and Profile().
◆ Profile() [2/2]
|
static |
Definition at line 83 of file ASTConcept.cpp.
References clang::C.
Member Data Documentation
◆ ContainsErrors
Definition at line 54 of file ASTConcept.h.
Referenced by calculateConstraintSatisfaction(), and readConstraintSatisfaction().
◆ Details
| llvm::SmallVector<std::pair<const Expr *, Detail>, 4> clang::ConstraintSatisfaction::Details |
Pairs of unsatisfied atomic constraint expressions along with the substituted constraint expr, if the template arguments could be substituted into them, or a diagnostic if substitution resulted in an invalid expression.
Definition at line 60 of file ASTConcept.h.
Referenced by clang::ASTConstraintSatisfaction::ASTConstraintSatisfaction(), calculateConstraintSatisfaction(), clang::ASTConstraintSatisfaction::Create(), clang::Sema::DiagnoseUnsatisfiedConstraint(), HasSubstitutionFailure(), and readConstraintSatisfaction().
◆ IsSatisfied
Definition at line 53 of file ASTConcept.h.
Referenced by clang::Sema::AddConversionCandidate(), clang::Sema::AddMethodCandidate(), clang::Sema::AddOverloadCandidate(), clang::Sema::AddSurrogateCandidate(), calculateConstraintSatisfaction(), checkAddressOfFunctionIsAvailable(), clang::Sema::CheckConstraintSatisfaction(), CheckConstraintSatisfaction(), CheckDeducedArgumentConstraints(), CheckDeducedPlaceholderConstraints(), clang::Sema::CheckFunctionConstraints(), clang::Sema::CheckInstantiatedFunctionTemplateConstraints(), clang::Sema::DiagnoseUnsatisfiedConstraint(), clang::Sema::DiagnoseUseOfDecl(), clang::Sema::EnsureTemplateArgumentListConstraints(), clang::Sema::FinishTemplateArgumentDeduction(), clang::Sema::InstantiateClassMembers(), readConstraintSatisfaction(), and SetEligibleMethods().
The documentation for this class was generated from the following files:
- include/clang/AST/ASTConcept.h
- lib/AST/ASTConcept.cpp
