Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class WEL_OBJECT_ID_MANAGER General obsolete: "Use IDENTIFIED_ROUTINES instead." cluster: wel description: "Ancestor for every class using a 'Object vs Id' conversion in WEL." Ancestors IDENTIFIED_ROUTINES Queries eif_current_object_id: INTEGER_32 eif_id_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