GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
EXAMPLE5
+
Point of view
All features
ANY
All features
class EXAMPLE5
Summary
top
This example shows how to create a new directory, how to add files in this new created directory and finally how to remove it.
Direct parents
Insert list:
ANY
Overview
top
Creation features
{
ANY
}
make
Features
{}
make
list_directory
(path:
STRING
)
display_content_of
(basic_directory:
BASIC_DIRECTORY
)
make
effective procedure
{}
top
list_directory
(path:
STRING
)
effective procedure
{}
top
display_content_of
(basic_directory:
BASIC_DIRECTORY
)
effective procedure
{}
top
require
basic_directory.is_connected
ensure
not basic_directory.is_connected