GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
CLARG_REMAINING
+
Point of view
All features
ANY
RECYCLING_POOL
STRING_HANDLER
ABSTRACT_STRING
STRING_RECYCLING_POOL
COMMAND_LINE_ARGUMENTS
COMMAND_LINE_ARGUMENT
All features
class CLARG_REMAINING
Summary
top
Direct parents
Inherit list:
COMMAND_LINE_TYPED_ARGUMENT
Insert list:
ARGUMENTS
Class invariant
top
list
/= Void
parent
= Void
is_optional or else is_positional or else is_mandatory
Overview
top
Creation features
{
COMMAND_LINE_ARGUMENT_FACTORY
}
make
Features
{
ANY
}
items
:
TRAVERSABLE
[
FIXED_STRING
]
The argument value, if
is_set
short
:
FIXED_STRING
The short (one-letter) option flag introducing the argument, Void for positionals
long
:
FIXED_STRING
The long option flag introducing the argument, Void for positionals
usage
:
FIXED_STRING
The option usage
is_mandatory
:
BOOLEAN
True if the argument must be set at least once.
can_be_mandatory
:
BOOLEAN
True if the argument can be
set_mandatory
(True).
is_optional
:
BOOLEAN
True if the argument may not be set.
can_be_optional
:
BOOLEAN
True if the argument can be
set_mandatory
(False).
is_positional
:
BOOLEAN
True if the argument is not introduced by a flag.
is_repeatable
:
BOOLEAN
True if the argument is repeatable; False if unique.
is_set
:
BOOLEAN
True if the option is present and correct.
force_index
(a_index:
INTEGER_32
)
Force a positional parameter to be valid only at the given index
out_in_tagged_out_memory
Append terse printable representation of current object in
tagged_out_memory
.
{
COMMAND_LINE_ARGUMENTS
,
COMMAND_LINE_ARGUMENT
}
prepare_parse
parse_command_line
(context:
COMMAND_LINE_CONTEXT
):
COMMAND_LINE_CONTEXT
usage_summary
(stream:
OUTPUT_STREAM
)
usage_details
(stream:
OUTPUT_STREAM
)
is_set_at
(context:
COMMAND_LINE_CONTEXT
):
BOOLEAN
True if the option is present and correct at the given context.
undo_parse
(context:
COMMAND_LINE_CONTEXT
)
set_mandatory
(parent_option: CLARG_REMAINING, enable:
BOOLEAN
)
{}
undo
fill_from
(index:
INTEGER_32
)
escape_option_index
:
INTEGER_32
{}
list
:
FAST_ARRAY
[
FIXED_STRING
]
parent
: CLARG_REMAINING
Internal technical trick to ensure that arguments with a non-standard behaviour (
set_mandatory
) are correctly managed.
detailed
:
BOOLEAN
make
{
ANY
}
item
: E_
The argument value, if
is_set
as_mandatory
: CLARG_REMAINING
Make the option mandatory (default for positionals)
prefix "+"
: CLARG_REMAINING
Make the option mandatory (default for positionals)
as_optional
: CLARG_REMAINING
Make the option optional (default for options)
prefix "-"
: CLARG_REMAINING
Make the option optional (default for options)
{
ANY
}
infix "or"
(other:
COMMAND_LINE_ARGUMENT
):
COMMAND_LINE_ARGUMENT
Arguments disjunction.
infix "or else"
(other:
COMMAND_LINE_ARGUMENT
):
COMMAND_LINE_ARGUMENT
Arguments disjunction.
infix "and"
(other:
COMMAND_LINE_ARGUMENT
):
COMMAND_LINE_ARGUMENT
Arguments conjunction.
infix "and then"
(other:
COMMAND_LINE_ARGUMENT
):
COMMAND_LINE_ARGUMENT
Arguments conjunction.
prefix "not"
:
COMMAND_LINE_ARGUMENT
(tentative; don't use it, the semantics is not well defined)
{
ANY
}
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 access 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
items
:
TRAVERSABLE
[
FIXED_STRING
]
effective function
{
ANY
}
top
The argument value, if
is_set
short
:
FIXED_STRING
effective function
{
ANY
}
top
The short (one-letter) option flag introducing the argument, Void for positionals
ensure
is_positional implies Result = Void
Result /= Void implies Result.count = 1
long
:
FIXED_STRING
effective function
{
ANY
}
top
The long option flag introducing the argument, Void for positionals
ensure
is_positional implies Result = Void
Result /= Void implies not Result.is_empty
usage
:
FIXED_STRING
effective function
{
ANY
}
top
The option usage
is_mandatory
:
BOOLEAN
is False
constant attribute
{
ANY
}
top
True if the argument must be set at least once.
ensure
Result implies can_be_mandatory
can_be_mandatory
:
BOOLEAN
is False
constant attribute
{
ANY
}
top
True if the argument can be
set_mandatory
(True).
is_optional
:
BOOLEAN
is True
constant attribute
{
ANY
}
top
True if the argument may not be set.
ensure
Result implies not is_positional
is_mandatory implies not Result
Result implies can_be_optional
can_be_optional
:
BOOLEAN
is True
constant attribute
{
ANY
}
top
True if the argument can be
set_mandatory
(False).
is_positional
:
BOOLEAN
is True
constant attribute
{
ANY
}
top
True if the argument is not introduced by a flag.
Such an argument is mandatory and may have an explicit position on the command line (see
force_index
).
ensure
Result implies not is_optional
Result implies is_mandatory
is_repeatable
:
BOOLEAN
is False
constant attribute
{
ANY
}
top
True if the argument is repeatable; False if unique.
is_set
:
BOOLEAN
effective function
{
ANY
}
top
True if the option is present and correct.
force_index
(a_index:
INTEGER_32
)
effective procedure
{
ANY
}
top
Force a positional parameter to be valid only at the given index
require
a_index > 0
is_positional
not is_repeatable
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
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
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
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
set_mandatory
(parent_option: CLARG_REMAINING, enable:
BOOLEAN
)
effective procedure
{
COMMAND_LINE_ARGUMENTS
,
COMMAND_LINE_ARGUMENT
}
top
require
parent_option /= Void
enable /= is_mandatory
enable implies can_be_mandatory
not enable implies can_be_optional
ensure
parent = parent_option
is_mandatory = enable
undo
effective procedure
{}
top
fill_from
(index:
INTEGER_32
)
effective procedure
{}
top
escape_option_index
:
INTEGER_32
writable attribute
{}
top
list
:
FAST_ARRAY
[
FIXED_STRING
]
writable attribute
{}
top
parent
: CLARG_REMAINING
effective function
{}
top
Internal technical trick to ensure that arguments with a non-standard behaviour (
set_mandatory
) are correctly managed.
detailed
:
BOOLEAN
writable attribute
{}
top
make
effective procedure
{}
top
item
: E_
deferred function
{
ANY
}
top
The argument value, if
is_set
as_mandatory
: CLARG_REMAINING
effective function
{
ANY
}
top
Make the option mandatory (default for positionals)
require
can_be_mandatory
ensure
Result.
is_mandatory
prefix "+"
: CLARG_REMAINING
effective function
{
ANY
}
top
Make the option mandatory (default for positionals)
require
can_be_mandatory
ensure
Result.
is_mandatory
as_optional
: CLARG_REMAINING
effective function
{
ANY
}
top
Make the option optional (default for options)
require
can_be_optional
ensure
not Result.
is_mandatory
prefix "-"
: CLARG_REMAINING
effective function
{
ANY
}
top
Make the option optional (default for options)
require
can_be_optional
ensure
not Result.
is_mandatory
infix "or"
(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
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
infix "and"
(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
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
i >= 0
i <=
argument_count
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