GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
IPV4_ACCESS
+
Point of view
All features
ANY
IPV4_ADDRESS
All features
deferred class IPV4_ACCESS
Summary
top
Direct parents
Inherit list:
ACCESS
Known children
Inherit list:
TCP_ACCESS
,
UDP_ACCESS
Overview
top
Features
{
ANY
}
port
:
INTEGER_32
{
IPV4_ADDRESS
}
new_ipv4_socket
(a:
INTEGER_32
, b:
INTEGER_32
, c:
INTEGER_32
, d:
INTEGER_32
):
SOCKET
{
ANY
}
address
:
ADDRESS
The host of the server
error
:
STRING
If an error occurred
server
:
SOCKET_SERVER
Start a server on the given access on localhost, listening to connections bound to the given address.
stream
:
SOCKET_INPUT_OUTPUT_STREAM
Open a connection to the remote address and access.
{}
a_stream
:
CLIENT_SOCKET_INPUT_OUTPUT_STREAM
socket
:
SOCKET
Create a low-level socket connected to the remote address and host.
port
:
INTEGER_32
writable attribute
{
ANY
}
top
new_ipv4_socket
(a:
INTEGER_32
, b:
INTEGER_32
, c:
INTEGER_32
, d:
INTEGER_32
):
SOCKET
deferred function
{
IPV4_ADDRESS
}
top
ensure
Result /= Void
address
:
ADDRESS
writable attribute
{
ANY
}
top
The host of the server
error
:
STRING
writable attribute
{
ANY
}
top
If an error occurred
server
:
SOCKET_SERVER
deferred function
{
ANY
}
top
Start a server on the given access on localhost, listening to connections bound to the given address.
stream
:
SOCKET_INPUT_OUTPUT_STREAM
effective function
{
ANY
}
top
Open a connection to the remote address and access.
ensure
error
= Void implies Result.is_connected
a_stream
:
CLIENT_SOCKET_INPUT_OUTPUT_STREAM
effective function
{}
top
socket
:
SOCKET
effective function
{}
top
Create a low-level socket connected to the remote address and host.
ensure
error
= Void implies Result.is_connected