next up previous contents index
Next: Translating reference equality Up: Basic translation Previous: Translating casts   Contents   Index


Translating instanceof

The scheme for translating an instanceof test applied to a multiarray valued expression is illustrated in Figure A.42. The macro DIMENSION_TYPE is in section A.4.2.

Figure A.43: Translation of reference equality tests, applied to array expressions.
\begin{figure}\textbf{SOURCE:} \begin{eqnarray*} e & \equiv & a \verb$ == $ b \e... ...\\ \mbox{this type has rank, $R$.} \\ \end{array}\end{displaymath}\end{figure}


Bryan Carpenter 2003-04-15