tcpip 3.1.4 · OCaml Package

type buffer = Cstruct.t

type ipaddr = Ipaddr.V6.t

type prefix = Ipaddr.V6.Prefix.t

type time = int64

val ipaddr_of_cstruct : buffer -> ipaddr

val ipaddr_to_cstruct_raw : ipaddr -> buffer -> int -> unit

val checksum : buffer -> buffer list -> int

type event = [

| `Tcp of ipaddr * ipaddr * buffer
| `Udp of ipaddr * ipaddr * buffer
| `Default of int * ipaddr * ipaddr * buffer

]

type context

val local : 
  now:time ->
  random:(int -> Cstruct.t) ->
  Macaddr.t ->
  context * buffer list list

local ~now ~random mac is a pair ctx, bufs where ctx is a local IPv6 context associated to the hardware address mac. bufs is a list of ethif packets to be sent.

val add_ip : now:time -> context -> ipaddr -> context * buffer list list

add_ip ~now ctx ip is ctx', bufs where ctx' is ctx updated with a new local ip and bufs is a list of ethif packets to be sent.

val get_ip : context -> ipaddr list

get_ip ctx returns the list of local ips.

val allocate_frame : 
  context ->
  ipaddr ->
  [ `ICMP | `TCP | `UDP ] ->
  buffer * int

allocate_frame ctx ip proto returns a pair buf, len where buf is a new ethernet frame containing an ipv6 header of length len.

val select_source : context -> ipaddr -> ipaddr

select_source ctx ip returns the ip that should be put in the source field of a packet destined to ip.

val handle : 
  now:time ->
  random:(int -> Cstruct.t) ->
  context ->
  buffer ->
  context * buffer list list * event list

handle ~now ~random ctx buf handles an incoming ipv6 packet. It returns ctx', bufs, evs where ctx' is the updated context, bufs is a list of packets to be sent and evs is a list of packets to be passed to the higher layers (udp, tcp, etc) for further processing.

val send : 
  now:time ->
  context ->
  ipaddr ->
  buffer ->
  buffer list ->
  context * buffer list list

send ~now ctx ip frame bufs starts route resolution and assembles an ipv6 packet for sending with header frame and body bufs. It returns a pair ctx', bufs where ctx' is the updated context and bufs is a list of packets to be sent.

val tick : now:time -> context -> context * buffer list list

tick ~now ctx should be called periodically (every 1s is good). It returns ctx', bufs where ctx' is the updated context and bufs is a list of packets to be sent.

val add_prefix : now:time -> context -> prefix -> context

add_prefix ~now ctx pfx adds a local prefix to ctx.

val get_prefix : context -> prefix list

get_prefix ctx returns the list of local prefixes known to ctx.

val add_routers : now:time -> context -> ipaddr list -> context

add_routers ~now ctx ips adds a list of gateways to ctx to be used for routing.

val get_routers : context -> ipaddr list

get_routers ctx returns the list of gateways known to ctx.

package tcpip