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 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) free_id
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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