Translating constructor declarations

The scheme for translating declaration of constructors in HPspmd classes is illustrated in Figure A.16.

The macro TRANS_PARAMS was defined in section A.4.3.

Figure A.17: Translation of on construct.

SOURCE:

$$\begin{minipage}[t]{\linewidth}\begin{tabbing} \verb$on ($$e_{\mbox{\small grp}}$\verb$) $$S$ \\ \end{tabbing}\end{minipage}$$

TRANSLATION:

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

where:

$$\begin{array}{l} \mbox{$e_{\mbox{\small grp}}$ is an expres... ... \mbox{$S$ is a statement in the source program.} \end{array}$$