diff --git a/chapters/functions.tex b/chapters/functions.tex index c300d9170..c28bbf364 100644 --- a/chapters/functions.tex +++ b/chapters/functions.tex @@ -1755,6 +1755,8 @@ \section{Function Inlining and Event Generation}\label{function-inlining-and-eve If the function is called in a context where events will not be generated (e.g., inside another function without {\lstinline!GenerateEvents = true!}) no special action is needed. \end{nonnormative} + +A function with \lstinline!GenerateEvents = true! should be considered event generating for purposes of determining where the function may be called, regardless of whether the function body contains any expressions which could actually generate events. \end{semantics} \end{annotationdefinition}