Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class WEL_DISK_SPACE General cluster: wel description: "Object used to retrieve total and free disk space on anylocal hard drive. Remote drive are not yet supported" create: default_create Ancestors ANY Queries last_free_space: NATURAL_64 last_free_space_in_bytes: NATURAL_64 last_free_space_in_string: STRING_8 last_query_success: BOOLEAN last_total_space: NATURAL_64 last_total_space_in_bytes: NATURAL_64 last_total_space_in_string: STRING_8 Commands query_local_drive (drive_letter: CHARACTER_8)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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