expanded class interface FILE_TOOLS

feature(s) from FILE_TOOLS
   same_files (path1, path2: STRING): BOOLEAN
      --  True if path1 file exists and as the 
      --  same contents as file path2.

      require
         path1 /= Void;
         path2 /= Void

   is_readable (path: STRING): BOOLEAN
      require
         path /= Void --  True if path file exists and is a readable file.

   is_empty (path: STRING): BOOLEAN
      --  True if path file exists, is readable and is an 
      --  empty file.


   rename_to (old_path, new_path: STRING)
      require
         old_path /= Void;
         new_path /= Void

   delete (path: STRING)
      require
         path /= Void

   mkdir (name: STRING)


end of expanded FILE_TOOLS