Skip to content

Commit

Permalink
Fix issues related to 'declaration equation' in index
Browse files Browse the repository at this point in the history
This both fixes an error in the index for 'declaration equation' pointing to the deprecated 'declaration assignment', and further improves the index on the topic of declaration equations.
  • Loading branch information
henrikt-ma committed Dec 26, 2020
1 parent b8150d2 commit 14e00d9
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion chapters/classes.tex
Original file line number Diff line number Diff line change
Expand Up @@ -203,7 +203,7 @@ \subsection{Component Declaration Static Semantics}\label{component-declaration-

\subsubsection{Declaration Equations}\label{declaration-equations}

An environment that defines the value of a component of built-in type is said to define a \firstuse{declaration equation} associated with the declared component.
An environment that defines the value of a component of built-in type is said to define a \firstuse{declaration equation}\index{declaration equation}\index{declaration equation|seealso{binding equation}} associated with the declared component.
% Note: In variability-of-expressions, it's called a "binding equation", not "declaration equation".
The declaration equation is of the form \lstinline!x = expression! defined by a component declaration, where \lstinline!expression! must not have higher variability than the declared component \lstinline!x! (see \cref{variability-of-expressions}).
Unlike other equations, a declaration equation can be overridden (replaced or removed) by an element modification.
Expand Down
4 changes: 2 additions & 2 deletions chapters/equations.tex
Original file line number Diff line number Diff line change
Expand Up @@ -19,9 +19,9 @@ \section{Equation Categories}\label{equation-categories}
\item
Normal equality equations occurring in equation sections, including connect-equations and other equation types of special syntactic form (\cref{equations-in-equation-sections}).
\item
Declaration equations, which are part of variable, parameter, or constant declarations (\cref{declaration-equations}).
Declaration equations\index{declaration equation|hyperpageit}, which are part of variable, parameter, or constant declarations (\cref{declaration-equations}).
\item
Modification equations, which are commonly used to modify attributes of classes (\cref{modifications}).
Modification equations\index{modification equation|hyperpageit}, which are commonly used to modify attributes of classes (\cref{modifications}).
\item
\firstuse{Binding equations}\index{binding equation}, which include both declaration equations and element modification for the value of the variable itself.
These are considered equations when appearing outside functions, and then a component with a binding equation has its value bound to some expression.
Expand Down
2 changes: 1 addition & 1 deletion chapters/functions.tex
Original file line number Diff line number Diff line change
Expand Up @@ -727,7 +727,7 @@ \subsection{Initialization and Binding Equations of Components in Functions}
When a function is called components of a function do not have start-attributes.
However, a binding equation\index{binding equation!in function} (\lstinline!= expression!) with an expression may be present for a component.
\begin{nonnormative}
\firstuse{Declaration assignments}\index{declaration equation (deprecated)} of the form \lstinline!:= expression! are deprecated, but otherwise identical to binding equations.
\firstuse{Declaration assignments}\index{declaration assignment (deprecated)} of the form \lstinline!:= expression! are deprecated, but otherwise identical to binding equations.
\end{nonnormative}

A binding equation for a non-input component initializes the
Expand Down

0 comments on commit 14e00d9

Please sign in to comment.