+
Point of view
All features
class EXAMPLE3
Summary
top
This example shows how to compute parent directories path starting from some given path as an argument or from the current working directory.
Direct parents
Insert list: ARGUMENTS
Overview
top
Creation features
{ANY}
Features
{}
{ANY}
{}
Implementation of ARGUMENTS (do not use directly):
{}
basic_directory: BASIC_DIRECTORY
writable attribute
{}
top
make
effective procedure
{}
top
go_up_from (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