Translation of a multiarray declaration

Figure 4.9: Translation of a multiarray-valued variable declaration.

SOURCE:

$$T \verb$ [[$$   attr$$_0 \verb$, $ \ldots \verb$,$$   attr$$_{R-1} \verb$]] $ a \verb$ ;$$$

TRANSLATION:

$$\begin{minipage}[t]{\linewidth}\small\begin{tabbing} $T$\verb$ [... ...r}_{R-1}\right)$\verb$ $$a'_{R-1}$\verb$ ;$ \\ \end{tabbing} \end{minipage}$$

Figure 4.9 represents a schema for translating a multiarray declaration in a source HPJava program. $T$ is some Java type, and $a'_{\mbox{\small dat}}$, $a'_{\mbox{\small bas}}$ and $a'_0 \ldots a'_{R-1}$ are new identifiers, typically derived from $a$ by adding some suffixes, the strings attr$_r$ are each either a hyphen, -, or an asterisk, *, and the ``macro'' DIMENSION_TYPE is defined as:

if the term attr$_r$ is a hyphen, or

$$\begin{minipage}[t]{\linewidth}\small\begin{tabbing} $\mbo... ...ht) \equiv$ \verb$SeqArrayDim$ \end{tabbing} \end{minipage}$$

if the term attr$_r$ is an asterisk. For instance, if a class in the source program has a field:

$$\begin{minipage}[t]{\linewidth}\small\begin{verbatim} float [[-,*]] var ;\end{verbatim}\end{minipage}$$

the translated class may be supposed to have the four fields as:

$$\begin{minipage}[t]{\linewidth}\small\begin{verbatim} float [] va... ...$bas ; ArrayDim var__$0 ; SeqArrayDim var__$1 ;\end{verbatim}\end{minipage}$$

Generally a rank-$r$ multiarray in the source program is translated to $2 + r$ variables in the ordinary Java program. The first variable is an ordinary, one-dimensional, Java array holding local elements. A struct-like object of type ArrayBase holds a base offset in this array and an HPJava Group object--the distribution group of the array. Simple ArrayDim and SeqArrayDim objects each contain an integer stride in the local array and an HPJava Range object describing the dimensions of the distributed array.

Figure 4.10: Translation of multiarray creation expression.

SOURCE:

$$\begin{minipage}[t]{\linewidth}\small\begin{tabbing} $a$\ \verb$ = new $$T$\verb$ [[$$e_0$\verb$, $ \ldots \verb$, $$e_{R-1}$\verb$]]$$bras$$$\verb$ on $$p$\verb$ ;$ \end{tabbing} \end{minipage}$$

TRANSLATION:

$$\begin{minipage}[t]{\linewidth}\small\begin{tabbing} \verb... ...($$p$\verb$, $$b$\verb$) ;$ \\ \end{tabbing} \end{minipage}$$

where:

$$\begin{array}{l} \mbox{$T$\ is a Java type,} \\ \mbox{$R... ...{\it DEFINE\_DIMENSION} is defined in the text.} \end{array}$$