|
3399 | 3399 | const char* name() const noexcept; |
3400 | 3400 |
|
3401 | 3401 | private: |
3402 | | - const type_info* target; // \expos |
| 3402 | + const type_info* @\exposid{target}@; // \expos |
3403 | 3403 | // Note that the use of a pointer here, rather than a reference, |
3404 | 3404 | // means that the default copy/move constructor and assignment |
3405 | 3405 | // operators will be provided and work as expected. |
|
3421 | 3421 | \begin{itemdescr} |
3422 | 3422 | \pnum |
3423 | 3423 | \effects |
3424 | | -Constructs a \tcode{type_index} object, the equivalent of \tcode{target = \&rhs}. |
| 3424 | +Constructs a \tcode{type_index} object, the equivalent of \tcode{\exposid{target} = \&rhs}. |
3425 | 3425 | \end{itemdescr} |
3426 | 3426 |
|
3427 | 3427 | \indexlibrarymember{operator==}{type_index}% |
|
3432 | 3432 | \begin{itemdescr} |
3433 | 3433 | \pnum |
3434 | 3434 | \returns |
3435 | | -\tcode{*target == *rhs.target}. |
| 3435 | +\tcode{*\exposid{target} == *rhs.\exposid{target}}. |
3436 | 3436 | \end{itemdescr} |
3437 | 3437 |
|
3438 | 3438 | \indexlibrarymember{operator<}{type_index}% |
|
3443 | 3443 | \begin{itemdescr} |
3444 | 3444 | \pnum |
3445 | 3445 | \returns |
3446 | | -\tcode{target->before(*rhs.target)}. |
| 3446 | +\tcode{\exposid{target}->before(*rhs.\exposid{target})}. |
3447 | 3447 | \end{itemdescr} |
3448 | 3448 |
|
3449 | 3449 | \indexlibrarymember{operator>}{type_index}% |
|
3454 | 3454 | \begin{itemdescr} |
3455 | 3455 | \pnum |
3456 | 3456 | \returns |
3457 | | -\tcode{rhs.target->before(*target)}. |
| 3457 | +\tcode{rhs.\exposid{target}->before(*\exposid{target})}. |
3458 | 3458 | \end{itemdescr} |
3459 | 3459 |
|
3460 | 3460 | \indexlibrarymember{operator<=}{type_index}% |
|
3465 | 3465 | \begin{itemdescr} |
3466 | 3466 | \pnum |
3467 | 3467 | \returns |
3468 | | -\tcode{!rhs.target->before(*target)}. |
| 3468 | +\tcode{!rhs.\exposid{target}->before(*\exposid{target})}. |
3469 | 3469 | \end{itemdescr} |
3470 | 3470 |
|
3471 | 3471 | \indexlibrarymember{operator>=}{type_index}% |
|
3476 | 3476 | \begin{itemdescr} |
3477 | 3477 | \pnum |
3478 | 3478 | \returns |
3479 | | -\tcode{!target->before(*rhs.target)}. |
| 3479 | +\tcode{!\exposid{target}->before(*rhs.\exposid{target})}. |
3480 | 3480 | \end{itemdescr} |
3481 | 3481 |
|
3482 | 3482 | \indexlibrarymember{operator<=>}{type_index}% |
|
3489 | 3489 | \effects |
3490 | 3490 | Equivalent to: |
3491 | 3491 | \begin{codeblock} |
3492 | | -if (*target == *rhs.target) return strong_ordering::equal; |
3493 | | -if (target->before(*rhs.target)) return strong_ordering::less; |
| 3492 | +if (*@\exposid{target}@ == *rhs.@\exposid{target}@) return strong_ordering::equal; |
| 3493 | +if (@\exposid{target}@->before(*rhs.@\exposid{target}@)) return strong_ordering::less; |
3494 | 3494 | return strong_ordering::greater; |
3495 | 3495 | \end{codeblock} |
3496 | 3496 | \end{itemdescr} |
|
3503 | 3503 | \begin{itemdescr} |
3504 | 3504 | \pnum |
3505 | 3505 | \returns |
3506 | | -\tcode{target->hash_code()}. |
| 3506 | +\tcode{\exposid{target}->hash_code()}. |
3507 | 3507 | \end{itemdescr} |
3508 | 3508 |
|
3509 | 3509 | \indexlibrarymember{name}{type_index}% |
|
3514 | 3514 | \begin{itemdescr} |
3515 | 3515 | \pnum |
3516 | 3516 | \returns |
3517 | | -\tcode{target->name()}. |
| 3517 | +\tcode{\exposid{target}->name()}. |
3518 | 3518 | \end{itemdescr} |
3519 | 3519 |
|
3520 | 3520 | \indexlibrarymember{hash}{type_index}% |
|
3566 | 3566 | constexpr const char* function_name() const noexcept; |
3567 | 3567 |
|
3568 | 3568 | private: |
3569 | | - uint_least32_t line_; // \expos |
3570 | | - uint_least32_t column_; // \expos |
3571 | | - const char* file_name_; // \expos |
3572 | | - const char* function_name_; // \expos |
| 3569 | + uint_least32_t @\exposid{line_}@; // \expos |
| 3570 | + uint_least32_t @\exposid{column_}@; // \expos |
| 3571 | + const char* @\exposid{file_name_}@; // \expos |
| 3572 | + const char* @\exposid{function_name_}@; // \expos |
3573 | 3573 | }; |
3574 | 3574 | } |
3575 | 3575 | \end{codeblock} |
|
3586 | 3586 | \end{note} |
3587 | 3587 |
|
3588 | 3588 | \pnum |
3589 | | -The data members \tcode{file_name_} and \tcode{function_name_} |
| 3589 | +The data members \exposid{file_name_} and \exposid{function_name_} |
3590 | 3590 | always each refer to an \ntbs{}. |
3591 | 3591 |
|
3592 | 3592 | \pnum |
|
3627 | 3627 | \begin{libefftabvalue} |
3628 | 3628 | {Value of object returned by \tcode{current}} |
3629 | 3629 | {support.srcloc.current} |
3630 | | -\tcode{line_} & |
| 3630 | +\exposid{line_} & |
3631 | 3631 | A presumed line number\iref{cpp.predefined}. |
3632 | 3632 | Line numbers are presumed to be 1-indexed; |
3633 | 3633 | however, an implementation is encouraged to use 0 |
3634 | 3634 | when the line number is unknown. \\ \rowsep |
3635 | | -\tcode{column_} & |
| 3635 | +\exposid{column_} & |
3636 | 3636 | An \impldef{column value of \tcode{source_location::current}} value denoting |
3637 | | - some offset from the start of the line denoted by \tcode{line_}. |
| 3637 | + some offset from the start of the line denoted by \exposid{line_}. |
3638 | 3638 | Column numbers are presumed to be 1-indexed; |
3639 | 3639 | however, an implementation is encouraged to use 0 |
3640 | 3640 | when the column number is unknown. \\ \rowsep |
3641 | | -\tcode{file_name_} & |
| 3641 | +\exposid{file_name_} & |
3642 | 3642 | A presumed name of the current source file\iref{cpp.predefined} as an \ntbs{}. |
3643 | 3643 | \\ \rowsep |
3644 | | -\tcode{function_name_} & |
| 3644 | +\exposid{function_name_} & |
3645 | 3645 | A name of the current function |
3646 | 3646 | such as in \mname{func}\iref{dcl.fct.def.general} if any, |
3647 | 3647 | an empty string otherwise. \\ |
|
3714 | 3714 | \begin{itemdescr} |
3715 | 3715 | \pnum |
3716 | 3716 | \returns |
3717 | | -\tcode{line_}. |
| 3717 | +\exposid{line_}. |
3718 | 3718 | \end{itemdescr} |
3719 | 3719 |
|
3720 | 3720 | \begin{itemdecl} |
|
3723 | 3723 | \begin{itemdescr} |
3724 | 3724 | \pnum |
3725 | 3725 | \returns |
3726 | | -\tcode{column_}. |
| 3726 | +\exposid{column_}. |
3727 | 3727 | \end{itemdescr} |
3728 | 3728 |
|
3729 | 3729 | \begin{itemdecl} |
|
3732 | 3732 | \begin{itemdescr} |
3733 | 3733 | \pnum |
3734 | 3734 | \returns |
3735 | | -\tcode{file_name_}. |
| 3735 | +\exposid{file_name_}. |
3736 | 3736 | \end{itemdescr} |
3737 | 3737 |
|
3738 | 3738 | \begin{itemdecl} |
|
3741 | 3741 | \begin{itemdescr} |
3742 | 3742 | \pnum |
3743 | 3743 | \returns |
3744 | | -\tcode{function_name_}. |
| 3744 | +\exposid{function_name_}. |
3745 | 3745 | \end{itemdescr} |
3746 | 3746 |
|
3747 | 3747 | \rSec1[support.exception]{Exception handling} |
|
5738 | 5738 | void destroy() const; |
5739 | 5739 |
|
5740 | 5740 | private: |
5741 | | - void* ptr; // \expos |
| 5741 | + void* @\exposid{ptr}@; // \expos |
5742 | 5742 | }; |
5743 | 5743 |
|
5744 | 5744 | template<class Promise> |
|
5769 | 5769 | Promise& promise() const; |
5770 | 5770 |
|
5771 | 5771 | private: |
5772 | | - void* ptr; // \expos |
| 5772 | + void* @\exposid{ptr}@; // \expos |
5773 | 5773 | }; |
5774 | 5774 | } |
5775 | 5775 | \end{codeblock} |
|
5860 | 5860 | \begin{itemdescr} |
5861 | 5861 | \pnum |
5862 | 5862 | \returns |
5863 | | -\tcode{ptr}. |
| 5863 | +\exposid{ptr}. |
5864 | 5864 | \end{itemdescr} |
5865 | 5865 |
|
5866 | 5866 | \indexlibrarymember{from_address}{coroutine_handle}% |
|
6074 | 6074 | constexpr void* address() const noexcept; |
6075 | 6075 | private: |
6076 | 6076 | coroutine_handle(@\unspec@); |
6077 | | - void* ptr; // \expos |
| 6077 | + void* @\exposid{ptr}@; // \expos |
6078 | 6078 | }; |
6079 | 6079 | } |
6080 | 6080 | \end{codeblock} |
|
6163 | 6163 | \begin{itemdescr} |
6164 | 6164 | \pnum |
6165 | 6165 | \returns |
6166 | | -\tcode{ptr}. |
| 6166 | +\exposid{ptr}. |
6167 | 6167 |
|
6168 | 6168 | \pnum |
6169 | 6169 | \remarks |
6170 | | -A \tcode{noop_coroutine_handle}'s \tcode{ptr} is always a |
| 6170 | +A \tcode{noop_coroutine_handle}'s \exposid{ptr} is always a |
6171 | 6171 | non-null pointer value. |
6172 | 6172 | \end{itemdescr} |
6173 | 6173 |
|
|
0 commit comments