INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |
-- Allocate array to hold values for indexes in
-- `min_index' .. `max_index'.
-- Set all values to default.
-- (Make array empty if `maxindex' = `minindex' - 1).
-- Initialize from the items of `a'.
-- Item at index `i'.
-- Maximum index
-- Item at index `i'.
-- New ARRAY having the same items as `Current'
-- Do both arrays have the same `lower', `upper', and items?
-- (Redefined from GENERAL.)
-- Do `Current' and `other' have the same items
-- with the same indices?
-- Do all items have their type's default value?
-- Is array empty?
-- Do both arrays have the same items?
-- Is `i' within bounds?
-- Set every item to its default value.
-- Make `v' the item at index `i', enlarging the
-- array if necessary.
-- Make 'v' the item at index `i'.
-- Resize to bounds `min_index' and `max_index'.
-- Do not lose any item whose index is in both
-- `lower..upper' and `min_index..max_index'.
-- Reinitialize by copying all the items of `other'.
-- (Also used by `clone'.)
-- (Redefined from GENERAL.)
-- New array consisting of items at indexes
-- in `min .. max'
-- Entry at index 'i', if in index interval.
-- (Synonym for 'item' and 'infix "@"')
-- Replace 'i-th' entry, if in index interval, by 'v'.
-- (Synonym for 'put')
-- Address of actual sequence of values,
-- for passing to external (non-Eiffel) routines
-- Append all items of 'other', if not void, at end
-- Creates an array from its external representation
-- Pointer to actual storage area
-- Insert 'element' after position 'index'.
-- Element at position 'upper' will be lost!
-- Note: Insertion is AFTER 'index'!
-- Move Range 'lower_index' .. 'upper_index' by 'distance'
-- positions. Neg. distance moves towards lower indices.
-- Free places get default values
-- Remove element at position 'index'.
-- Elements after 'index' will move
-- one position left (=towards lower indices).
-- Element at position 'upper' is set to default value.
-- Note: Position 'upper' will be set to
-- appropriate default value
-- Length of index interval
-- Change index interval so that
-- it starts at 'new_lower'.
-- No elements will be lost
-- Empty the array, discard all items
-- Is array empty?
-- Are all items set to default values?
INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |