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
Generated by ISE EiffelStudio