deferred class WEL_DISK_SPACE_CALLBACK General cluster: wel description: "Callback facilities for WEL_DISK_SPACE. Version for classic Eiffel." Ancestors ANY Queries last_query_success: BOOLEAN Commands query_local_drive (drive_letter: CHARACTER_8)