+
Point of view
All features
class EXAMPLE6
Summary
This example shows how to create a new directory, how to change the current working directory.
Direct parents
Insert list: ANY
Overview
Creation features
{ANY}
Features
{}
make
effective procedure
{}
display_content_of (basic_directory: BASIC_DIRECTORY)
effective procedure
{}
require
  • basic_directory.is_connected
ensure
  • not basic_directory.is_connected