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