+
Point of view
All features
class EXAMPLE4
Summary
top
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
top
Creation features
{ANY}
Features
{}
{ANY}
{}
Implementation of ARGUMENTS (do not use directly):
{}
make
effective procedure
{}
top
already_visited_places: ARRAY[STRING]
once function
{}
top
recursive_list_of (some_path: STRING)
effective procedure
{}
top
argument_count: INTEGER_32
effective function
{ANY}
top
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}
top
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}
top
command_arguments: FAST_ARRAY[STRING]
frozen
once function
{}
top
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
{}
top
To implement command_arguments
se_argv (i: INTEGER_32): STRING
{}
top
To implement command_arguments