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.async/Frenetic_async/Ox/Make/argument-1-OxModule/index.html

Parameter Make.OxModule

switch_connected sw is a callback invoked with sw when a switch with identifer sw connects to the controller.

val switch_disconnected : Frenetic_kernel.OpenFlow0x01.switchId -> unit

switch_disconnected sw is a callback invoked with sw when a switch with identifer sw disconnects from the controller.

packet_in sw xid pkt is a callback invoked when a packet pkt with transaction ID xid from switch sw arrives at the controller.

barrier_reply sw xid is a callback invoked when a barrier reply with transaction ID xid from switch sw arrives at the controller.

stats_reply sw xid rep is a callback invoked when switch sw responds with a reply rep to a statistics request with transaction ID xid.

val cleanup : unit -> unit

cleanup is called when an exception stops the running of the main controller loop.