Skip to content

Commit

Permalink
Describe DeclSort::SyntaxTree (#97)
Browse files Browse the repository at this point in the history
* Describe `DeclSort::SyntaxTree`

Fixes #96
  • Loading branch information
GabrielDosReis committed Jul 30, 2023
1 parent c4ffcdc commit 1fa5119
Show file tree
Hide file tree
Showing 2 changed files with 19 additions and 3 deletions.
20 changes: 18 additions & 2 deletions ltx/decls.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1317,11 +1317,27 @@ \subsection{\valueTag{DeclSort::Tuple}}
\subsection{\valueTag{DeclSort::SyntaxTree}}
\label{sec:ifc:DeclSort:SyntaxTree}

A syntax tree in template declaration.
A \type{DeclIndex} abstract reference with tag \valueTag{DeclSort::SyntaxTree} designates a parse tree
representation (\secref{sec:ifc-syntax-tree-table}) of a declaration in a templated declarated.
The \field{index} field of that abstract reference is an index into the declaration parse tree partition.
Each entry in that partition is a structure with the following components:
%
\begin{figure}[H]
\centering
TBD
\structure{
\DeclareMember{syntax}{SyntaxIndex} \\
}
\caption{Structure of a declaration parse tree}
\label{fig:ifc-DeclSort-SyntaxTree-structure}
\end{figure}
%
with the following meanings:
\begin{itemize}
\item \field{syntax} is a parse tree abstract reference for the actual parse tree
\end{itemize}

This structure is, in effect, an indirection that acts as an embedding of portions of parse trees (\secref{sec:ifc-syntax-tree-table})
into the declaration category.

\partition{decl.syntax-tree}

Expand Down
2 changes: 1 addition & 1 deletion ltx/parse.tex
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
The front-end is moving away from ``parse trees'', to a more abstract representation of syntax fragments, but none of that work is complete
in the MSVC releases yet.

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

0 comments on commit 1fa5119

Please sign in to comment.