Skip to content

Commit

Permalink
Merge pull request #3378 from henrikt-ma/partial-cref
Browse files Browse the repository at this point in the history
Add cross reference for short class definition 'partial' semantics
  • Loading branch information
HansOlsson committed May 29, 2023
2 parents ca45e0d + bbbab07 commit f97272b
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 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 f97272b

Please sign in to comment.