inet.h File Reference

#include <stdint.h>
#include <netinet/in.h>

Include dependency graph for inet.h:

Go to the source code of this file.

Functions
__ESBMC_C_CPP_BEGIN in_addr_t	inet_addr (const char *cp)
char *	inet_ntoa (struct in_addr in)
int	inet_pton (int af, const char *src, void *dst)
const char *	inet_ntop (int af, const void *src, char *dst, socklen_t size)
uint32_t	htonl (uint32_t hostlong)
uint16_t	htons (uint16_t hostshort)
uint32_t	ntohl (uint32_t netlong)
uint16_t	ntohs (uint16_t netshort)

Function Documentation

htonl()

uint32_t htonl

(

uint32_t

hostlong

)

htons()

uint16_t htons

(

uint16_t

hostshort

)

inet_addr()

__ESBMC_C_CPP_BEGIN in_addr_t inet_addr

(

const char *

cp

)

inet_ntoa()

char * inet_ntoa

(

struct in_addr

in

)

inet_ntop()

const char * inet_ntop	(	int	af,
		const void *	src,
		char *	dst,
		socklen_t	size )

inet_pton()

int inet_pton	(	int	af,
		const char *	src,
		void *	dst )

ntohl()

uint32_t ntohl

(

uint32_t

netlong

)

ntohs()

uint16_t ntohs

(

uint16_t

netshort

)