clang
6.0.0
|
Provides information about an attempted template argument deduction, whose success or failure was described by a TemplateDeductionResult value. More...
#include "clang/Sema/TemplateDeduction.h"
Public Types | |
typedef SmallVectorImpl< PartialDiagnosticAt >::const_iterator | diag_iterator |
Iterator over the set of suppressed diagnostics. More... | |
Public Member Functions | |
TemplateDeductionInfo (SourceLocation Loc, unsigned DeducedDepth=0) | |
SourceLocation | getLocation () const |
Returns the location at which template argument is occurring. More... | |
unsigned | getDeducedDepth () const |
The depth of template parameters for which deduction is being performed. More... | |
TemplateArgumentList * | take () |
Take ownership of the deduced template argument list. More... | |
void | takeSFINAEDiagnostic (PartialDiagnosticAt &PD) |
Take ownership of the SFINAE diagnostic. More... | |
void | clearSFINAEDiagnostic () |
Discard any SFINAE diagnostics. More... | |
const PartialDiagnosticAt & | peekSFINAEDiagnostic () const |
Peek at the SFINAE diagnostic. More... | |
void | reset (TemplateArgumentList *NewDeduced) |
Provide a new template argument list that contains the results of template argument deduction. More... | |
bool | hasSFINAEDiagnostic () const |
Is a SFINAE diagnostic available? More... | |
void | addSFINAEDiagnostic (SourceLocation Loc, PartialDiagnostic PD) |
Set the diagnostic which caused the SFINAE failure. More... | |
void | addSuppressedDiagnostic (SourceLocation Loc, PartialDiagnostic PD) |
Add a new diagnostic to the set of diagnostics. More... | |
diag_iterator | diag_begin () const |
Returns an iterator at the beginning of the sequence of suppressed diagnostics. More... | |
diag_iterator | diag_end () const |
Returns an iterator at the end of the sequence of suppressed diagnostics. More... | |
Public Attributes | |
TemplateParameter | Param |
The template parameter to which a template argument deduction failure refers. More... | |
TemplateArgument | FirstArg |
The first template argument to which the template argument deduction failure refers. More... | |
TemplateArgument | SecondArg |
The second template argument to which the template argument deduction failure refers. More... | |
unsigned | CallArgIndex |
The index of the function argument that caused a deduction failure. More... | |
SmallVector< DeducedPack *, 8 > | PendingDeducedPacks |
Information on packs that we're currently expanding. More... | |
Provides information about an attempted template argument deduction, whose success or failure was described by a TemplateDeductionResult value.
Definition at line 31 of file TemplateDeduction.h.
typedef SmallVectorImpl<PartialDiagnosticAt>::const_iterator clang::sema::TemplateDeductionInfo::diag_iterator |
Iterator over the set of suppressed diagnostics.
Definition at line 128 of file TemplateDeduction.h.
|
inline |
Definition at line 54 of file TemplateDeduction.h.
|
inline |
Set the diagnostic which caused the SFINAE failure.
Definition at line 109 of file TemplateDeduction.h.
|
inline |
Add a new diagnostic to the set of diagnostics.
Definition at line 119 of file TemplateDeduction.h.
|
inline |
Discard any SFINAE diagnostics.
Definition at line 86 of file TemplateDeduction.h.
Referenced by clang::Sema::isMoreSpecializedThanPrimary(), and takeSFINAEDiagnostic().
|
inline |
Returns an iterator at the beginning of the sequence of suppressed diagnostics.
Definition at line 132 of file TemplateDeduction.h.
|
inline |
Returns an iterator at the end of the sequence of suppressed diagnostics.
Definition at line 136 of file TemplateDeduction.h.
|
inline |
The depth of template parameters for which deduction is being performed.
Definition at line 66 of file TemplateDeduction.h.
|
inline |
Returns the location at which template argument is occurring.
Definition at line 60 of file TemplateDeduction.h.
Referenced by clang::Sema::FinishTemplateArgumentDeduction().
|
inline |
Is a SFINAE diagnostic available?
Definition at line 104 of file TemplateDeduction.h.
|
inline |
Peek at the SFINAE diagnostic.
Definition at line 92 of file TemplateDeduction.h.
|
inline |
Provide a new template argument list that contains the results of template argument deduction.
Definition at line 99 of file TemplateDeduction.h.
|
inline |
Take ownership of the deduced template argument list.
Definition at line 71 of file TemplateDeduction.h.
|
inline |
Take ownership of the SFINAE diagnostic.
Definition at line 78 of file TemplateDeduction.h.
References clearSFINAEDiagnostic().
unsigned clang::sema::TemplateDeductionInfo::CallArgIndex |
The index of the function argument that caused a deduction failure.
TDK_DeducedMismatch: this is the index of the argument that had a different argument type from its substituted parameter type.
Definition at line 189 of file TemplateDeduction.h.
TemplateArgument clang::sema::TemplateDeductionInfo::FirstArg |
The first template argument to which the template argument deduction failure refers.
Depending on the result of the template argument deduction, this template argument may have different meanings:
TDK_Inconsistent: this argument is the first value deduced for the corresponding template parameter.
TDK_SubstitutionFailure: this argument is the template argument we were instantiating when we encountered an error.
TDK_DeducedMismatch: this is the parameter type, after substituting deduced arguments.
TDK_NonDeducedMismatch: this is the component of the 'parameter' of the deduction, directly provided in the source code.
Definition at line 168 of file TemplateDeduction.h.
TemplateParameter clang::sema::TemplateDeductionInfo::Param |
The template parameter to which a template argument deduction failure refers.
Depending on the result of template argument deduction, this template parameter may have different meanings:
TDK_Incomplete: this is the first template parameter whose corresponding template argument was not deduced.
TDK_Inconsistent: this is the template parameter for which two different template argument values were deduced.
Definition at line 149 of file TemplateDeduction.h.
SmallVector<DeducedPack *, 8> clang::sema::TemplateDeductionInfo::PendingDeducedPacks |
Information on packs that we're currently expanding.
FIXME: This should be kept internal to SemaTemplateDeduction.
Definition at line 194 of file TemplateDeduction.h.
TemplateArgument clang::sema::TemplateDeductionInfo::SecondArg |
The second template argument to which the template argument deduction failure refers.
TDK_Inconsistent: this argument is the second value deduced for the corresponding template parameter.
TDK_DeducedMismatch: this is the (adjusted) call argument type.
TDK_NonDeducedMismatch: this is the mismatching component of the 'argument' of the deduction, from which we are deducing arguments.
FIXME: Finish documenting this.
Definition at line 182 of file TemplateDeduction.h.