Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class IDENTIFIED General cluster: elks description: "Objects identified, uniquely during any session, by an integer" Ancestors DISPOSABLE* IDENTIFIED_ROUTINES Queries eif_id_object (an_id: INTEGER_32): detachable ANY eif_object_id (an_object: ANY): INTEGER_32 id_freed: BOOLEAN id_object (an_id: INTEGER_32): detachable IDENTIFIED is_equal (other: [like Current] IDENTIFIED): BOOLEAN object_id: INTEGER_32 Commands copy (other: [like Current] IDENTIFIED) dispose eif_object_id_free (an_id: INTEGER_32) free_id
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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