Skip to content

Commit eff86da

Browse files
Fix ExprSort::TemplateReference structure (#91)
1 parent 03aa5c1 commit eff86da

File tree

1 file changed

+10
-5
lines changed

1 file changed

+10
-5
lines changed

ltx/exprs.tex

Lines changed: 10 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1544,20 +1544,25 @@ \subsection{\valueTag{ExprSort::TemplateReference}}
15441544
\structure{
15451545
\DeclareMember{locus}{SourceLocation} \\
15461546
\DeclareMember{type}{TypeIndex} \\
1547+
\DeclareMember{member}{DeclIndex} \\
15471548
\DeclareMember{member\_name}{NameIndex} \\
1548-
\DeclareMember{member\_locus}{SourceLocation} \\
15491549
\DeclareMember{scope}{TypeIndex} \\
15501550
\DeclareMember{arguments}{ExprIndex} \\
15511551
}
15521552
\caption{Structure of a template member expression}
15531553
\label{fig:ifc-member-template-expression-structure}
15541554
\end{figure}
15551555
%
1556+
with the following meanings for the fields
1557+
\begin{itemize}
1558+
\item \field{locus} designates the source location of the reference to the template member
1559+
\item \field{type} designates the type of this expression
1560+
\item \field{member} designates the declaration of the template member
1561+
\item \field{member\_name} designates the name of the referenced template member
1562+
\item \field{scope} field designates the enclosing scope of the member
1563+
\item \field{arguments} designates the set of template arguments to this member
1564+
\end{itemize}
15561565

1557-
The \field{member\_name} field designates the name of the member; the \field{member\_locus} designates the source location where the member is declared.
1558-
The \field{scope} field designates the enclosing scope of the member. The \field{arguments} designates the set of template arguments to
1559-
this member.
1560-
The field \field{locus} is the source location where the expression appears.
15611566

15621567
\partition{expr.template-reference}
15631568

0 commit comments

Comments
 (0)