Translating on constructs

A translation for the on construct is given in Figure A.17. If the group $e_{\mbox{\small grp}}$ is not fully contained in the active process group at the time the method toAPG() is invoked, it will throw a GroupNotContainedException.

Figure A.18: Translation of at construct.

SOURCE:

$$\begin{minipage}[t]{\linewidth}\begin{tabbing} \verb$at ($$i... ...box{\small glb}}$\verb$]) $$S$ \\ \end{tabbing}\end{minipage}$$

TRANSLATION:

$$\begin{minipage}[t]{\linewidth}\begin{tabbing} \verb$int $$\... ...ert{p}\right.\right]$ \\ \verb$}$ \end{tabbing}\end{minipage}$$

where:

$$\begin{array}{l} \mbox{$i$ is an index name in the source p... ...im}$ and $p$ are the names of new variables.} \\ \end{array}$$