home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
INTERNALS_HANDLER
All features
class ARGUMENTS
Summary
top
Insert this class when you need access to command-line arguments.
Direct parents
insert list:
ANY
Overview
top
features
argument_count
:
INTEGER_32
Number of arguments given to command that started system execution (command name does not count).
argument
(i:
INTEGER_32
):
STRING
i
th argument of command that started system execution Gives the command name if
i
is 0.
command_name
:
STRING
command_arguments
:
FAST_ARRAY
[
STRING
]
Give acces to arguments command line including the command name at index 0.
Implementation of
ARGUMENTS
(do not use directly):
se_argc
:
INTEGER_32
To implement
command_arguments
se_argv
(i:
INTEGER_32
):
STRING
To implement
command_arguments
argument_count
:
INTEGER_32
effective function
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
top
i
th argument of command that started system execution Gives the command name if
i
is 0.
require
i >= 0
i <=
argument_count
ensure
Result /= Void
command_name
:
STRING
effective function
top
command_arguments
:
FAST_ARRAY
[
STRING
]
frozen
once function
top
Give acces to arguments command line including the command name at index 0.
This is a once function, so you can modify command-line arguments!
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