Automatic generation produced by ISE Eiffel
deferred class SOCKET Ancestors EXCEPTIONS IO_MEDIUM* PLATFORM SOCKET_RESOURCES Descendants DATAGRAM_SOCKET* NETWORK_SOCKET* STREAM_SOCKET* Clients CLIENT* SERVER* SOCKET* SOCKET_POLLER* Suppliers BOOLEAN C_STRING INTEGER_32 MANAGED_POINTER MISMATCH_CORRECTOR MISMATCH_INFORMATION PACKET POINTER READABLE_STRING_8* SOCKET* SOCKET_ADDRESS STRING_8 TYPED_POINTER [G] -- Generated by Eiffel Studio --
For more details: eiffel.org