| # Section 8.5.1.1.2: $ARR |

abstract class $ARR{ETP} < $RO_ARR{ETP} is -- This abstract class models the general array where the indices are -- cardinal numbers less than the array size. It is similar to a MAP from -- numbers to elements, but has more more restrictive conditions. aset( index : CARD, elem : ETP ) ; -- Provided that the pre-condition has_ind(index) is satisfied then -- this routine sets the element of the array which corresponds to index to -- have the value elem.

| Language Index |  | Library Index |  | Container Index

Comments or enquiries should be made to Keith Hopper. Page last modified: Thursday, 25 May 2000. |