Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class WEL_IDENTIFIED General cluster: wel description: "WEL way to identify objects" Ancestors ANY IDENTIFIED_ROUTINES Queries eif_current_object_id: INTEGER_32 eif_id_any_object (an_id: INTEGER_32): detachable ANY eif_is_object_id_of_current (an_id: INTEGER_32): BOOLEAN eif_object_id (an_object: ANY): INTEGER_32 Commands eif_object_id_free (an_id: INTEGER_32)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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