From f2fac6616dec6a66ed78d5c528a210bed491fe3b Mon Sep 17 00:00:00 2001 From: Hans Olsson Date: Fri, 12 May 2023 13:20:22 +0200 Subject: [PATCH] Update chapters/statements.tex Co-authored-by: Henrik Tidefelt --- chapters/statements.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/chapters/statements.tex b/chapters/statements.tex index e92283a44..f03f3dbb9 100644 --- a/chapters/statements.tex +++ b/chapters/statements.tex @@ -305,7 +305,8 @@ \subsection{While-Statement}\label{while-statement} \item If the \lstinline!expression! of the \lstinline!while!-statement is true, the entire body of the \lstinline!while!-statement is executed (except if a \lstinline!break!-statement, see \cref{break-statement}, or a \lstinline!return!-statement, see \cref{return-statements}, is executed), and then execution proceeds at step~\ref{while-execution-top}. \end{enumerate} -Neither the \lstinline!expression! nor any expression in the body shall generate events. + +Event-generating expressions are neither allowed in the \lstinline!expression! nor in the loop body statements. A deprecated feature is that there is an implicit \lstinline!noEvent! for such \lstinline!while!-statement. \subsection{Break-Statement}\label{break-statement}