clang 19.0.0git
Public Member Functions | Static Public Member Functions | Public Attributes | List of all members
clang::ASTConstraintSatisfaction Struct Referencefinal

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:
Inheritance graph
[legend]

Public Member Functions

const UnsatisfiedConstraintRecordbegin () const
 
const UnsatisfiedConstraintRecordend () const
 
 ASTConstraintSatisfaction (const ASTContext &C, const ConstraintSatisfaction &Satisfaction)
 
 ASTConstraintSatisfaction (const ASTContext &C, const ASTConstraintSatisfaction &Satisfaction)
 

Static Public Member Functions

static ASTConstraintSatisfactionCreate (const ASTContext &C, const ConstraintSatisfaction &Satisfaction)
 
static ASTConstraintSatisfactionRebuild (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 91 of file ASTConcept.h.

Constructor & Destructor Documentation

◆ ASTConstraintSatisfaction() [1/2]

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

Definition at line 43 of file ASTConcept.cpp.

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

◆ ASTConstraintSatisfaction() [2/2]

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

Definition at line 54 of file ASTConcept.cpp.

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

Member Function Documentation

◆ begin()

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

Definition at line 98 of file ASTConcept.h.

Referenced by ASTConstraintSatisfaction().

◆ Create()

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

Definition at line 66 of file ASTConcept.cpp.

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

◆ end()

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

Definition at line 102 of file ASTConcept.h.

References NumRecords.

◆ Rebuild()

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

Definition at line 75 of file ASTConcept.cpp.

References clang::C, and NumRecords.

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

Member Data Documentation

◆ ContainsErrors

bool clang::ASTConstraintSatisfaction::ContainsErrors

Definition at line 96 of file ASTConcept.h.

Referenced by addConstraintSatisfaction(), and clang::computeDependence().

◆ IsSatisfied

bool clang::ASTConstraintSatisfaction::IsSatisfied

◆ NumRecords

std::size_t clang::ASTConstraintSatisfaction::NumRecords

Definition at line 94 of file ASTConcept.h.

Referenced by addConstraintSatisfaction(), ASTConstraintSatisfaction(), end(), and Rebuild().


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