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
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< UnsatisfiedConstraintRecord, 1 >	Details
	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 47 of file ASTConcept.h.

Member Function Documentation

◆ HasSubstitutionFailure()

bool clang::ConstraintSatisfaction::HasSubstitutionFailure ( )

inline

Definition at line 61 of file ASTConcept.h.

References Details.

Referenced by clang::Sema::BuildNestedRequirement().

◆ Profile()

void ConstraintSatisfaction::Profile	(	llvm::FoldingSetNodeID &	ID,
		const ASTContext &	C,
		const NamedDecl *	ConstraintOwner,
		ArrayRef< TemplateArgument >	TemplateArgs )

static

Definition at line 82 of file ASTConcept.cpp.

References clang::C.

Referenced by clang::Sema::CheckConstraintSatisfaction().

Member Data Documentation

◆ ContainsErrors

bool clang::ConstraintSatisfaction::ContainsErrors = false

Definition at line 50 of file ASTConcept.h.

Referenced by clang::Sema::CheckConceptTemplateId(), clang::ASTNodeImporter::ImportConstraintSatisfaction(), and readConstraintSatisfaction().

◆ Details

llvm::SmallVector<UnsatisfiedConstraintRecord, 1> clang::ConstraintSatisfaction::Details

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 55 of file ASTConcept.h.

Referenced by clang::ASTConstraintSatisfaction::Create(), clang::Sema::DiagnoseUnsatisfiedConstraint(), HasSubstitutionFailure(), clang::ASTNodeImporter::ImportConstraintSatisfaction(), and readConstraintSatisfaction().

◆ IsSatisfied

bool clang::ConstraintSatisfaction::IsSatisfied = false

Definition at line 49 of file ASTConcept.h.

Referenced by clang::Sema::ActOnExplicitInstantiation(), clang::Sema::AddConversionCandidate(), clang::Sema::AddMethodCandidate(), clang::Sema::AddOverloadCandidate(), clang::Sema::AddSurrogateCandidate(), checkAddressOfFunctionIsAvailable(), clang::Sema::checkClassLevelDLLAttribute(), CheckConstraintSatisfaction(), clang::Sema::CheckConstraintSatisfaction(), CheckDeducedArgumentConstraints(), CheckDeducedPlaceholderConstraints(), clang::Sema::CheckFunctionConstraints(), CheckFunctionConstraintsWithoutInstantiation(), clang::Sema::CheckFunctionTemplateConstraints(), clang::Sema::DeduceTemplateArguments(), clang::Sema::DiagnoseUnsatisfiedConstraint(), clang::Sema::DiagnoseUseOfDecl(), clang::Sema::EnsureTemplateArgumentListConstraints(), clang::Sema::FinishTemplateArgumentDeduction(), clang::ASTNodeImporter::ImportConstraintSatisfaction(), 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

Public Member Functions

Static Public Member Functions

Public Attributes