next up previous contents index
Next: Translating instanceof Up: Basic translation Previous: Translating subrange expressions   Contents   Index


Translating casts

The scheme for translating a cast of a multiarray valued expression is illustrated in Figure A.41. The macro CAST_DIMENSION is defined as follows:

\begin{displaymath}
\begin{minipage}[t]{\linewidth}\begin{tabbing}
$\mbox{\it CA...
...t) \equiv$ \verb$ (ArrayDim) $$a'_r$\end{tabbing}\end{minipage}\end{displaymath}

if the term $\mbox{\it attr}_r$ is empty, or

\begin{displaymath}
\begin{minipage}[t]{\linewidth}\begin{tabbing}
$\mbox{\it CA...
... \equiv$\verb$ (SeqArrayDim) $$a'_r$\end{tabbing}\end{minipage}\end{displaymath}

if the term $\mbox{\it attr}_r$ is an asterisk, *.

Figure A.42: Translation of instanceof expression for multiarray type.
\begin{figure}\textbf{SOURCE:}
\begin{eqnarray*}
e & \equiv & a \verb$ instanceo...
...MENSION\_TYPE} is defined in the text.}
\end{array}\end{displaymath}\end{figure}



Bryan Carpenter 2003-04-15