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{minipage}[t]{\linewidth}\begin{tabbing} $p$\verb$ / $$e_{\mbox{\small loc}}$\end{tabbing}\end{minipage}$$

TRANSLATION:

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

where:

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