Skip to content

Commit

Permalink
Add cross reference for short class definition 'partial' semantics
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed May 16, 2023
1 parent f0a5f15 commit 7e72d76
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions chapters/classes.tex
Expand Up @@ -164,6 +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!.

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 7e72d76

Please sign in to comment.