clang 20.0.0git
Classes | Namespaces | Typedefs | Functions
ExprConcepts.h File Reference

Defines Expressions and AST nodes for C++2a concepts. More...

#include "clang/AST/ASTConcept.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/DeclarationName.h"
#include "clang/AST/Expr.h"
#include "clang/AST/NestedNameSpecifier.h"
#include "clang/AST/TemplateBase.h"
#include "clang/AST/Type.h"
#include "clang/Basic/SourceLocation.h"
#include "llvm/ADT/STLFunctionalExtras.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/TrailingObjects.h"
#include <string>
#include <utility>

Go to the source code of this file.

Classes

class  clang::ConceptSpecializationExpr
 Represents the specialization of a concept - evaluates to a prvalue of type bool. More...
 
class  clang::concepts::Requirement
 A static requirement that can be used in a requires-expression to check properties of types and expression. More...
 
struct  clang::concepts::Requirement::SubstitutionDiagnostic
 
class  clang::concepts::TypeRequirement
 A requires-expression requirement which queries the existence of a type name or type template specialization ('type' requirements). More...
 
class  clang::concepts::ExprRequirement
 A requires-expression requirement which queries the validity and properties of an expression ('simple' and 'compound' requirements). More...
 
class  clang::concepts::ExprRequirement::ReturnTypeRequirement
 
class  clang::concepts::NestedRequirement
 A requires-expression requirement which is satisfied when a general constraint expression is satisfied ('nested' requirements). More...
 
class  clang::RequiresExpr
 C++2a [expr.prim.req]: A requires-expression provides a concise way to express requirements on template arguments. More...
 

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
namespace  clang::concepts
 

Typedefs

using clang::concepts::EntityPrinter = llvm::function_ref< void(llvm::raw_ostream &)>
 

Functions

Requirement::SubstitutionDiagnostic * clang::concepts::createSubstDiagAt (Sema &S, SourceLocation Location, EntityPrinter Printer)
 create a Requirement::SubstitutionDiagnostic with only a SubstitutedEntity and DiagLoc using Sema's allocator.
 

Detailed Description

Defines Expressions and AST nodes for C++2a concepts.

Definition in file ExprConcepts.h.