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/OpenFlow0x01/Message/index.html

Module OpenFlow0x01.MessageSource

A subset of the OpenFlow 1.0 messages defined in Section 5.1 of the specification.

Sourcetype t =
  1. | Hello of Cstruct.t
  2. | ErrorMsg of Error.t
  3. | EchoRequest of Cstruct.t
  4. | EchoReply of Cstruct.t
  5. | VendorMsg of Vendor.t
  6. | SwitchFeaturesRequest
  7. | SwitchFeaturesReply of SwitchFeatures.t
  8. | FlowModMsg of FlowMod.t
  9. | PacketInMsg of packetIn
  10. | FlowRemovedMsg of flowRemoved
  11. | PortStatusMsg of PortStatus.t
  12. | PacketOutMsg of packetOut
  13. | BarrierRequest
  14. | BarrierReply
  15. | StatsRequestMsg of StatsRequest.t
  16. | StatsReplyMsg of StatsReply.t
  17. | SetConfig of SwitchConfig.t
  18. | ConfigRequestMsg
  19. | ConfigReplyMsg of SwitchConfig.t
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
Sourceval size_of : t -> int

size_of msg returns the size of msg in bytes when serialized.

Sourceval header_of : xid -> t -> OpenFlow_Header.t
Sourceval parse : OpenFlow_Header.t -> string -> xid * t

parse hdr bits parses the body of a message with header hdr from buffer bits.

  • parameter hdr

    Header of the message to be parsed from bits.

  • parameter bits

    string containing a serialized message body.

  • returns

    (xid, message) where xid is the transaction ID.

  • raises Ignored

    if bits contains a valid OpenFlow message that the parser does not yet handle.

Sourceval marshal_body : t -> Cstruct.t -> unit
Sourceval marshal : xid -> t -> string

marshal xid msg serializes msg, giving it a transaction ID xid.

Sourceval to_string : t -> string

to_string msg pretty-prints msg.