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. set!( elem : ETP ) ; -- This iter sets all elements of the list in turn before finally quitting.
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