/[eiffelstudio]/FreeELKS/trunk/library/kernel/directory.e
ViewVC logotype

Diff of /FreeELKS/trunk/library/kernel/directory.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 91476 by ericb, Sun Feb 26 10:40:37 2006 UTC revision 91477 by ericb, Sun Jan 14 09:47:13 2007 UTC
# Line 20  create Line 20  create
20  feature -- Initialization  feature -- Initialization
21    
22          make (dn: STRING) is          make (dn: STRING) is
23                          -- Create directory object for the directory                          -- Create directory object for directory
24                          -- of name `dn'.                          -- of name `dn'.
25                  require                  require
26                          string_exists: dn /= Void                          string_exists: dn /= Void
# Line 30  feature -- Initialization Line 30  feature -- Initialization
30                  end                  end
31    
32          make_open_read (dn: STRING) is          make_open_read (dn: STRING) is
33                          -- Create directory object for the directory                          -- Create directory object for directory
34                          -- of name `dn' and open it for reading.                          -- of name `dn' and open it for reading.
35                  require                  require
36                          string_exists: dn /= Void                          string_exists: dn /= Void
# Line 55  feature -- Access Line 55  feature -- Access
55          readentry is          readentry is
56                          -- Read next directory entry                          -- Read next directory entry
57                          -- make result available in `lastentry'.                          -- make result available in `lastentry'.
58                          -- Make result void if all entries have been read.                          -- Make result Void if all entries have been read.
59                  require                  require
60                          is_opened: not is_closed                          is_opened: not is_closed
61                  do                  do
# Line 88  feature -- Access Line 88  feature -- Access
88                  end                  end
89    
90          open_read is          open_read is
91                          -- Open directory `name' for reading.                          -- Open directory for reading.
92                  local                  local
93                          external_name: ANY                          external_name: ANY
94                  do                  do
# Line 116  feature -- Access Line 116  feature -- Access
116                  end                  end
117    
118          change_name (new_name: STRING) is          change_name (new_name: STRING) is
119                          -- Change file name to `new_name'                          -- Change directory `name' to `new_name'.
120                  require                  require
121                          new_name_not_void: new_name /= Void                          new_name_not_void: new_name /= Void
122                          file_exists: exists                          directory_exists: exists
123                  local                  local
124                          ext_old_name, ext_new_name: ANY                          ext_old_name, ext_new_name: ANY
125                  do                  do
# Line 200  feature -- Status report Line 200  feature -- Status report
200                                  -- are symbolic representations but not effective directories.                                  -- are symbolic representations but not effective directories.
201                          Result := (count = 2)                          Result := (count = 2)
202                  end                  end
203            
204          empty: BOOLEAN is          empty: BOOLEAN is
205                          -- Is directory empty?                          -- Is directory empty?
206                  obsolete                  obsolete
# Line 254  feature -- Status report Line 254  feature -- Status report
254  feature -- Removal  feature -- Removal
255    
256          delete is          delete is
257                          -- Delete directory if empty                          -- Delete directory if empty.
258                  require                  require
259                          directory_exists: exists                          directory_exists: exists
260                          empty_directory: is_empty                          empty_directory: is_empty
# Line 266  feature -- Removal Line 266  feature -- Removal
266                  end                  end
267    
268          delete_content is          delete_content is
269                          -- Delete all files located in current directory and its                          -- Delete all files located in directory and subdirectories.
                         -- subdirectories.  
270                  require                  require
271                          directory_exists: exists                          directory_exists: exists
272                  local                  local
# Line 308  feature -- Removal Line 307  feature -- Removal
307                  end                  end
308    
309          recursive_delete is          recursive_delete is
310                          -- Delete directory, its files and its subdirectories.                          -- Delete directory and all content contained within.
311                  require                  require
312                          directory_exists: exists                          directory_exists: exists
313                  do                        do
314                          delete_content                          delete_content
315                          if is_empty then                          if is_empty then
316                                  delete                                  delete
# Line 323  feature -- Removal Line 322  feature -- Removal
322                          is_cancel_requested: FUNCTION [ANY, TUPLE, BOOLEAN]                          is_cancel_requested: FUNCTION [ANY, TUPLE, BOOLEAN]
323                          file_number: INTEGER)                          file_number: INTEGER)
324                  is                  is
325                          -- Delete all files located in current directory and its                          -- Delete all files located in directory and subdirectories.
                         -- subdirectories.  
326                          --                          --
327                          -- `action' is called each time `file_number' files has                          -- `action' is called each time `file_number' files has
328                          -- been deleted and before the function exits.                          -- been deleted and before the function exits.
329                          -- `action' may be set to Void if you don't need it.                          -- `action' may be set to Void if you don't need it.
330                          --                          --
331                          -- Same for `is_cancel_requested'.                          -- Same for `is_cancel_requested'.
332                          -- Make it return `True' to cancel the operation.                          -- Make it return `True' to cancel the operation.
333                          -- `is_cancel_requested' may be set to Void if you don't need it.                          -- `is_cancel_requested' may be set to Void if you don't need it.
# Line 417  feature -- Removal Line 415  feature -- Removal
415                          is_cancel_requested: FUNCTION [ANY, TUPLE, BOOLEAN]                          is_cancel_requested: FUNCTION [ANY, TUPLE, BOOLEAN]
416                          file_number: INTEGER)                          file_number: INTEGER)
417                  is                  is
418                          -- Delete directory, its files and its subdirectories.                          -- Delete directory and all content contained within.
419                          --                          --
420                          -- `action' is called each time `file_number' files has                          -- `action' is called each time `file_number' files has
421                          -- been deleted and before the function exits.                          -- been deleted and before the function exits.
# Line 425  feature -- Removal Line 423  feature -- Removal
423                          directory_exists: exists                          directory_exists: exists
424                  local                  local
425                          deleted_files: ARRAYED_LIST [STRING]                          deleted_files: ARRAYED_LIST [STRING]
426                  do                        do
427                          delete_content_with_action (action, is_cancel_requested, file_number)                          delete_content_with_action (action, is_cancel_requested, file_number)
428                          if (is_cancel_requested = Void) or else (not is_cancel_requested.item (Void)) then                          if (is_cancel_requested = Void) or else (not is_cancel_requested.item (Void)) then
429                                  delete                                  delete

Legend:
Removed from v.91476  
changed lines
  Added in v.91477

  ViewVC Help
Powered by ViewVC 1.1.23