From 45f45195ce80ae5f1fc505e4b6a57bb1f4d81248 Mon Sep 17 00:00:00 2001 From: Hans Olsson Date: Mon, 16 Nov 2020 15:28:38 +0100 Subject: [PATCH] Text from decision. (#2711) * Text from decision. Closes #2693 --- chapters/inheritance.tex | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/chapters/inheritance.tex b/chapters/inheritance.tex index fbb0481b1..d6fa843c5 100644 --- a/chapters/inheritance.tex +++ b/chapters/inheritance.tex @@ -1059,11 +1059,13 @@ \subsection{Annotation Choices for Suggested Redeclarations and Modifications}\l contain the definition \lstinline!checkBox = true!, meaning to display a checkbox to input the values \lstinline!false! or \lstinline!true! in the graphical user interface. -Choices menus of replaceable elements can be automatically constructed -showing the names of all classes that are either directly or indirectly -derived by inheritance from the constraining class of the declaration. -This can be recommended by having \lstinline!annotation choicesAllMatching = true!; and disabled by having -\lstinline!annotation choicesAllMatching = false!. +The annotation \lstinline!choicesAllMatching = true! on a replaceable element indicates that tools +should automatically construct a menu with choices of elements 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. +This menu can be disabled using annotation \lstinline!choicesAllMatching = false!. \begin{nonnormative} The behavior when choicesAllMatching is not specified; ideally it should present (at least) the same choices as for