GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
wrappers
>
GETOPT_EXTERNALS
+
Point of view
All features
ANY
WRAPPER_HANDLER
All features
deferred class GETOPT_EXTERNALS
Summary
top
Direct parents
Insert list:
ANY
,
STANDARD_C_LIBRARY_TYPES
Overview
top
Features
External calls
{}
getopt
(an_argc:
INTEGER_32
, an_argv:
POINTER
, a_shortopts:
POINTER
):
INTEGER_32
function getopt (in
/usr/include/getopt.h
) getopt
optarg
:
POINTER
optarg
address_of_optarg
:
POINTER
Address of optarg
set_optarg
(a_value:
POINTER
)
Set variable optarg value
opterr
:
INTEGER_32
opterr
address_of_opterr
:
POINTER
Address of opterr
set_opterr
(a_value:
INTEGER_32
)
Set variable opterr value
optind
:
INTEGER_32
optind
address_of_optind
:
POINTER
Address of optind
set_optind
(a_value:
INTEGER_32
)
Set variable optind value
optopt
:
INTEGER_32
optopt
address_of_optopt
:
POINTER
Address of optopt
set_optopt
(a_value:
INTEGER_32
)
Set variable optopt value
variable-size types
{
WRAPPER_HANDLER
}
long
:
INTEGER_64
a query with the same type of c 'long int'.
long_unsigned
:
NATURAL_64
a query with the same type of c 'long unsigned int'.
C type definitions (typedefs)
{
WRAPPER_HANDLER
}
comparison_fn_t
:
POINTER
typedef comparison_fn_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
timer_t
:
POINTER
typedef timer_t from /usr/include/time.h Empty by design, used for anchored declarations.
clockid_t
:
INTEGER_32
typedef clockid_t from /usr/include/time.h Empty by design, used for anchored declarations.
time_t
:
INTEGER_64
typedef time_t from /usr/include/time.h Empty by design, used for anchored declarations.
clock_t
:
INTEGER_64
typedef clock_t from /usr/include/time.h Empty by design, used for anchored declarations.
uintmax_t
:
NATURAL_64
typedef uintmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
intmax_t
:
INTEGER_64
typedef intmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uintptr_t
:
NATURAL_64
typedef uintptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
intptr_t
:
INTEGER_64
typedef intptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast64_t
:
NATURAL_64
typedef uint_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast32_t
:
NATURAL_64
typedef uint_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast16_t
:
NATURAL_64
typedef uint_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast8_t
:
CHARACTER
typedef uint_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast64_t
:
INTEGER_64
typedef int_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast32_t
:
INTEGER_64
typedef int_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast16_t
:
INTEGER_64
typedef int_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast8_t
:
CHARACTER
typedef int_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least64_t
:
NATURAL_64
typedef uint_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least32_t
:
NATURAL_32
typedef uint_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least16_t
:
NATURAL_16
typedef uint_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least8_t
:
CHARACTER
typedef uint_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least64_t
:
INTEGER_64
typedef int_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least32_t
:
INTEGER_32
typedef int_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least16_t
:
INTEGER_16
typedef int_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least8_t
:
CHARACTER
typedef int_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint64_t
:
NATURAL_64
typedef uint64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint32_t
:
NATURAL_32
typedef uint32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint16_t
:
NATURAL_16
typedef uint16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint8_t
:
CHARACTER
typedef uint8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int64_t
:
INTEGER_64
typedef int64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int32_t
:
INTEGER_32
typedef int32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int16_t
:
INTEGER_16
typedef int16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int8_t
:
CHARACTER
typedef int8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ssize_t
:
INTEGER_64
typedef ssize_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
off64_t
:
INTEGER_64
typedef off64_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
off_t
:
INTEGER_64
typedef off_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
size_t
:
NATURAL_64
typedef size_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
ptrdiff_t
:
INTEGER_64
typedef ptrdiff_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
error_t
:
INTEGER_32
typedef error_t from /usr/include/errno.h Empty by design, used for anchored declarations.
getopt
(an_argc:
INTEGER_32
, an_argv:
POINTER
, a_shortopts:
POINTER
):
INTEGER_32
{}
top
function getopt (in
/usr/include/getopt.h
) getopt
optarg
:
POINTER
{}
top
optarg
address_of_optarg
:
POINTER
{}
top
Address of optarg
set_optarg
(a_value:
POINTER
)
{}
top
Set variable optarg value
opterr
:
INTEGER_32
{}
top
opterr
address_of_opterr
:
POINTER
{}
top
Address of opterr
set_opterr
(a_value:
INTEGER_32
)
{}
top
Set variable opterr value
optind
:
INTEGER_32
{}
top
optind
address_of_optind
:
POINTER
{}
top
Address of optind
set_optind
(a_value:
INTEGER_32
)
{}
top
Set variable optind value
optopt
:
INTEGER_32
{}
top
optopt
address_of_optopt
:
POINTER
{}
top
Address of optopt
set_optopt
(a_value:
INTEGER_32
)
{}
top
Set variable optopt value
long
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
a query with the same type of c 'long int'.
useful when dealing with code that uses long int variable: just insert th class and mark the type as 'like long'
long_unsigned
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
a query with the same type of c 'long unsigned int'.
useful when dealing with code that uses long int variable: just insert th class and mark the type as 'like long_unsigned'
comparison_fn_t
:
POINTER
effective function
{
WRAPPER_HANDLER
}
top
typedef comparison_fn_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
ensure
Result.is_default
timer_t
:
POINTER
effective function
{
WRAPPER_HANDLER
}
top
typedef timer_t from /usr/include/time.h Empty by design, used for anchored declarations.
ensure
Result.is_default
clockid_t
:
INTEGER_32
effective function
{
WRAPPER_HANDLER
}
top
typedef clockid_t from /usr/include/time.h Empty by design, used for anchored declarations.
ensure
Result.is_default
time_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef time_t from /usr/include/time.h Empty by design, used for anchored declarations.
ensure
Result.is_default
clock_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef clock_t from /usr/include/time.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uintmax_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef uintmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
intmax_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef intmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uintptr_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef uintptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
intptr_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef intptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_fast64_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_fast32_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_fast16_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_fast8_t
:
CHARACTER
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_fast64_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef int_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_fast32_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef int_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_fast16_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef int_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_fast8_t
:
CHARACTER
effective function
{
WRAPPER_HANDLER
}
top
typedef int_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_least64_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_least32_t
:
NATURAL_32
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_least16_t
:
NATURAL_16
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint_least8_t
:
CHARACTER
effective function
{
WRAPPER_HANDLER
}
top
typedef uint_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_least64_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef int_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_least32_t
:
INTEGER_32
effective function
{
WRAPPER_HANDLER
}
top
typedef int_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_least16_t
:
INTEGER_16
effective function
{
WRAPPER_HANDLER
}
top
typedef int_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int_least8_t
:
CHARACTER
effective function
{
WRAPPER_HANDLER
}
top
typedef int_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint64_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef uint64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint32_t
:
NATURAL_32
effective function
{
WRAPPER_HANDLER
}
top
typedef uint32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint16_t
:
NATURAL_16
effective function
{
WRAPPER_HANDLER
}
top
typedef uint16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
uint8_t
:
CHARACTER
effective function
{
WRAPPER_HANDLER
}
top
typedef uint8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int64_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef int64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int32_t
:
INTEGER_32
effective function
{
WRAPPER_HANDLER
}
top
typedef int32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int16_t
:
INTEGER_16
effective function
{
WRAPPER_HANDLER
}
top
typedef int16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
int8_t
:
CHARACTER
effective function
{
WRAPPER_HANDLER
}
top
typedef int8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
ssize_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef ssize_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
off64_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef off64_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
ensure
Result.is_default
off_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef off_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
ensure
Result.is_default
size_t
:
NATURAL_64
effective function
{
WRAPPER_HANDLER
}
top
typedef size_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
ensure
Result.is_default
ptrdiff_t
:
INTEGER_64
effective function
{
WRAPPER_HANDLER
}
top
typedef ptrdiff_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
Result.is_default
error_t
:
INTEGER_32
effective function
{
WRAPPER_HANDLER
}
top
typedef error_t from /usr/include/errno.h Empty by design, used for anchored declarations.
ensure
Result.is_default