Sather Home Page

Section 8.5.1.1.1:
$RO_ARR

abstract class $RO_ARR{ETP} < $CONTAINER{ETP} is -- This abstraction is for a read-only array which forms the interface to -- other array classes. ind! : CARD ; -- This iter yields all of the indices of an array -- the numbers -- between zero and (size - 1). aget( index : CARD ) : ETP ; -- Provided that the pre-condition has_ind(index)is satisfied then -- this routine returns the element of the array which corresponds to index. has_ind( val : CARD ) : BOOL ; -- This routine returns true if and only if val is less than the array -- size.
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