class ARGUMENTS

All features

Insert this class when you need access to command-line arguments.

Direct parents

non-conformant parents

ANY

Summary

exported features

Implementation of ANY (do not use directly):

Details

argument_count: INTEGER

Number of arguments given to command that started system execution (command name does not count).

ensure

  • Result >= 0

argument (i: INTEGER): STRING

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
frozen command_arguments: FAST_ARRAY [E_][STRING]

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

To implement command_arguments

se_argv (i: INTEGER): STRING

To implement command_arguments