|
@@ -11,6 +11,7 @@
|
|
\synt{resourcestring\ declaration\ part}\\
|
|
\synt{resourcestring\ declaration\ part}\\
|
|
\synt{type\ declaration\ part}\\
|
|
\synt{type\ declaration\ part}\\
|
|
\synt{variable\ declaration\ part}\\
|
|
\synt{variable\ declaration\ part}\\
|
|
|
|
+\synt{thread variable\ declaration\ part}\\
|
|
\synt{procedure/function\ declaration\ part}
|
|
\synt{procedure/function\ declaration\ part}
|
|
\end{stack}
|
|
\end{stack}
|
|
\end{rep}
|
|
\end{rep}
|
|
@@ -56,6 +57,13 @@
|
|
\end{rep}
|
|
\end{rep}
|
|
\end{mysyntdiag}
|
|
\end{mysyntdiag}
|
|
\begin{mysyntdiag}
|
|
\begin{mysyntdiag}
|
|
|
|
+\synt{thread variable\ declaration\ part}
|
|
|
|
+\lit*{threadvar}
|
|
|
|
+\begin{rep}[b]
|
|
|
|
+ \synt{variable\ declaration}\\
|
|
|
|
+\end{rep}
|
|
|
|
+\end{mysyntdiag}
|
|
|
|
+\begin{mysyntdiag}
|
|
\synt{procedure/function\ declaration\ part}
|
|
\synt{procedure/function\ declaration\ part}
|
|
\begin{rep}[b]
|
|
\begin{rep}[b]
|
|
\begin{stack}
|
|
\begin{stack}
|