Skip to content

Commit

Permalink
Add "propagating"
Browse files Browse the repository at this point in the history
Co-authored-by: Hans Olsson <HansOlsson@users.noreply.github.com>
  • Loading branch information
henrikt-ma and HansOlsson committed May 16, 2023
1 parent 7e72d76 commit bbbab07
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion chapters/classes.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit bbbab07

Please sign in to comment.