expanded class interface DIRENT
   -- 
   --  Auxilliary low level class to implement BASIC_DIRECTORY.
   --  Do not use this class yourself.
   -- 
   --  For portable directories handling, see classes DIRECTORY
   --  and BASIC_DIRECTORY.
   -- 


end of expanded DIRENT