File: example2.e

package info (click to toggle)
smarteiffel 1.1-11
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 12,288 kB
  • ctags: 40,785
  • sloc: ansic: 35,791; lisp: 4,036; sh: 1,783; java: 895; ruby: 613; python: 209; makefile: 115; csh: 78; cpp: 50
file content (71 lines) | stat: -rw-r--r-- 1,690 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
class EXAMPLE2
      --
      -- This example shows how to manipulate files and directories without
      -- ever relying to any explicit pathname manipulation (that is, we may
      -- need to bufferize some pathname, but never to scan it, cut it, build
      -- it and so on)
      --
creation make

feature

   make is
      local
         wd: DIRECTORY
      do
         create wd.scan_current_working_directory
         recursive_list(wd)
      end

feature {}

   recursive_list(wd: DIRECTORY) is
         -- Lists the contents of the directory, and tries to list the
         -- subdirectories
      local
         i: INTEGER
         a: FIXED_ARRAY[STRING]
         filename: STRING
         path: STRING
      do
         io.put_string(wd.path)
         io.put_new_line

         create a.with_capacity(wd.count)
         -- keep the names
         from
            i := wd.lower
         until
            i > wd.upper
         loop
            filename := wd.item(i)
            if filename /= Void and then filename.count > 0 then
               a.add_last(filename)
            end
            i := i + 1
         end

         from
            i := a.lower
         until
            i > a.upper
         loop
            -- save the current directory path
            path := wd.path.twin

            wd.scan_subdirectory(a.item(i))
            if wd.last_scan_status then
               recursive_list(wd)
               wd.scan_parent_directory
            else
               -- restore the current directory
               wd.scan(path)
            end
            i := i + 1
         end

         -- restore the current directory
         wd.scan(path)
      end

end