clang: clang::ASTConstraintSatisfaction Struct Reference

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"

Inheritance diagram for clang::ASTConstraintSatisfaction:

Public Member Functions
const UnsatisfiedConstraintRecord *	begin () const
const UnsatisfiedConstraintRecord *	end () const
ArrayRef< UnsatisfiedConstraintRecord >	records () 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

Detailed Description

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.

Constructor & Destructor Documentation

◆ ASTConstraintSatisfaction() [1/2]

ASTConstraintSatisfaction::ASTConstraintSatisfaction	(	const ASTContext &	C,
		const ConstraintSatisfaction &	Satisfaction )

Definition at line 44 of file ASTConcept.cpp.

References clang::C, ContainsErrors, CreateUnsatisfiedConstraintRecord(), clang::ConstraintSatisfaction::Details, IsSatisfied, and NumRecords.

Referenced by ASTConstraintSatisfaction(), Create(), and Rebuild().

◆ ASTConstraintSatisfaction() [2/2]

ASTConstraintSatisfaction::ASTConstraintSatisfaction	(	const ASTContext &	C,
		const ASTConstraintSatisfaction &	Satisfaction )

Definition at line 54 of file ASTConcept.cpp.

References ASTConstraintSatisfaction(), begin(), clang::C, ContainsErrors, CreateUnsatisfiedConstraintRecord(), IsSatisfied, and NumRecords.

Member Function Documentation

◆ begin()

const UnsatisfiedConstraintRecord * clang::ASTConstraintSatisfaction::begin ( ) const

inline

Definition at line 96 of file ASTConcept.h.

Referenced by ASTConstraintSatisfaction(), clang::ASTNodeImporter::ImportConstraintSatisfaction(), and records().

◆ Create()

ASTConstraintSatisfaction * ASTConstraintSatisfaction::Create	(	const ASTContext &	C,
		const ConstraintSatisfaction &	Satisfaction )

static

Definition at line 65 of file ASTConcept.cpp.

References ASTConstraintSatisfaction(), clang::C, and clang::ConstraintSatisfaction::Details.

◆ end()

const UnsatisfiedConstraintRecord * clang::ASTConstraintSatisfaction::end ( ) const

inline

Definition at line 100 of file ASTConcept.h.

References NumRecords.

Referenced by clang::ASTNodeImporter::ImportConstraintSatisfaction(), and records().

◆ Rebuild()

ASTConstraintSatisfaction * ASTConstraintSatisfaction::Rebuild	(	const ASTContext &	C,
		const ASTConstraintSatisfaction &	Satisfaction )

static

Definition at line 74 of file ASTConcept.cpp.

References ASTConstraintSatisfaction(), clang::C, and NumRecords.

Referenced by clang::Sema::BuildNestedRequirement(), and clang::ASTNodeImporter::ImportNestedRequirement().

◆ records()

ArrayRef< UnsatisfiedConstraintRecord > clang::ASTConstraintSatisfaction::records ( ) const

inline

Definition at line 104 of file ASTConcept.h.

References begin(), and end().

Referenced by clang::Sema::DiagnoseUnsatisfiedConstraint(), and diagnoseUnsatisfiedRequirement().

Member Data Documentation

◆ ContainsErrors

bool clang::ASTConstraintSatisfaction::ContainsErrors

Definition at line 94 of file ASTConcept.h.

Referenced by addConstraintSatisfaction(), ASTConstraintSatisfaction(), ASTConstraintSatisfaction(), clang::Sema::BuildExprRequirement(), clang::Sema::BuildStaticAssertDeclaration(), clang::computeDependence(), and clang::ASTNodeImporter::ImportConstraintSatisfaction().

◆ IsSatisfied

bool clang::ASTConstraintSatisfaction::IsSatisfied

Definition at line 93 of file ASTConcept.h.

Referenced by addConstraintSatisfaction(), ASTConstraintSatisfaction(), ASTConstraintSatisfaction(), clang::Sema::DiagnoseUnsatisfiedConstraint(), and clang::ASTNodeImporter::ImportConstraintSatisfaction().

◆ NumRecords

std::size_t clang::ASTConstraintSatisfaction::NumRecords

Definition at line 92 of file ASTConcept.h.

Referenced by addConstraintSatisfaction(), ASTConstraintSatisfaction(), ASTConstraintSatisfaction(), clang::Sema::BuildStaticAssertDeclaration(), end(), and Rebuild().

The documentation for this struct was generated from the following files:

include/clang/AST/ASTConcept.h
lib/AST/ASTConcept.cpp