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