+
Point of view
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}
{IPV4_ADDRESS}
{ANY}
{}
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.
effective function
{ANY}
top
Open a connection to the remote address and access.
ensure
  • error = Void implies Result.is_connected
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