+
Point of view
All features
expanded class SOCKET_TYPE_ENUM
Summary
top
Wrapper of enum __socket_type defined in file /usr/include/x86_64-linux-gnu/bits/socket_type.h
Direct parents
Insert list: ENUM
Class invariant
top
Overview
top
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_cloexec
effective procedure
{ANY}
top
set_dccp
effective procedure
{ANY}
top
set_dgram
effective procedure
{ANY}
top
set_nonblock
effective procedure
{ANY}
top
set_packet
effective procedure
{ANY}
top
set_raw
effective procedure
{ANY}
top
set_rdm
effective procedure
{ANY}
top
set_seqpacket
effective procedure
{ANY}
top
set_stream
effective procedure
{ANY}
top
is_cloexec: BOOLEAN
effective function
{ANY}
top
is_dccp: BOOLEAN
effective function
{ANY}
top
is_dgram: BOOLEAN
effective function
{ANY}
top
is_nonblock: BOOLEAN
effective function
{ANY}
top
is_packet: BOOLEAN
effective function
{ANY}
top
is_raw: BOOLEAN
effective function
{ANY}
top
is_rdm: BOOLEAN
effective function
{ANY}
top
is_seqpacket: BOOLEAN
effective function
{ANY}
top
is_stream: BOOLEAN
effective function
{ANY}
top
cloexec_low_level: INTEGER_32
{WRAPPER, WRAPPER_HANDLER}
top
dccp_low_level: INTEGER_32
{WRAPPER, WRAPPER_HANDLER}
top
dgram_low_level: INTEGER_32
{WRAPPER, WRAPPER_HANDLER}
top
nonblock_low_level: INTEGER_32
{WRAPPER, WRAPPER_HANDLER}
top
packet_low_level: INTEGER_32
{WRAPPER, WRAPPER_HANDLER}
top
raw_low_level: INTEGER_32
{WRAPPER, WRAPPER_HANDLER}
top
rdm_low_level: INTEGER_32
{WRAPPER, WRAPPER_HANDLER}
top
seqpacket_low_level: INTEGER_32
{WRAPPER, WRAPPER_HANDLER}
top
stream_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
change_value (a_value: INTEGER_32)
effective procedure
{WRAPPER_HANDLER}
top
require