socket.h File Reference

#include <__esbmc/stddefs.h>
#include <stdint.h>
#include <stddef.h>

Include dependency graph for socket.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	sockaddr
struct	sockaddr_storage
struct	iovec
struct	msghdr

Macros
#define	_SSIZE_T_DEFINED
#define	__ssize_t_defined
#define	_SSIZE_T
#define	AF_UNSPEC   0
#define	AF_UNIX   1
#define	AF_LOCAL   1
#define	AF_INET   2
#define	AF_INET6   10
#define	PF_UNSPEC   AF_UNSPEC
#define	PF_UNIX   AF_UNIX
#define	PF_LOCAL   AF_LOCAL
#define	PF_INET   AF_INET
#define	PF_INET6   AF_INET6
#define	SOCK_STREAM   1
#define	SOCK_DGRAM   2
#define	SOCK_RAW   3
#define	SOL_SOCKET   1
#define	SO_REUSEADDR   2
#define	SO_KEEPALIVE   9
#define	SO_RCVBUF   8
#define	SO_SNDBUF   7
#define	SHUT_RD   0
#define	SHUT_WR   1
#define	SHUT_RDWR   2
#define	MSG_DONTWAIT   0x40
#define	MSG_NOSIGNAL   0x4000
#define	MSG_PEEK   0x02
#define	__iovec_defined   1

Typedefs
typedef unsigned int	socklen_t
typedef unsigned short	sa_family_t

Functions
int	socket (int domain, int type, int protocol)
int	bind (int sockfd, const struct sockaddr *addr, socklen_t addrlen)
int	listen (int sockfd, int backlog)
int	accept (int sockfd, struct sockaddr *addr, socklen_t *addrlen)
int	connect (int sockfd, const struct sockaddr *addr, socklen_t addrlen)
ssize_t	send (int sockfd, const void *buf, size_t len, int flags)
ssize_t	recv (int sockfd, void *buf, size_t len, int flags)
ssize_t	sendto (int sockfd, const void *buf, size_t len, int flags, const struct sockaddr *dest_addr, socklen_t addrlen)
ssize_t	recvfrom (int sockfd, void *buf, size_t len, int flags, struct sockaddr *src_addr, socklen_t *addrlen)
int	setsockopt (int sockfd, int level, int optname, const void *optval, socklen_t optlen)
int	getsockopt (int sockfd, int level, int optname, void *optval, socklen_t *optlen)
int	getsockname (int sockfd, struct sockaddr *addr, socklen_t *addrlen)
int	getpeername (int sockfd, struct sockaddr *addr, socklen_t *addrlen)
int	shutdown (int sockfd, int how)

Macro Definition Documentation

__iovec_defined

#define __iovec_defined   1

__ssize_t_defined

#define __ssize_t_defined

_SSIZE_T

#define _SSIZE_T

_SSIZE_T_DEFINED

#define _SSIZE_T_DEFINED

AF_INET

#define AF_INET   2

AF_INET6

#define AF_INET6   10

AF_LOCAL

#define AF_LOCAL   1

AF_UNIX

#define AF_UNIX   1

AF_UNSPEC

#define AF_UNSPEC   0

MSG_DONTWAIT

#define MSG_DONTWAIT   0x40

MSG_NOSIGNAL

#define MSG_NOSIGNAL   0x4000

MSG_PEEK

#define MSG_PEEK   0x02

PF_INET

#define PF_INET   AF_INET

PF_INET6

#define PF_INET6   AF_INET6

PF_LOCAL

#define PF_LOCAL   AF_LOCAL

PF_UNIX

#define PF_UNIX   AF_UNIX

PF_UNSPEC

#define PF_UNSPEC   AF_UNSPEC

SHUT_RD

#define SHUT_RD   0

SHUT_RDWR

#define SHUT_RDWR   2

SHUT_WR

#define SHUT_WR   1

SO_KEEPALIVE

#define SO_KEEPALIVE   9

SO_RCVBUF

#define SO_RCVBUF   8

SO_REUSEADDR

#define SO_REUSEADDR   2

SO_SNDBUF

#define SO_SNDBUF   7

SOCK_DGRAM

#define SOCK_DGRAM   2

SOCK_RAW

#define SOCK_RAW   3

SOCK_STREAM

#define SOCK_STREAM   1

SOL_SOCKET

#define SOL_SOCKET   1

Typedef Documentation

sa_family_t

typedef unsigned short sa_family_t

socklen_t

typedef unsigned int socklen_t

Function Documentation

accept()

int accept	(	int	sockfd,
		struct sockaddr *	addr,
		socklen_t *	addrlen )

bind()

int bind	(	int	sockfd,
		const struct sockaddr *	addr,
		socklen_t	addrlen )

connect()

int connect	(	int	sockfd,
		const struct sockaddr *	addr,
		socklen_t	addrlen )

getpeername()

int getpeername	(	int	sockfd,
		struct sockaddr *	addr,
		socklen_t *	addrlen )

getsockname()

int getsockname	(	int	sockfd,
		struct sockaddr *	addr,
		socklen_t *	addrlen )

getsockopt()

int getsockopt	(	int	sockfd,
		int	level,
		int	optname,
		void *	optval,
		socklen_t *	optlen )

listen()

int listen	(	int	sockfd,
		int	backlog )

recv()

ssize_t recv	(	int	sockfd,
		void *	buf,
		size_t	len,
		int	flags )

recvfrom()

ssize_t recvfrom	(	int	sockfd,
		void *	buf,
		size_t	len,
		int	flags,
		struct sockaddr *	src_addr,
		socklen_t *	addrlen )

send()

ssize_t send	(	int	sockfd,
		const void *	buf,
		size_t	len,
		int	flags )

sendto()

ssize_t sendto	(	int	sockfd,
		const void *	buf,
		size_t	len,
		int	flags,
		const struct sockaddr *	dest_addr,
		socklen_t	addrlen )

setsockopt()

int setsockopt	(	int	sockfd,
		int	level,
		int	optname,
		const void *	optval,
		socklen_t	optlen )

shutdown()

int shutdown	(	int	sockfd,
		int	how )

socket()

int socket	(	int	domain,
		int	type,
		int	protocol )