+
Point of view
All features
class EXAMPLE3
-
Summary
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
Creation features
{ANY}
Features
{}
{ANY}
{}
Implementation of ARGUMENTS (do not use directly):
{}
basic_directory: BASIC_DIRECTORY
writable attribute
{}
make
effective procedure
{}
go_up_from (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