GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
wrappers
>
LIB_VERSION_TYPE_ENUM
+
Point of view
All features
ANY
WRAPPER_HANDLER
WRAPPER
All features
expanded class LIB_VERSION_TYPE_ENUM
Summary
top
Wrapper of enum _LIB_VERSION_TYPE defined in file /usr/include/math.h
Direct parents
Insert list:
ENUM
Class invariant
top
is_valid_state
Overview
top
Creation features
{
ANY
}
default_create
set_ieee
Features
Validity
{
ANY
}
is_valid_value
(a_value:
INTEGER_32
):
BOOLEAN
Can
a_value
be used in a
set_value
feature call?
Setters
{
ANY
}
default_create
set_ieee
set_isoc
set_posix
set_svid
set_xopen
Queries
{
ANY
}
is_ieee
:
BOOLEAN
is_isoc
:
BOOLEAN
is_posix
:
BOOLEAN
is_svid
:
BOOLEAN
is_xopen
:
BOOLEAN
Low level values
{
WRAPPER
,
WRAPPER_HANDLER
}
ieee_low_level
:
INTEGER_32
isoc_low_level
:
INTEGER_32
posix_low_level
:
INTEGER_32
svid_low_level
:
INTEGER_32
xopen_low_level
:
INTEGER_32
{
ANY
}
is_valid_state
:
BOOLEAN
Is the value of the enumeration valid?
{
WRAPPER_HANDLER
}
value
:
INTEGER_32
The current value of the enumeration.
set
(a_value:
INTEGER_32
)
change_value
(a_value:
INTEGER_32
)
is_valid_value
(a_value:
INTEGER_32
):
BOOLEAN
effective function
{
ANY
}
top
Can
a_value
be used in a
set_value
feature call?
default_create
effective procedure
{
ANY
}
top
set_ieee
effective procedure
{
ANY
}
top
set_isoc
effective procedure
{
ANY
}
top
set_posix
effective procedure
{
ANY
}
top
set_svid
effective procedure
{
ANY
}
top
set_xopen
effective procedure
{
ANY
}
top
is_ieee
:
BOOLEAN
effective function
{
ANY
}
top
is_isoc
:
BOOLEAN
effective function
{
ANY
}
top
is_posix
:
BOOLEAN
effective function
{
ANY
}
top
is_svid
:
BOOLEAN
effective function
{
ANY
}
top
is_xopen
:
BOOLEAN
effective function
{
ANY
}
top
ieee_low_level
:
INTEGER_32
{
WRAPPER
,
WRAPPER_HANDLER
}
top
isoc_low_level
:
INTEGER_32
{
WRAPPER
,
WRAPPER_HANDLER
}
top
posix_low_level
:
INTEGER_32
{
WRAPPER
,
WRAPPER_HANDLER
}
top
svid_low_level
:
INTEGER_32
{
WRAPPER
,
WRAPPER_HANDLER
}
top
xopen_low_level
:
INTEGER_32
{
WRAPPER
,
WRAPPER_HANDLER
}
top
is_valid_state
:
BOOLEAN
effective function
{
ANY
}
top
Is the value of the enumeration valid?
value
:
INTEGER_32
writable attribute
{
WRAPPER_HANDLER
}
top
The current value of the enumeration.
set
(a_value:
INTEGER_32
)
effective procedure
{
WRAPPER_HANDLER
}
top
require
is_valid_value
(a_value)
change_value
(a_value:
INTEGER_32
)
effective procedure
{
WRAPPER_HANDLER
}
top
require
is_valid_value
(a_value)