GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
CLARG_NOT
+
Point of view
All features
ANY
COMMAND_LINE_ARGUMENTS
COMMAND_LINE_ARGUMENT
All features
class CLARG_NOT
Summary
top
Direct parents
Inherit list:
COMMAND_LINE_ARGUMENT
Class invariant
top
arg
/= Void
Overview
top
Creation features
{
COMMAND_LINE_ARGUMENT
}
make
(a_arg:
COMMAND_LINE_ARGUMENT
)
Features
{
ANY
}
is_repeatable
:
BOOLEAN
True if the argument is repeatable; False if unique.
prefix "not"
:
COMMAND_LINE_ARGUMENT
(tentative; don't use it, the semantics is not well defined)
is_set
:
BOOLEAN
True if the option is present and correct.
is_mandatory
:
BOOLEAN
True if the argument must be present.
is_set_at
(context:
COMMAND_LINE_CONTEXT
):
BOOLEAN
True if the option is present and correct at the given context.
{
COMMAND_LINE_ARGUMENTS
,
COMMAND_LINE_ARGUMENT
}
prepare_parse
parse_command_line
(context:
COMMAND_LINE_CONTEXT
):
COMMAND_LINE_CONTEXT
undo_parse
(context:
COMMAND_LINE_CONTEXT
)
usage_summary
(stream:
OUTPUT_STREAM
)
usage_details
(stream:
OUTPUT_STREAM
)
{}
arg
:
COMMAND_LINE_ARGUMENT
make
(a_arg:
COMMAND_LINE_ARGUMENT
)
detailed
:
BOOLEAN
{
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.
is_repeatable
:
BOOLEAN
is False
constant attribute
{
ANY
}
top
True if the argument is repeatable; False if unique.
prefix "not"
:
COMMAND_LINE_ARGUMENT
effective function
{
ANY
}
top
(tentative; don't use it, the semantics is not well defined)
ensure
Result /= Void
is_set
:
BOOLEAN
effective function
{
ANY
}
top
True if the option is present and correct.
is_mandatory
:
BOOLEAN
effective function
{
ANY
}
top
True if the argument must be present.
is_set_at
(context:
COMMAND_LINE_CONTEXT
):
BOOLEAN
effective function
{
ANY
}
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
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
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
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
arg
:
COMMAND_LINE_ARGUMENT
writable attribute
{}
top
make
(a_arg:
COMMAND_LINE_ARGUMENT
)
effective procedure
{}
top
require
a_arg /= Void
detailed
:
BOOLEAN
writable attribute
{}
top
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