From 9a40d3d5e5634216f7e86ae96d1a298d50062f8a Mon Sep 17 00:00:00 2001 From: Gabriel Dos Reis Date: Fri, 11 Aug 2023 16:12:27 -0700 Subject: [PATCH] Describe `ExprSort::SubobjectValue` (#105) * Describe `ExprSort::SubobjectValue` Fix #74 * Delete texput.log --- ltx/exprs.tex | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) diff --git a/ltx/exprs.tex b/ltx/exprs.tex index afe02d0..ab07f8f 100644 --- a/ltx/exprs.tex +++ b/ltx/exprs.tex @@ -1363,9 +1363,26 @@ \subsection{\valueTag{ExprSort::SumTypeValue}} \subsection{\valueTag{ExprSort::SubobjectValue}} \label{sec:ifc:ExprSort:SubobjectValue} +An \type{ExprIndex} abstract reference with tag \valueTag{ExprSort::SubobjectValue} designates +an expression that is value of a subobject (of class type) of a complete object. +The \field{index} field of that abstract reference is an index into the subobject value partition. +Each entry in that partition is a structure with the following layout +% +\begin{figure][H] + \centering + \structure{ + \DeclareMember{value}{ExprIndex} \\ + } +\end{figure} +% +with the following meanings: +\begin{itemize} + \item \field{value} refers to the value of the subobject of type of this subobject +\end{itemize} + \partition{expr.class-subobject-value} -\note{This structure is scheduled for removal in future releases} +\note{This structure is scheduled for removal in future releases as the indirection is unnecessary} \subsection{\valueTag{ExprSort::ArrayValue}}