From 586720a3e8bdca31e99e4ed0a30fa037494216e4 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Wed, 2 Dec 2020 22:36:59 +0100 Subject: [PATCH] Describe 'partial' in text and add to index --- chapters/classes.tex | 3 +++ 1 file changed, 3 insertions(+) diff --git a/chapters/classes.tex b/chapters/classes.tex index 7064b0ad6..64c5eb19a 100644 --- a/chapters/classes.tex +++ b/chapters/classes.tex @@ -155,6 +155,9 @@ \subsection{Component Declaration Static Semantics}\label{component-declaration- If the \lstinline[language=grammar]!type-specifier! of the component declaration denotes a built-in type (\lstinline!RealType!, \lstinline!IntegerType!, etc.), the flattened or instantiated component has the same type. +A class defined with \lstinline!partial!\index{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. + 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. It is an error if the type is partial in a simulation model, or if a simulation model itself is partial.