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.