class interface KL_DIRECTORY

creation
   make (a_name: STRING)
      --  Create a new directory object.

      require
         a_name_not_void: a_name /= Void;
         a_name_not_empty: not a_name.empty
      ensure
         name_set: name = a_name

feature(s) from KL_DIRECTORY
   --  Access

   name: STRING
      --  Directory name