GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
wrappers
>
SCHED_EXTERNALS
+
Point of view
All features
ANY
WRAPPER_HANDLER
All features
deferred class SCHED_EXTERNALS
Summary
top
Direct parents
Insert list:
ANY
,
STANDARD_C_LIBRARY_TYPES
Overview
top
Features
External calls
{}
sched_get_priority_max
(an_algorithm:
INTEGER_32
):
INTEGER_32
function sched_get_priority_max (in
/usr/include/sched.h
) sched_get_priority_max
sched_get_priority_min
(an_algorithm:
INTEGER_32
):
INTEGER_32
function sched_get_priority_min (in
/usr/include/sched.h
) sched_get_priority_min
sched_getaffinity
(a_pid:
INTEGER_32
, a_cpusetsize:
NATURAL_64
, a_cpuset:
POINTER
):
INTEGER_32
function sched_getaffinity (in
/usr/include/sched.h
) sched_getaffinity
sched_getparam
(a_pid:
INTEGER_32
, a_param:
POINTER
):
INTEGER_32
function sched_getparam (in
/usr/include/sched.h
) sched_getparam
sched_getscheduler
(a_pid:
INTEGER_32
):
INTEGER_32
function sched_getscheduler (in
/usr/include/sched.h
) sched_getscheduler
sched_rr_get_interval
(a_pid:
INTEGER_32
, a_t:
POINTER
):
INTEGER_32
function sched_rr_get_interval (in
/usr/include/sched.h
) sched_rr_get_interval
sched_setaffinity
(a_pid:
INTEGER_32
, a_cpusetsize:
NATURAL_64
, a_cpuset:
POINTER
):
INTEGER_32
function sched_setaffinity (in
/usr/include/sched.h
) sched_setaffinity
sched_setparam
(a_pid:
INTEGER_32
, a_param:
POINTER
):
INTEGER_32
function sched_setparam (in
/usr/include/sched.h
) sched_setparam
sched_setscheduler
(a_pid:
INTEGER_32
, a_policy:
INTEGER_32
, a_param:
POINTER
):
INTEGER_32
function sched_setscheduler (in
/usr/include/sched.h
) sched_setscheduler
sched_yield
:
INTEGER_32
function sched_yield (in
/usr/include/sched.h
) sched_yield
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.
sched_get_priority_max
(an_algorithm:
INTEGER_32
):
INTEGER_32
{}
top
function sched_get_priority_max (in
/usr/include/sched.h
) sched_get_priority_max
sched_get_priority_min
(an_algorithm:
INTEGER_32
):
INTEGER_32
{}
top
function sched_get_priority_min (in
/usr/include/sched.h
) sched_get_priority_min
sched_getaffinity
(a_pid:
INTEGER_32
, a_cpusetsize:
NATURAL_64
, a_cpuset:
POINTER
):
INTEGER_32
{}
top
function sched_getaffinity (in
/usr/include/sched.h
) sched_getaffinity
sched_getparam
(a_pid:
INTEGER_32
, a_param:
POINTER
):
INTEGER_32
{}
top
function sched_getparam (in
/usr/include/sched.h
) sched_getparam
sched_getscheduler
(a_pid:
INTEGER_32
):
INTEGER_32
{}
top
function sched_getscheduler (in
/usr/include/sched.h
) sched_getscheduler
sched_rr_get_interval
(a_pid:
INTEGER_32
, a_t:
POINTER
):
INTEGER_32
{}
top
function sched_rr_get_interval (in
/usr/include/sched.h
) sched_rr_get_interval
sched_setaffinity
(a_pid:
INTEGER_32
, a_cpusetsize:
NATURAL_64
, a_cpuset:
POINTER
):
INTEGER_32
{}
top
function sched_setaffinity (in
/usr/include/sched.h
) sched_setaffinity
sched_setparam
(a_pid:
INTEGER_32
, a_param:
POINTER
):
INTEGER_32
{}
top
function sched_setparam (in
/usr/include/sched.h
) sched_setparam
sched_setscheduler
(a_pid:
INTEGER_32
, a_policy:
INTEGER_32
, a_param:
POINTER
):
INTEGER_32
{}
top
function sched_setscheduler (in
/usr/include/sched.h
) sched_setscheduler
sched_yield
:
INTEGER_32
{}
top
function sched_yield (in
/usr/include/sched.h
) sched_yield
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