Translating field accesses

We only need to consider the case where the field is a multiarray. The general scheme is illustrated in Figure A.30.

The names $a'_{\mbox{\small dat}}$, $a'_{\mbox{\small bas}}$, and $a'_0, \ldots, a'_{R-1}$ are the names introduced by the translator when translating the corresponding field in the source program (see section A.4.2).

Figure A.31: Translation of method invocation expression, where return value is not multiarray-valued.