+
Point of view
All features
class EXAMPLE4
Summary
This example shows how to traverse recursively some readable directory (starting point is computed either from current working directory or from some directory path given as an argument).
Direct parents
Insert list: ARGUMENTS
Overview
Creation features
{ANY}
Features
{}
{ANY}
{}
Implementation of ARGUMENTS (do not use directly):
{}
make
effective procedure
{}
already_visited_places: ARRAY[STRING]
once function
{}
recursive_list_of (some_path: STRING)
effective procedure
{}
argument_count: INTEGER_32
effective function
{ANY}
Number of arguments given to command that started system execution (command name does not count).
ensure
  • Result >= 0
argument (i: INTEGER_32): STRING
effective function
{ANY}
i th argument of command that started system execution Gives the command name if i is 0.
require ensure
  • Result /= Void
command_name: STRING
effective function
{ANY}
command_arguments: FAST_ARRAY[STRING]
frozen
once function
{}
Give access to arguments command line including the command name at index 0.
This is a once function, so you can modify command-line arguments! (NOTE: just be sure not to remove the first argument, although you may change it)
ensure
  • not Result.is_empty
se_argc: INTEGER_32
{}
To implement command_arguments
se_argv (i: INTEGER_32): STRING
{}
To implement command_arguments