+
Point of view
All features
class EXAMPLE5
Summary
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
Creation features
{ANY}
Features
{}
make
effective procedure
{}
list_directory (path: STRING)
effective procedure
{}
display_content_of (basic_directory: BASIC_DIRECTORY)
effective procedure
{}
require
  • basic_directory.is_connected
ensure
  • not basic_directory.is_connected