class IDENTIFIED_ROUTINES General cluster: elks description: "Objects identified, uniquely during any session, by an integer" Ancestors ANY Queries eif_id_object (an_id: INTEGER_32): detachable ANY eif_object_id (an_object: ANY): INTEGER_32 Commands eif_object_id_free (an_id: INTEGER_32)
Generated by ISE EiffelStudio