Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class MEMORY_STRUCTURE General cluster: elks description: "Representation of a memory structure." Ancestors ANY Queries exists: BOOLEAN item: POINTER shared: BOOLEAN structure_size: INTEGER_32 Commands make make_by_pointer (a_ptr: POINTER) Constraints managed pointer valid internal item valid
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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