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
|
class EXAMPLE1
--
-- This example shows how to list the contents of the current working
-- directory using class BASIC_DIRECTORY.
--
creation make
feature {NONE}
make is
local
basic_directory: BASIC_DIRECTORY;
do
basic_directory.connect_to_current_working_directory;
if basic_directory.is_connected then
io.put_string("The current working directory is %"");
io.put_string(basic_directory.last_entry);
io.put_string("%".%N");
display_content_of(basic_directory);
else
io.put_string("Unable to open current working directory.%N");
end;
end;
display_content_of(basic_directory: BASIC_DIRECTORY) is
require
basic_directory.is_connected
do
from
basic_directory.read_entry;
until
basic_directory.end_of_input
loop
io.put_character('%T');
io.put_string(basic_directory.last_entry);
io.put_character('%N');
basic_directory.read_entry;
end;
basic_directory.disconnect;
ensure
not basic_directory.is_connected
end;
end
|
