Merge pull request #3488 from HansOlsson/SizeT

Size t

Author: HansOlsson

chapters/functions.tex

@@ -2015,7 +2015,8 @@ \subsubsection{Simple Types}\label{simple-types}
 \end{tabular}
 \end{center}
 
-An exception is made when the argument is of the form {\lstinline!size($\ldots$, $\ldots$)!}. In this case the corresponding C type is {\lstinline!size_t!}.
+An exception is made when the argument is of the form {\lstinline!size($\ldots$, $\ldots$)!}.
+In this case the corresponding C type is {\lstinline!size_t!}.
 
 Strings are \textsc{nul}-terminated (i.e., terminated by {\lstinline[language=C]!'\0'!}) and are encoded using UTF-8 (assuming {\lstinline[language=C]!CHAR_BIT==8!} in C) to facilitate calling of C functions.
 The valid return values for an external function returning a {\lstinline!String!} are:
@@ -2372,6 +2373,8 @@ \subsection{Annotations for External Functions}\label{annotations-for-external-l
   In case calls to several external functions are generated in the same translation unit, the \lstinline!Include! annotations of the different functions must not define the same function -- except when relying on the deprecated behavior.
 
   The included code should be valid C89 code.
+  If the \lstinline[language=grammar]!external-function-call! contains any `size`-expression, the tool is responsible for ensuring that a C-header defining \lstinline[language=C]!size_t! is included before the \lstinline!"insertedCode"!.
+The \lstinline!"insertedCode"!, conditionally preceded by a header for \lstinline[language=C]!size_t!, must be a valid translation unit.
 
   When an \lstinline!Include! annotation is present, it shall provide a prototype for the external function, and hence the tool shall not produce an automatically generated prototype in the generated code in this case.