next up previous contents index
Next: Translating group restriction Up: Basic translation Previous: Translating distributed array restriction   Contents   Index


Translating other statement expressions

In earlier sections we have given a series of special rules for statement expressions (mostly assignments) involving composite multiarray expressions. Figure A.36 gives the trivial rule for translating any other multiarray expression appearing as a statement expression.

In fact there is only one remaining possibility, and that is for $e$ to be an assignment statement with a non-composite expression on the right-hand-side. The rule for translation of the expression itself is thus given in section A.4.10. For completeness we factor out the additional step of generating a sequence of statement expressions as a separate rule here, noting that the rule of A.4.10 also applies (of course) to assignment expressions that are not top-level statement expressions.

Figure A.37: Translation of group restriction operation.
SOURCE:

\begin{displaymath}
\begin{minipage}[t]{\linewidth}\begin{tabbing}
$p$\verb$ / $$e_{\mbox{\small loc}}$\end{tabbing}\end{minipage}\end{displaymath}

TRANSLATION:

\begin{displaymath}
\begin{minipage}[t]{\linewidth}\begin{tabbing}
$\mbox{\it RE...
... e_{\mbox{\small loc}}\right)$ \\
\end{tabbing}\end{minipage}\end{displaymath}

where:

\begin{displaymath}
\begin{array}{l}
\mbox{the expression $p$ is the group to b...
...acro {\it RESTRICT\_GROUP} is defined in the text.}
\end{array}\end{displaymath}


next up previous contents index
Next: Translating group restriction Up: Basic translation Previous: Translating distributed array restriction   Contents   Index
Bryan Carpenter 2003-04-15