package frenetic

  1. Overview
  2. Docs
The Frenetic Programming Language and Runtime System

Install 

dune-project
 Dependency

frenetic-lang.org Readme Edit opam file Versions (1)

Authors

  1. A
    Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>

Maintainers

  1. N
    Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz
md5=baf754df13a759c32f2c86a1b6f328da
sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.kernel/Frenetic_kernel/Packet/Ip/index.html

Module Packet.IpSource

IPv4 frame of a packet.

Sourcetype tp =
  1. | Tcp of Tcp.t
  2. | Udp of Udp.t
  3. | Icmp of Icmp.t
  4. | Igmp of Igmp.t
  5. | Unparsable of nwProto * Cstruct.t

The type tp represents packets at the transport protocol level, which are encapsulated within the IPv4 payload. At present, we only support TCP, UDP, ICMP and IGMP explicitly; otherwise, the raw bytes and IPv4 protocol number are provided.

Sourceval sexp_of_tp : tp -> Ppx_sexp_conv_lib.Sexp.t
Sourceval tp_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tp
Sourcemodule Flags : sig ... end
Sourcetype t = {
  1. tos : nwTos;
    (*

    Type of service.

    *)
  2. ident : int16;
    (*

    Identification.

    *)
  3. flags : Flags.t;
    (*

    IPv4 header flags.

    *)
  4. frag : int16;
    (*

    Fragment offset.

    *)
  5. ttl : int8;
    (*

    Time to live.

    *)
  6. chksum : int16;
    (*

    Header checksum.

    *)
  7. src : nwAddr;
    (*

    IP source address.

    *)
  8. dst : nwAddr;
    (*

    IP destination address.

    *)
  9. options : Cstruct.t;
    (*

    Uninterpreted IP options.

    *)
  10. tp : tp;
    (*

    Transport payload.

    *)
}
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
Sourceval t_of_sexp : Sexplib0__.Sexp.t -> t
Sourceval sexp_of_t : t -> Sexplib0__.Sexp.t