diff --git a/chapters/inheritance.tex b/chapters/inheritance.tex index b260a6f0a..20c52a99d 100644 --- a/chapters/inheritance.tex +++ b/chapters/inheritance.tex @@ -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.