From 962be6c0929dbc9136e499c6d2abcfd4b25d57f9 Mon Sep 17 00:00:00 2001 From: Hans Olsson Date: Tue, 11 Oct 2022 11:37:33 +0200 Subject: [PATCH] Update chapters/annotations.tex Co-authored-by: Henrik Tidefelt --- chapters/annotations.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/chapters/annotations.tex b/chapters/annotations.tex index fc175b8fa..55e193baf 100644 --- a/chapters/annotations.tex +++ b/chapters/annotations.tex @@ -2090,7 +2090,8 @@ \subsection{Protection of Classes}\label{protection-of-classes} end P; \end{lstlisting} In order to not reveal the existence of the class \lstinline!P.MySecret!, a tool may choose to show the diagram with both \lstinline!mySecret! and all connections to it removed. -(The tool could also choose to not show the diagram of \lstinline!P.M! at all.) +(The tool could also choose to not show the diagram of \lstinline!P.M! at all, or even reject to load the package \lstinline!P! altogether.) +As long as the invalid use of \lstinline!P.MySecret! occurs within the same top level package as where the class is defined (here, \lstinline!P!), a tool is allowed to silently ignore the use for purposes of model translation. When simulating \lstinline!P.M!, the tool must not store \lstinline!mySecret.y!. If a user enters