Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class WEL_ARRAY [G -> WEL_STRUCTURE] General cluster: wel description: "Fixed array for WEL_STRUCTURE. Used internally by WEL." create: make Ancestors WEL_STRUCTURE* Queries count: INTEGER_32 exists: BOOLEAN i_th_item (index: INTEGER_32): POINTER is_equal (other: [like Current] WEL_ARRAY [G]): BOOLEAN item: POINTER item_size: INTEGER_32 shared: BOOLEAN structure_size: INTEGER_32 Commands copy (other: [like Current] WEL_ARRAY [G]) dispose initialize initialize_with_character (a_character: CHARACTER_8) memory_copy (source_pointer: POINTER; length: INTEGER_32) put (an_item: G; index: INTEGER_32) set_item (an_item: POINTER) set_shared set_unshared Constraints positive count positive item size
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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