+
Point of view
All features
class CLARG_NOP
Summary
top
Direct parents
Inherit list: COMMAND_LINE_ARGUMENT
Insert list: ARGUMENTS
Overview
top
Creation features
{COMMAND_LINE_ARGUMENT_FACTORY}
Features
{ANY}
{COMMAND_LINE_ARGUMENTS, COMMAND_LINE_ARGUMENT}
{}
{ANY}
{ANY}
{}
Implementation of ARGUMENTS (do not use directly):
{}
is_set: BOOLEAN
writable attribute
{ANY}
top
True if the option is present and correct.
is_mandatory: BOOLEAN
is False
constant attribute
{ANY}
top
True if the argument must be present.
is_repeatable: BOOLEAN
is False
constant attribute
{ANY}
top
True if the argument is repeatable; False if unique.
out_in_tagged_out_memory
effective procedure
{ANY}
top
Append terse printable representation of current object in tagged_out_memory.
require
    • locked: tagged_out_locked
    • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
  • not_cleared: tagged_out_memory.count >= old tagged_out_memory.count
  • append_only: old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
prepare_parse
effective procedure
{COMMAND_LINE_ARGUMENTS, COMMAND_LINE_ARGUMENT}
top
ensure
  • not is_set
parse_command_line (context: COMMAND_LINE_CONTEXT): COMMAND_LINE_CONTEXT
effective function
{COMMAND_LINE_ARGUMENTS, COMMAND_LINE_ARGUMENT}
top
require
  • context.is_parsed
ensure
  • Result.is_parsed
  • Result.index = context.index
usage_summary (stream: OUTPUT_STREAM)
effective procedure
{COMMAND_LINE_ARGUMENTS, COMMAND_LINE_ARGUMENT}
top
ensure
  • not detailed
usage_details (stream: OUTPUT_STREAM)
effective procedure
{COMMAND_LINE_ARGUMENTS, COMMAND_LINE_ARGUMENT}
top
ensure
  • detailed
undo_parse (context: COMMAND_LINE_CONTEXT)
effective procedure
{COMMAND_LINE_ARGUMENTS, COMMAND_LINE_ARGUMENT}
top
require
  • is_set_at(context)
ensure
  • not is_set_at(context)
  • not is_repeatable implies not is_set
is_set_at (context: COMMAND_LINE_CONTEXT): BOOLEAN
effective function
{COMMAND_LINE_ARGUMENTS, COMMAND_LINE_ARGUMENT}
top
True if the option is present and correct at the given context.
require
  • context.is_parsed
ensure
  • Result implies is_set
  • not is_repeatable implies Result = is_set
make
effective procedure
{}
top
detailed: BOOLEAN
writable attribute
{}
top
effective function
{ANY}
top
Arguments disjunction.
Useful to implement mutually exclusive sets of arguments.
require
  • other /= Void
ensure
  • Result /= Void
infix "or else" (other: COMMAND_LINE_ARGUMENT): COMMAND_LINE_ARGUMENT
effective function
{ANY}
top
Arguments disjunction.
Useful to implement mutually exclusive sets of arguments.
require
  • other /= Void
ensure
  • Result /= Void
effective function
{ANY}
top
Arguments conjunction.
All the arguments are checked, in any order.
require
  • other /= Void
ensure
  • Result /= Void
infix "and then" (other: COMMAND_LINE_ARGUMENT): COMMAND_LINE_ARGUMENT
effective function
{ANY}
top
Arguments conjunction.
All the arguments are checked, in any order.
require
  • other /= Void
ensure
  • Result /= Void
prefix "not": COMMAND_LINE_ARGUMENT
effective function
{ANY}
top
(tentative; don't use it, the semantics is not well defined)
ensure
  • Result /= Void
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