Sather Home Page

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.
Produced with Amaya