GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
wrappers
>
STATVFS_EXTERNALS
+
Point of view
All features
ANY
WRAPPER_HANDLER
All features
deferred class STATVFS_EXTERNALS
Summary
top
Direct parents
Insert list:
ANY
,
STANDARD_C_LIBRARY_TYPES
Overview
top
Features
External calls
{}
fstatvfs
(a_fildes:
INTEGER_32
, a_buf:
POINTER
):
INTEGER_32
function fstatvfs (in
/usr/include/x86_64-linux-gnu/sys/statvfs.h
) fstatvfs
fstatvfs64
(a_fildes:
INTEGER_32
, a_buf:
POINTER
):
INTEGER_32
function fstatvfs64 (in
/usr/include/x86_64-linux-gnu/sys/statvfs.h
) fstatvfs64
statvfs
(a_file:
POINTER
, a_buf:
POINTER
):
INTEGER_32
function statvfs (in
/usr/include/x86_64-linux-gnu/sys/statvfs.h
) statvfs
statvfs64
(a_file:
POINTER
, a_buf:
POINTER
):
INTEGER_32
function statvfs64 (in
/usr/include/x86_64-linux-gnu/sys/statvfs.h
) statvfs64
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.
fstatvfs
(a_fildes:
INTEGER_32
, a_buf:
POINTER
):
INTEGER_32
{}
top
function fstatvfs (in
/usr/include/x86_64-linux-gnu/sys/statvfs.h
) fstatvfs
fstatvfs64
(a_fildes:
INTEGER_32
, a_buf:
POINTER
):
INTEGER_32
{}
top
function fstatvfs64 (in
/usr/include/x86_64-linux-gnu/sys/statvfs.h
) fstatvfs64
statvfs
(a_file:
POINTER
, a_buf:
POINTER
):
INTEGER_32
{}
top
function statvfs (in
/usr/include/x86_64-linux-gnu/sys/statvfs.h
) statvfs
statvfs64
(a_file:
POINTER
, a_buf:
POINTER
):
INTEGER_32
{}
top
function statvfs64 (in
/usr/include/x86_64-linux-gnu/sys/statvfs.h
) statvfs64
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