close
Skip to content

Commit 1fa5119

Browse files
Describe DeclSort::SyntaxTree (#97)
* Describe `DeclSort::SyntaxTree` Fixes #96
1 parent c4ffcdc commit 1fa5119

2 files changed

Lines changed: 19 additions & 3 deletions

File tree

‎ltx/decls.tex‎

Lines changed: 18 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1317,11 +1317,27 @@ \subsection{\valueTag{DeclSort::Tuple}}
13171317
\subsection{\valueTag{DeclSort::SyntaxTree}}
13181318
\label{sec:ifc:DeclSort:SyntaxTree}
13191319

1320-
A syntax tree in template declaration.
1320+
A \type{DeclIndex} abstract reference with tag \valueTag{DeclSort::SyntaxTree} designates a parse tree
1321+
representation (\secref{sec:ifc-syntax-tree-table}) of a declaration in a templated declarated.
1322+
The \field{index} field of that abstract reference is an index into the declaration parse tree partition.
1323+
Each entry in that partition is a structure with the following components:
1324+
%
13211325
\begin{figure}[H]
13221326
\centering
1323-
TBD
1327+
\structure{
1328+
\DeclareMember{syntax}{SyntaxIndex} \\
1329+
}
1330+
\caption{Structure of a declaration parse tree}
1331+
\label{fig:ifc-DeclSort-SyntaxTree-structure}
13241332
\end{figure}
1333+
%
1334+
with the following meanings:
1335+
\begin{itemize}
1336+
\item \field{syntax} is a parse tree abstract reference for the actual parse tree
1337+
\end{itemize}
1338+
1339+
This structure is, in effect, an indirection that acts as an embedding of portions of parse trees (\secref{sec:ifc-syntax-tree-table})
1340+
into the declaration category.
13251341

13261342
\partition{decl.syntax-tree}
13271343

‎ltx/parse.tex‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
The front-end is moving away from ``parse trees'', to a more abstract representation of syntax fragments, but none of that work is complete
77
in the MSVC releases yet.
88

9-
Each syntax fragment in the ``parse trees'' can be referred by an abstract reference of type \type{SyntaxTree} defined
9+
Each syntax fragment in the ``parse trees'' can be referred by an abstract reference of type \type{SyntaxIndex} defined
1010
as follows
1111
\begin{figure}[H]
1212
\centering

0 commit comments

Comments
 (0)