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.