Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class WEL_IMALLOC General cluster: wel description: "IMalloc interface wrapper." create: make Ancestors WEL_STRUCTURE* Queries allocated (a_pointer: POINTER): BOOLEAN allocated_buffer (an_integer: INTEGER_32): POINTER allocated_not_reliable: BOOLEAN exists: BOOLEAN is_equal (other: [like Current] WEL_IMALLOC): BOOLEAN item: POINTER reallocated_buffer (a_pointer: POINTER; an_integer: INTEGER_32): POINTER shared: BOOLEAN size (a_pointer: POINTER): INTEGER_32 structure_size: INTEGER_32 Commands copy (other: [like Current] WEL_IMALLOC) dispose free_buffer (a_pointer: POINTER) initialize initialize_with_character (a_character: CHARACTER_8) make memory_copy (source_pointer: POINTER; length: INTEGER_32) set_item (an_item: POINTER) set_shared set_unshared
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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