Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class WEL_IDENTIFIED Ancestors ANY IDENTIFIED_ROUTINES Descendants WEL_WINDOWS_ROUTINES Clients WEL_IDENTIFIED Suppliers INTEGER_32 WEL_IDENTIFIED
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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