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

Module OpenFlow0x01.SwitchFeaturesSource

Switch features data structure. See Section 5.3.1 of the OpenFlow 1.0 specification.

Sourcetype supported_wildcards = {
  1. dlSrc : bool;
  2. dlDst : bool;
  3. dlTyp : bool;
  4. dlVlan : bool;
  5. dlVlanPcp : bool;
  6. nwSrc : bool;
  7. nwDst : bool;
  8. nwProto : bool;
  9. nwTos : bool;
  10. tpSrc : bool;
  11. tpDst : bool;
  12. inPort : bool;
}

Fields that support wildcard patterns on this switch.

Sourceval sexp_of_supported_wildcards : supported_wildcards -> Ppx_sexp_conv_lib.Sexp.t
Sourceval supported_wildcards_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> supported_wildcards
Sourcemodule Capabilities : sig ... end

See the ofp_capabilities enumeration in Section 5.3.1 of the OpenFlow 1.0 specification.

Sourcemodule SupportedActions : sig ... end

Describes which actions (Action.t) this switch supports.

Sourcetype t = {
  1. switch_id : switchId;
  2. num_buffers : int32;
  3. num_tables : Packet.int8;
  4. supported_capabilities : Capabilities.t;
  5. supported_actions : SupportedActions.t;
  6. ports : portDescription list;
}
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 to_string : t -> string

to_string v pretty-prints v.