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.
e & \equiv & a \verb$ == $ b
\mbox{this type has rank, $R$.} \\

Bryan Carpenter 2003-04-15