Translating casts

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