Automatic generation produced by ISE Eiffel
class IDENTIFIED General cluster: base.support description: "Objects identified, uniquely during any session, by an integer" Ancestors ANY MEMORY Queries id_freed: BOOLEAN id_object (an_id: INTEGER): IDENTIFIED is_equal (other: [like Current] IDENTIFIED): BOOLEAN object_id: INTEGER Commands copy (other: [like Current] IDENTIFIED) free_id -- Generated by ISE Eiffel --
For more details: www.eiffel.com