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