class CLARG_NOT
Summary
Direct parents
Inherit list: COMMAND_LINE_ARGUMENT
Class invariant
Overview
Creation features
{COMMAND_LINE_ARGUMENT}
Features
{ANY}
{COMMAND_LINE_ARGUMENTS, COMMAND_LINE_ARGUMENT}
{}
{ANY}
is_repeatable: BOOLEAN
is False
constant attribute
{ANY}
True if the argument is repeatable; False if unique.
prefix "not": COMMAND_LINE_ARGUMENT
effective function
{ANY}
(tentative; don't use it, the semantics is not well defined)
is_set: BOOLEAN
effective function
{ANY}
True if the option is present and correct.
is_mandatory: BOOLEAN
effective function
{ANY}
True if the argument must be present.
is_set_at (context: COMMAND_LINE_CONTEXT): BOOLEAN
effective function
{ANY}
True if the option is present and correct at the given context.
prepare_parse
effective procedure
parse_command_line (context: COMMAND_LINE_CONTEXT): COMMAND_LINE_CONTEXT
effective function
undo_parse (context: COMMAND_LINE_CONTEXT)
effective procedure
usage_summary (stream: OUTPUT_STREAM)
effective procedure
usage_details (stream: OUTPUT_STREAM)
effective procedure
writable attribute
{}
make (a_arg: COMMAND_LINE_ARGUMENT)
effective procedure
{}
detailed: BOOLEAN
writable attribute
{}
effective function
{ANY}
Arguments disjunction.
infix "or else" (other: COMMAND_LINE_ARGUMENT): COMMAND_LINE_ARGUMENT
effective function
{ANY}
Arguments disjunction.
effective function
{ANY}
Arguments conjunction.
infix "and then" (other: COMMAND_LINE_ARGUMENT): COMMAND_LINE_ARGUMENT
effective function
{ANY}
Arguments conjunction.