clang: clang::ASTConstraintSatisfaction Class Reference

clang 24.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
bool	isSatisfied () const
bool	containsErrors () const
unsigned	record_size () const

Static Public Member Functions
static ASTConstraintSatisfaction *	Create (const ASTContext &C, const ConstraintSatisfaction &Satisfaction)
static ASTConstraintSatisfaction *	Rebuild (const ASTContext &C, const ASTConstraintSatisfaction &Satisfaction)

Friends
class	ASTStmtWriter
class	ASTStmtReader

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

Member Function Documentation

◆ begin()

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

inline

Definition at line 91 of file ASTConcept.h.

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

◆ containsErrors()

bool clang::ASTConstraintSatisfaction::containsErrors ( ) const

inline

Definition at line 105 of file ASTConcept.h.

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

◆ Create()

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

static

Definition at line 65 of file ASTConcept.cpp.

References clang::C, and clang::ConstraintSatisfaction::Details.

◆ end()

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

inline

Definition at line 95 of file ASTConcept.h.

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

◆ isSatisfied()

bool clang::ASTConstraintSatisfaction::isSatisfied ( ) const

inline

Definition at line 103 of file ASTConcept.h.

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

◆ Rebuild()

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

static

Definition at line 74 of file ASTConcept.cpp.

References clang::C.

Referenced by clang::ASTNodeImporter::ImportNestedRequirement().

◆ record_size()

unsigned clang::ASTConstraintSatisfaction::record_size ( ) const

inline

Definition at line 107 of file ASTConcept.h.

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

◆ records()

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

inline

Definition at line 99 of file ASTConcept.h.

References begin(), and end().

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

◆ ASTStmtReader

friend class ASTStmtReader

friend

Definition at line 78 of file ASTConcept.h.

References ASTStmtReader, and clang::C.

Referenced by ASTStmtReader.

◆ ASTStmtWriter

friend class ASTStmtWriter

friend

Definition at line 77 of file ASTConcept.h.

References ASTStmtWriter.

Referenced by ASTStmtWriter.

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

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