Automatic generation produced by ISE Eiffel
class SPECIAL [T] General cluster: elks description: "Special objects: homogeneous sequences of values, used to represent arrays and strings" create: make_empty , make_filled , make_from_native_array Ancestors ABSTRACT_SPECIAL * READABLE_INDEXABLE * [G] Queries aliased_resized_area (n: INTEGER_32 ): [like Current] SPECIAL [T] aliased_resized_area_with_default (a_default_value: T; n: INTEGER_32 ): [like Current] SPECIAL [T] at alias "@ " (i: INTEGER_32 ): T base_address : POINTER capacity : INTEGER_32 count : INTEGER_32 debug_output : STRING_8 filled_with (v: T; start_index, end_index: INTEGER_32 ): BOOLEAN for_all_in_bounds (test: FUNCTION [T, BOOLEAN ]; start_index, end_index: INTEGER_32 ): BOOLEAN index_of (v: T; start_position: INTEGER_32 ): INTEGER_32 item alias "[] " (i: INTEGER_32 ): T item_address (i: INTEGER_32 ): POINTER Lower : INTEGER_32 native_array : NATIVE_ARRAY [T] new_cursor : SPECIAL_ITERATION_CURSOR [T] resized_area (n: INTEGER_32 ): [like Current] SPECIAL [T] resized_area_with_default (a_default_value: T; n: INTEGER_32 ): [like Current] SPECIAL [T] same_items (other: [like Current] SPECIAL [T]; source_index, destination_index, n: INTEGER_32 ): BOOLEAN there_exists_in_bounds (test: FUNCTION [T, BOOLEAN ]; start_index, end_index: INTEGER_32 ): BOOLEAN to_array : ARRAY [T] upper : INTEGER_32 valid_index (i: INTEGER_32 ): BOOLEAN Commands copy_data (other: SPECIAL [T]; source_index, destination_index, n: INTEGER_32 ) do_all_in_bounds (action: PROCEDURE [T]; start_index, end_index: INTEGER_32 ) do_all_with_index_in_bounds (action: PROCEDURE [T, INTEGER_32 ]; start_index, end_index: INTEGER_32 ) do_if_in_bounds (action: PROCEDURE [T]; test: FUNCTION [T, BOOLEAN ]; start_index, end_index: INTEGER_32 ) do_if_with_index_in_bounds (action: PROCEDURE [T, INTEGER_32 ]; test: FUNCTION [T, INTEGER_32 , BOOLEAN ]; start_index, end_index: INTEGER_32 ) extend (v: T) extend_filled (v: T) fill_with (v: T; start_index, end_index: INTEGER_32 ) fill_with_default (start_index, end_index: INTEGER_32 ) force (v: T; i: INTEGER_32 ) insert_data (other: SPECIAL [T]; source_index, destination_index, n: INTEGER_32 ) keep_head (n: INTEGER_32 ) keep_tail (n: INTEGER_32 ) move_data (source_index, destination_index, n: INTEGER_32 ) non_overlapping_move (source_index, destination_index, n: INTEGER_32 ) overlapping_move (source_index, destination_index, n: INTEGER_32 ) put (v: T; i: INTEGER_32 ) remove_head (n: INTEGER_32 ) remove_tail (n: INTEGER_32 ) replace_all (v: T) wipe_out Constraints consistent count -- Generated by Eiffel Studio --
For more details: eiffel.org