+
Point of view
All features
expanded class EIFFELTEST_NETWORK
Summary
top
Direct parents
Insert list: ANY
Known children
Insert list: EIFFELTEST_CLIENT_SOCKET, EIFFELTEST_SERVER_SOCKET
Class invariant
top
Overview
top
port: INTEGER_32
writable attribute
{ANY}
top
access: TCP_ACCESS
effective function
{}
top
access_: TCP_ACCESS
writable attribute
{}
top
port_: INTEGER_32
writable attribute
{}
top
port_is_invariant: BOOLEAN
effective function
{}
top