struct ASTConstraintSatisfaction

Declaration

struct ASTConstraintSatisfaction : public TrailingObjects { /* full declaration omitted */ };

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.

Declared at: clang/include/clang/AST/ASTConcept.h:76

Inherits from: TrailingObjects

Member Variables

public std::size_t NumRecords

public bool IsSatisfied

Method Overview

• public ASTConstraintSatisfaction(const clang::ASTContext & C, const clang::ConstraintSatisfaction & Satisfaction)
• public static clang::ASTConstraintSatisfaction * Create(const clang::ASTContext & C, const clang::ConstraintSatisfaction & Satisfaction)
• public const clang::UnsatisfiedConstraintRecord * begin() const
• public const clang::UnsatisfiedConstraintRecord * end() const

Methods

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

Declared at: clang/include/clang/AST/ASTConcept.h:90

Parameters

const clang::ASTContext& C

const clang::ConstraintSatisfaction& Satisfaction

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

Declared at: clang/include/clang/AST/ASTConcept.h:94

Parameters

const clang::ASTContext& C

const clang::ConstraintSatisfaction& Satisfaction

¶const clang::UnsatisfiedConstraintRecord* begin()
    const

Declared at: clang/include/clang/AST/ASTConcept.h:82

¶const clang::UnsatisfiedConstraintRecord* end()
    const

Declared at: clang/include/clang/AST/ASTConcept.h:86