From 44197a7b85c2c26b76cf95cf1910976e6b75c6b4 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Thu, 10 Dec 2020 21:53:21 +0100 Subject: [PATCH] Migrate 'element' to index --- chapters/classes.tex | 7 +++++-- chapters/glossary.tex | 5 ----- 2 files changed, 5 insertions(+), 7 deletions(-) diff --git a/chapters/classes.tex b/chapters/classes.tex index f7bcd0524..1d0ef9f43 100644 --- a/chapters/classes.tex +++ b/chapters/classes.tex @@ -540,8 +540,11 @@ \section{Class Declarations}\label{class-declarations} \end{lstlisting} \end{example} -The following is the formal syntax of class definitions, including the -special variants described in later sections. +The following is the formal syntax of class definitions, including the special variants described in later sections. + +An \firstuse{element}\index{element} is part of a class definition, and is one of: class definition, component declaration, or extends clause. +Component declarations and class definitions are called \firstuse{named elements}\index{named elements}. +An element is either inherited from a base class or local. \begin{lstlisting}[language=grammar] class-definition : diff --git a/chapters/glossary.tex b/chapters/glossary.tex index bbb5275be..d13aa1a17 100644 --- a/chapters/glossary.tex +++ b/chapters/glossary.tex @@ -1,10 +1,5 @@ \chapter{Glossary}\label{glossary} -\glossaryitem{element}: part of a class definition, one of: class definition, -component declaration, or extends clause. Component declarations and -class definitions are called named elements. An element is either -inherited from a base class or local. - \glossaryitem{element modification}: part of a modification, overrides the declaration equation in the class used by the instance generated by the modified element. Example: \lstinline!vcc(unit="V")=1000!. (See \cref{modifications}.)