static Tchannel arg_client_socket (unsigned int arg) { Tchannel socket = (arg_ulong_integer (arg)); if (! (((OS_channel_type (socket)) == channel_type_tcp_stream_socket) || ((OS_channel_type (socket)) == channel_type_unix_stream_socket))) error_bad_range_arg (arg); return (socket); }
static Tchannel arg_server_socket (unsigned int arg) { Tchannel server_socket = (arg_nonnegative_integer (arg)); if ((OS_channel_type (server_socket)) != channel_type_tcp_server_socket) error_bad_range_arg (arg); return (server_socket); }
static Tchannel arg_pty_master (unsigned int arg) { Tchannel channel = (arg_channel (1)); if ((OS_channel_type (channel)) != channel_type_unix_pty_master) error_bad_range_arg (1); return (channel); }