Skip to content

Commit 1265543

Browse files
committed
[meta.reflection.result] Reorder and reword paragraphs for clarity.
After the "Constant When" => "Throws" reordering, the definition of the invented variable TCls had moved far from where it was being referenced. This reordering moves it closer, adds a "defined below", and moves the note and example to the end (changing "this" to "the return value").
1 parent 5396d89 commit 1265543

File tree

1 file changed

+14
-11
lines changed

1 file changed

+14
-11
lines changed

source/meta.tex

Lines changed: 14 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -6103,9 +6103,21 @@
61036103

61046104
\pnum
61056105
\returns
6106-
\tcode{template_arguments_of(\reflexpr{TCls<$V$>})[0]}.
6106+
\tcode{template_arguments_of(\reflexpr{TCls<$V$>})[0]},
6107+
with \tcode{TCls} as defined below.
6108+
6109+
\pnum
6110+
\throws
6111+
\tcode{meta::exception} unless
6112+
the \grammarterm{template-id} \tcode{TCls<$V$>} would be valid
6113+
given the invented variable
6114+
\begin{codeblock}
6115+
template<T P> struct TCls;
6116+
\end{codeblock}
6117+
6118+
\pnum
61076119
\begin{note}
6108-
This is a reflection of an object for class types,
6120+
The return value is a reflection of an object for class types,
61096121
and a reflection of a value otherwise.
61106122
\end{note}
61116123
\begin{example}
@@ -6129,15 +6141,6 @@
61296141
// points to string literal
61306142
\end{codeblock}
61316143
\end{example}
6132-
6133-
\pnum
6134-
\throws
6135-
\tcode{meta::exception} unless
6136-
the \grammarterm{template-id} \tcode{TCls<$V$>} would be valid
6137-
given the invented variable
6138-
\begin{codeblock}
6139-
template<T P> struct TCls;
6140-
\end{codeblock}
61416144
\end{itemdescr}
61426145

61436146
\indexlibraryglobal{reflect_object}%

0 commit comments

Comments
 (0)