Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_DYNAMIC_LIST_I [G -> EV_CONTAINABLE] General cluster: implementation_interface description: "Eiffel Vision dynamic list. Implementation interface." Ancestors EV_ANY_I* Queries count: INTEGER_32 cursor: EV_DYNAMIC_LIST_CURSOR [G] has (v: [detachable like item] detachable G): BOOLEAN i_th (i: INTEGER_32): G index: INTEGER_32 index_of (v: [detachable like item] detachable G; i: INTEGER_32): INTEGER_32 is_destroyed: BOOLEAN item: G off: BOOLEAN retrieve_item_by_data (data: detachable ANY; should_compare_objects: BOOLEAN): detachable G retrieve_items_by_data (data: ANY; should_compare_objects: BOOLEAN): ARRAYED_LIST [G] valid_cursor (p: CURSOR): BOOLEAN Commands append (s: SEQUENCE [G]) back extend (v: [like item] G) forth go_i_th (i: INTEGER_32) go_to (p: CURSOR) merge_left (other: [like attached_interface] attached EV_DYNAMIC_LIST [G]) merge_right (other: [like attached_interface] attached EV_DYNAMIC_LIST [G]) move (i: INTEGER_32) prune (v: [like item] G) put_front (v: [like item] G) put_i_th (v: [like item] G; i: INTEGER_32) put_left (v: [like item] G) put_right (v: [like item] G) remove remove_left remove_right replace (v: [like item] G) start wipe_out Constraints index within bounds
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org