docs/api/inet_8h_source.html

#pragma once


#include <stdint.h>

#include <netinet/in.h>


__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);


__ESBMC_C_CPP_END

in.h

in_addr_t
__ESBMC_C_CPP_BEGIN typedef uint32_t in_addr_t
Definition in.h:8

ntohl
uint32_t ntohl(uint32_t netlong)
Definition inet.c:24

htonl
uint32_t htonl(uint32_t hostlong)
Definition inet.c:8

htons
uint16_t htons(uint16_t hostshort)
Definition inet.c:16

inet_ntoa
char * inet_ntoa(struct in_addr in)

ntohs
uint16_t ntohs(uint16_t netshort)
Definition inet.c:32

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)
Definition socket_lib.c:512

inet_addr
__ESBMC_C_CPP_BEGIN in_addr_t inet_addr(const char *cp)
Definition socket_lib.c:498

socklen_t
unsigned int socklen_t
Definition socket.h:63

__ESBMC_C_CPP_END
#define __ESBMC_C_CPP_END
Definition stddefs.h:9

__ESBMC_C_CPP_BEGIN
#define __ESBMC_C_CPP_BEGIN
Definition stddefs.h:8

in_addr
Definition in.h:11