|
clang
5.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.
Referenced by clang::Sema::FinishTemplateArgumentDeduction().
|
inline |
Returns an iterator at the end of the sequence of suppressed diagnostics.
Definition at line 136 of file TemplateDeduction.h.
Referenced by clang::Sema::FinishTemplateArgumentDeduction().
|
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::DeduceTemplateArguments(), clang::Sema::FinishTemplateArgumentDeduction(), and clang::Sema::SubstituteExplicitTemplateArguments().
|
inline |
Is a SFINAE diagnostic available?
Definition at line 104 of file TemplateDeduction.h.
Referenced by clang::MakeDeductionFailureInfo().
|
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.
Referenced by clang::Sema::FinishTemplateArgumentDeduction(), and clang::Sema::SubstituteExplicitTemplateArguments().
|
inline |
Take ownership of the deduced template argument list.
Definition at line 71 of file TemplateDeduction.h.
References Result.
Referenced by clang::Sema::FinishTemplateArgumentDeduction(), and clang::MakeDeductionFailureInfo().
|
inline |
Take ownership of the SFINAE diagnostic.
Definition at line 78 of file TemplateDeduction.h.
References clearSFINAEDiagnostic().
Referenced by clang::MakeDeductionFailureInfo().
| 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.
Referenced by clang::Sema::FinishTemplateArgumentDeduction(), and clang::MakeDeductionFailureInfo().
| 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.
Referenced by clang::Sema::FinishTemplateArgumentDeduction(), and clang::MakeDeductionFailureInfo().
| 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.
Referenced by clang::MakeDeductionFailureInfo(), and clang::Sema::SubstituteExplicitTemplateArguments().
| 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.
Referenced by clang::Sema::FinishTemplateArgumentDeduction(), and clang::MakeDeductionFailureInfo().
1.8.6