clang  13.0.0git
Classes | Namespaces
ExprConcepts.h File Reference
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTConcept.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclarationName.h"
#include "clang/AST/DeclTemplate.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/Support/TrailingObjects.h"
#include <utility>
#include <string>
Include dependency graph for ExprConcepts.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


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...


 Dataflow Directional Tag Classes.

Detailed Description

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

Definition in file ExprConcepts.h.