GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EZMQ_FLAGS
+
Point of view
All features
ANY
EZMQ_FLAGS
All features
expanded class EZMQ_FLAGS
Summary
top
Direct parents
Insert list:
HASHABLE
Overview
top
Features
{
ANY
}
value_of
(a_flags:
INTEGER_32
): EZMQ_FLAGS
The only valid values:
{
ANY
}
Dontwait
: EZMQ_FLAGS
ZMQ_DONTWAIT
Sndmore
: EZMQ_FLAGS
ZMQ_SNDMORE
None
: EZMQ_FLAGS
no flags
{
ANY
}
is_valid
:
BOOLEAN
flags
:
INTEGER_32
hash_code
:
INTEGER_32
The hash-code value of
Current
.
is_equal
(other: EZMQ_FLAGS):
BOOLEAN
Is
other
attached to an object considered equal to current object?
combine infix "and"
(other: EZMQ_FLAGS): EZMQ_FLAGS
infix "and" combine
(other: EZMQ_FLAGS): EZMQ_FLAGS
{
EZMQ_FLAGS
}
make
(a_flags:
INTEGER_32
, valid:
BOOLEAN
)
{}
default_create
Default creation method.
init
map
:
HASHED_DICTIONARY
[EZMQ_FLAGS,
INTEGER_32
]
{}
Flags_dontwait
:
INTEGER_32
Flags_sndmore
:
INTEGER_32
value_of
(a_flags:
INTEGER_32
): EZMQ_FLAGS
effective function
{
ANY
}
top
ensure
Result.
is_valid
implies Result.
flags
= a_flags
Dontwait
: EZMQ_FLAGS
once function
{
ANY
}
top
ZMQ_DONTWAIT
Sndmore
: EZMQ_FLAGS
once function
{
ANY
}
top
ZMQ_SNDMORE
None
: EZMQ_FLAGS
once function
{
ANY
}
top
no flags
is_valid
:
BOOLEAN
writable attribute
{
ANY
}
top
flags
:
INTEGER_32
writable attribute
{
ANY
}
top
hash_code
:
INTEGER_32
effective function
{
ANY
}
top
The hash-code value of
Current
.
ensure
good_hash_value:
Result >= 0
is_equal
(other: EZMQ_FLAGS):
BOOLEAN
effective function
{
ANY
}
top
Is
other
attached to an object considered equal to current object?
require
other /= Void
ensure
Result implies hash_code = other.hash_code
commutative:
generating_type = other.generating_type implies Result = other.is_equal(Current)
combine infix "and"
(other: EZMQ_FLAGS): EZMQ_FLAGS
effective function
{
ANY
}
top
require
is_valid
other.
is_valid
infix "and" combine
(other: EZMQ_FLAGS): EZMQ_FLAGS
effective function
{
ANY
}
top
require
is_valid
other.
is_valid
make
(a_flags:
INTEGER_32
, valid:
BOOLEAN
)
effective procedure
{
EZMQ_FLAGS
}
top
require
a_flags /= 0
ensure
flags
= a_flags
is_valid
default_create
effective procedure
{}
top
Default creation method.
It is used when no creation method is specified if allowed. Note it may be renamed.
init
once procedure
{}
top
map
:
HASHED_DICTIONARY
[EZMQ_FLAGS,
INTEGER_32
]
once function
{}
top
Flags_dontwait
:
INTEGER_32
{}
top
Flags_sndmore
:
INTEGER_32
{}
top