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