clang 22.0.0git
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:
[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 89 of file ASTConcept.h.

Constructor & Destructor Documentation

◆ ASTConstraintSatisfaction() [1/2]

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

◆ ASTConstraintSatisfaction() [2/2]

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

Member Function Documentation

◆ begin()

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

◆ Create()

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

◆ end()

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

Definition at line 100 of file ASTConcept.h.

References NumRecords.

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

◆ Rebuild()

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

Member Data Documentation

◆ ContainsErrors

◆ IsSatisfied

◆ NumRecords

std::size_t clang::ASTConstraintSatisfaction::NumRecords

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