in.h File Reference

#include <stdint.h>
#include <sys/socket.h>

Include dependency graph for in.h:

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

Go to the source code of this file.

Classes
struct	in_addr
struct	sockaddr_in
struct	in6_addr
struct	sockaddr_in6

Macros
#define	INADDR_ANY   ((in_addr_t) 0x00000000)
#define	INADDR_BROADCAST   ((in_addr_t) 0xffffffff)
#define	INADDR_LOOPBACK   ((in_addr_t) 0x7f000001)
#define	IPPROTO_IP   0
#define	IPPROTO_TCP   6
#define	IPPROTO_UDP   17

Typedefs
typedef uint16_t	in_port_t

Variables
__ESBMC_C_CPP_BEGIN typedef uint32_t	in_addr_t

Macro Definition Documentation

INADDR_ANY

#define INADDR_ANY   ((in_addr_t) 0x00000000)

INADDR_BROADCAST

#define INADDR_BROADCAST   ((in_addr_t) 0xffffffff)

INADDR_LOOPBACK

#define INADDR_LOOPBACK   ((in_addr_t) 0x7f000001)

IPPROTO_IP

#define IPPROTO_IP   0

IPPROTO_TCP

#define IPPROTO_TCP   6

IPPROTO_UDP

#define IPPROTO_UDP   17

Typedef Documentation

in_port_t

typedef uint16_t in_port_t

Variable Documentation

in_addr_t

__ESBMC_C_CPP_BEGIN typedef uint32_t in_addr_t