Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add cross reference for short class definition 'partial' semantics #3378

Merged
merged 2 commits into from May 29, 2023
Merged

Add cross reference for short class definition 'partial' semantics #3378

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
7e72d76
Add cross reference for short class definition 'partial' semantics
henrikt-ma May 16, 2023
bbbab07
Add "propagating"
henrikt-ma May 16, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
1 change: 1 addition & 0 deletions chapters/classes.tex
View file
Open in desktop
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