Skip to content

Commit

Permalink
Fix ExprSort::TemplateReference structure (#91)
Browse files Browse the repository at this point in the history
  • Loading branch information
GabrielDosReis authored May 22, 2023
1 parent 03aa5c1 commit eff86da
Showing 1 changed file with 10 additions and 5 deletions.
15 changes: 10 additions & 5 deletions ltx/exprs.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1544,20 +1544,25 @@ \subsection{\valueTag{ExprSort::TemplateReference}}
\structure{
\DeclareMember{locus}{SourceLocation} \\
\DeclareMember{type}{TypeIndex} \\
\DeclareMember{member}{DeclIndex} \\
\DeclareMember{member\_name}{NameIndex} \\
\DeclareMember{member\_locus}{SourceLocation} \\
\DeclareMember{scope}{TypeIndex} \\
\DeclareMember{arguments}{ExprIndex} \\
}
\caption{Structure of a template member expression}
\label{fig:ifc-member-template-expression-structure}
\end{figure}
%
with the following meanings for the fields
\begin{itemize}
\item \field{locus} designates the source location of the reference to the template member
\item \field{type} designates the type of this expression
\item \field{member} designates the declaration of the template member
\item \field{member\_name} designates the name of the referenced template member
\item \field{scope} field designates the enclosing scope of the member
\item \field{arguments} designates the set of template arguments to this member
\end{itemize}

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

\partition{expr.template-reference}

Expand Down

0 comments on commit eff86da

Please sign in to comment.