#include "clang/AST/ExprConcepts.h"
Public Member Functions | |
| ReturnTypeRequirement () | |
| No return type requirement was specified. | |
| ReturnTypeRequirement (SubstitutionDiagnostic *SubstDiag) | |
| A return type requirement was specified but it was a substitution failure. | |
| ReturnTypeRequirement (TemplateParameterList *TPL) | |
| A 'type constraint' style return type requirement. | |
| bool | isDependent () const |
| bool | containsUnexpandedParameterPack () const |
| bool | isEmpty () const |
| bool | isSubstitutionFailure () const |
| bool | isTypeConstraint () const |
| SubstitutionDiagnostic * | getSubstitutionDiagnostic () const |
| const TypeConstraint * | getTypeConstraint () const |
| TemplateParameterList * | getTypeConstraintTemplateParameterList () const |
Public Attributes | |
| friend | ASTStmtReader |
| friend | ASTStmtWriter |
Detailed Description
Definition at line 265 of file ExprConcepts.h.
Constructor & Destructor Documentation
◆ ReturnTypeRequirement() [1/3]
|
inline |
No return type requirement was specified.
Definition at line 275 of file ExprConcepts.h.
◆ ReturnTypeRequirement() [2/3]
|
inline |
A return type requirement was specified but it was a substitution failure.
Definition at line 279 of file ExprConcepts.h.
◆ ReturnTypeRequirement() [3/3]
| concepts::ExprRequirement::ReturnTypeRequirement::ReturnTypeRequirement | ( | TemplateParameterList * | TPL | ) |
A 'type constraint' style return type requirement.
- Parameters
-
TPL an invented template parameter list containing a single type parameter with a type-constraint.
Definition at line 1526 of file SemaConcept.cpp.
References clang::TemplateSpecializationType::anyInstantiationDependentTemplateArguments(), clang::TypeConstraint::getImmediatelyDeclaredConstraint(), clang::TemplateParameterList::getParam(), and clang::TemplateParameterList::size().
Member Function Documentation
◆ containsUnexpandedParameterPack()
|
inline |
Definition at line 294 of file ExprConcepts.h.
References clang::TemplateParameterList::containsUnexpandedParameterPack(), getTypeConstraintTemplateParameterList(), and isTypeConstraint().
◆ getSubstitutionDiagnostic()
|
inline |
Definition at line 315 of file ExprConcepts.h.
References isSubstitutionFailure().
Referenced by diagnoseUnsatisfiedRequirement().
◆ getTypeConstraint()
| const TypeConstraint * concepts::ExprRequirement::ReturnTypeRequirement::getTypeConstraint | ( | ) | const |
Definition at line 107 of file ExprConcepts.cpp.
References isTypeConstraint().
◆ getTypeConstraintTemplateParameterList()
|
inline |
Definition at line 322 of file ExprConcepts.h.
References isTypeConstraint().
Referenced by clang::Sema::BuildExprRequirement(), and containsUnexpandedParameterPack().
◆ isDependent()
|
inline |
Definition at line 290 of file ExprConcepts.h.
Referenced by clang::Sema::BuildExprRequirement().
◆ isEmpty()
|
inline |
Definition at line 301 of file ExprConcepts.h.
Referenced by clang::concepts::ExprRequirement::ExprRequirement(), isSubstitutionFailure(), and isTypeConstraint().
◆ isSubstitutionFailure()
|
inline |
Definition at line 305 of file ExprConcepts.h.
References isEmpty().
Referenced by clang::Sema::BuildExprRequirement(), and getSubstitutionDiagnostic().
◆ isTypeConstraint()
|
inline |
Definition at line 310 of file ExprConcepts.h.
References isEmpty().
Referenced by clang::Sema::BuildExprRequirement(), containsUnexpandedParameterPack(), clang::concepts::ExprRequirement::ExprRequirement(), getTypeConstraint(), and getTypeConstraintTemplateParameterList().
Member Data Documentation
◆ ASTStmtReader
| friend clang::concepts::ExprRequirement::ReturnTypeRequirement::ASTStmtReader |
Definition at line 271 of file ExprConcepts.h.
◆ ASTStmtWriter
| friend clang::concepts::ExprRequirement::ReturnTypeRequirement::ASTStmtWriter |
Definition at line 272 of file ExprConcepts.h.
The documentation for this class was generated from the following files:
- include/clang/AST/ExprConcepts.h
- lib/AST/ExprConcepts.cpp
- lib/Sema/SemaConcept.cpp
