| # 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. |