-- Automatic generation produced by ISE Eiffel --

indexing
     description: "Example on how to use the class WEL_DISK_SPACE"
     author: "Arnaud PICHERY [ aranud@mail.dotcom.fr ]"

class interface
     DISKSPACE_DEMO

create

     make
                 -- Main Initialization routine.

feature -- Initialization

     disk_space: WEL_DISK_SPACE
                 -- Object use to query disk space.

     make
                 -- Main Initialization routine.
     
invariant

           -- from ANY
     reflexive_equality: standard_is_equal (Current)
     reflexive_conformance: conforms_to (Current)

end -- class DISKSPACE_DEMO

-- Generated by ISE Eiffel --

-- For more details: www.eiffel.com --