From 54de6bbd9448ec1b4ea8e048b89576cc1cad349f Mon Sep 17 00:00:00 2001 From: Hans Olsson Date: Wed, 16 Dec 2020 16:14:21 +0100 Subject: [PATCH] Specify Evaluate for hierarchical components. (#2771) * Specify Evaluate for hierarchical components. Closes #2288 --- chapters/annotations.tex | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/chapters/annotations.tex b/chapters/annotations.tex index be81a6c45..6c930998c 100644 --- a/chapters/annotations.tex +++ b/chapters/annotations.tex @@ -336,7 +336,10 @@ \section{Annotations for Code Generation}\label{annotations-for-code-generation} "Evaluate" "=" ( false | true ) \end{lstlisting}\end{synopsis} \begin{semantics} -The annotation \lstinline!Evaluate! can occur in the component declaration, its type declaration, or a base-class of the type-declaration. In the case of multiple conflicting annotations it is handled similarly to modifiers (e.g., an \lstinline!Evaluate! annotation on the component declaration takes precedence). The annotation \lstinline!Evaluate! only has effect for a component declared with the prefix \lstinline!parameter!. +The annotation \lstinline!Evaluate! can occur in the component declaration, its type declaration, or a base-class of the type-declaration. +In the case of multiple conflicting annotations it is handled similarly to modifiers (e.g., an \lstinline!Evaluate! annotation on the component declaration takes precedence). +In the case of hierarchical components it is applied to all components, and if both of them have annotations then \lstinline!Evaluate = true! takes precedence. +The annotation \lstinline!Evaluate! only has effect for a component declared with the prefix \lstinline!parameter!. If \lstinline!Evaluate = true!, the model developer proposes to utilize the value for the symbolic processing. In that case, it is not possible to change the parameter value after symbolic pre-processing.