Skip to content

Commit

Permalink
Update chapters/inheritance.tex
Browse files Browse the repository at this point in the history
Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>
  • Loading branch information
HansOlsson and henrikt-ma committed Sep 6, 2022
1 parent 6871aaf commit 2f1d94c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion chapters/inheritance.tex
Original file line number Diff line number Diff line change
Expand Up @@ -994,7 +994,7 @@ \subsection{Annotations for Redeclaration and Modification}\label{annotation-cho
The annotation \lstinline!choicesAllMatching = true!\annotationindex{choicesAllMatching} on an element indicates that tools should automatically construct a menu with appropriate choices.
For a replaceable element the included elements should be usable for replacing it.
Exact criteria for inclusion in such a menu are not defined, but there shall be a a way to at least get a selection of classes, \lstinline!A.B.$\ldots$.X.Z!, that are either directly or indirectly derived by inheritance from the constraining class of the declaration, where \lstinline!A! to \lstinline!X! are non-partial packages, and \lstinline!Z! is non-partial.
For a record variable the included elements shall include matching record constants and call of matching record constructors (matching classes as for replaceable elements).
For a record variable the included elements shall include matching record constants and calls of matching record constructors (matching classes as for replaceable elements).

This menu can be disabled using annotation \lstinline!choicesAllMatching = false!.
It is possible to combine the two annotations for one declaration, and tools may avoid generating duplicate menu entries in that case.
Expand Down

0 comments on commit 2f1d94c

Please sign in to comment.