class SPECIAL [T] General cluster: base description: "Special objects: homogeneous sequences of values, used to represent arrays and strings" create: make_from_native_array, make Ancestors ABSTRACT_SPECIAL* Queries aliased_resized_area (n: INTEGER_32): [like Current] SPECIAL [T] aliased_resized_area_and_keep (n, j, k: INTEGER_32): [like Current] SPECIAL [T] all_default (upper_bound: INTEGER_32): BOOLEAN base_address: POINTER capacity: INTEGER_32 count: INTEGER_32 index_of (v: T; start_position: INTEGER_32): INTEGER_32 infix "@" (i: INTEGER_32): T item alias "[]" (i: INTEGER_32): T item_address (i: INTEGER_32): POINTER Lower: INTEGER_32 native_array: NATIVE_ARRAY [T] resized_area (n: INTEGER_32): [like Current] SPECIAL [T] same_items (other: [like Current] SPECIAL [T]; upper_bound: INTEGER_32): BOOLEAN upper: INTEGER_32 valid_index (i: INTEGER_32): BOOLEAN Commands clear_all copy_data (other: [like Current] SPECIAL [T]; source_index, destination_index, n: INTEGER_32) fill_with (v: T; start_index, end_index: 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)