From bbbab07bbecc2a56e011f9a313ff30bdd2e6fdb6 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Tue, 16 May 2023 13:20:12 +0200 Subject: [PATCH] Add "propagating" Co-authored-by: Hans Olsson --- chapters/classes.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chapters/classes.tex b/chapters/classes.tex index 8f406e1a1..1bba3ed60 100644 --- a/chapters/classes.tex +++ b/chapters/classes.tex @@ -164,7 +164,7 @@ \subsection{Static Semantics}\label{component-declaration-static-semantics} % Seems sufficient to just have \indexinline variant of 'partial' in index. A class defined with \lstinline!partial!\indexinline{partial} in the \lstinline[language=grammar]!class-prefixes! is called a \firstuse[---]{partial} class. Such a class is allowed to be incomplete, and cannot be instantiated in a simulation model; useful, e.g., as a base class. -See \cref{short-class-definitions} regarding short class definition semantics of \lstinline!partial!. +See \cref{short-class-definitions} regarding short class definition semantics of propagating \lstinline!partial!. If the \lstinline[language=grammar]!type-specifier! of the component does not denote a built-in type, the name of the type is looked up (\cref{static-name-lookup}). The found type is flattened with a new environment and the partially flattened enclosing class of the component.