GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
CLARG_OPTIONS
+
Point of view
All features
ANY
All features
deferred class CLARG_OPTIONS
Summary
top
Direct parents
Insert list:
ANY
Known children
Insert list:
CLARG_BOOLEAN
,
CLARG_COUNTER
,
CLARG_PARSER
Overview
top
Features
{
ANY
}
short
:
FIXED_STRING
long
:
FIXED_STRING
patterns
{}
short_pattern
:
REGULAR_EXPRESSION
long_pattern
:
REGULAR_EXPRESSION
long_equal_pattern
:
REGULAR_EXPRESSION
queries
{}
is_short
(arg:
STRING
, a_index:
INTEGER_32
):
BOOLEAN
is_long
(arg:
STRING
):
BOOLEAN
is_long_equal
(arg:
STRING
):
BOOLEAN
usage output helpers
{}
put_short
(stream:
OUTPUT_STREAM
)
put_long
(stream:
OUTPUT_STREAM
)
short
:
FIXED_STRING
writable attribute
{
ANY
}
top
long
:
FIXED_STRING
writable attribute
{
ANY
}
top
short_pattern
:
REGULAR_EXPRESSION
once function
{}
top
long_pattern
:
REGULAR_EXPRESSION
once function
{}
top
long_equal_pattern
:
REGULAR_EXPRESSION
once function
{}
top
is_short
(arg:
STRING
, a_index:
INTEGER_32
):
BOOLEAN
effective function
{}
top
require
short
/= Void
is_long
(arg:
STRING
):
BOOLEAN
effective function
{}
top
require
long
/= Void
is_long_equal
(arg:
STRING
):
BOOLEAN
effective function
{}
top
require
long
/= Void
ensure
Result implies
long_equal_pattern
.named_group_matched("value")
put_short
(stream:
OUTPUT_STREAM
)
effective procedure
{}
top
require
short
/= Void
put_long
(stream:
OUTPUT_STREAM
)
effective procedure
{}
top
require
long
/= Void