Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class MEMORY_STREAM General obsolete: "Use MANAGED_POINTER instead." cluster: elks description: "Stream of data stored in non Eiffel memory" create: make, make_from_pointer Ancestors DISPOSABLE* Queries area: POINTER at alias "@" (i: INTEGER_32): INTEGER_8 capacity: INTEGER_32 count: INTEGER_32 is_equal (other: [like Current] MEMORY_STREAM): BOOLEAN is_resizable: BOOLEAN item alias "[]" (i: INTEGER_32): INTEGER_8 valid_index (i: INTEGER_32): BOOLEAN Commands append (other: [like Current] MEMORY_STREAM) copy (other: [like Current] MEMORY_STREAM) dispose force (v: INTEGER_8; i: INTEGER_32) put (v: INTEGER_8; i: INTEGER_32) set_capacity (n: INTEGER_32) set_count (n: INTEGER_32) Constraints non void internal area area not null
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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