Automatic generation produced by ISE Eiffel
class ARRAY [G] General cluster: base.kernel description: "Sequences of values, all of the same type or of a conforming one, accessible through integer indices in a contiguous interval." create: make_from_array, make Ancestors INDEXABLE [G, H -> INTEGER] RESIZABLE [G] TO_SPECIAL [T] Queries infix "@" (i: INTEGER): G additional_space: INTEGER all_default: BOOLEAN area: SPECIAL [G] capacity: INTEGER changeable_comparison_criterion: BOOLEAN count: INTEGER entry (i: INTEGER): G extendible: BOOLEAN full: BOOLEAN Growth_percentage: INTEGER has (v: G): BOOLEAN index_set: INTEGER_INTERVAL is_empty: BOOLEAN is_equal (other: [like Current] ARRAY [G]): BOOLEAN is_inserted (v: G): BOOLEAN item (i: INTEGER): G linear_representation: LINEAR [G] lower: INTEGER Minimal_increase: INTEGER object_comparison: BOOLEAN occurrences (v: G): INTEGER prunable: BOOLEAN resizable: BOOLEAN same_items (other: [like Current] ARRAY [G]): BOOLEAN subarray (start_pos, end_pos: INTEGER): [like Current] ARRAY [G] to_c: ANY upper: INTEGER valid_index (i: INTEGER): BOOLEAN valid_index_set: BOOLEAN Commands automatic_grow clear_all compare_objects compare_references copy (other: [like Current] ARRAY [G]) discard_items enter (v: [like item] G; i: INTEGER) fill (other: CONTAINER [G]) force (v: [like item] G; i: INTEGER) grow (i: INTEGER) make (min_index, max_index: INTEGER) make_from_array (a: ARRAY [G]) prune_all (v: G) put (v: [like item] G; i: INTEGER) resize (min_index, max_index: INTEGER) subcopy (other: [like Current] ARRAY [G]; start_pos, end_pos, index_pos: INTEGER) Constraints area exists consistent size non negative count index set has same count index set has same bounds -- Generated by ISE Eiffel --
For more details: www.eiffel.com