package frenetic

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

Install

Dune Dependency

Authors

Maintainers

Sources

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

doc/frenetic.async/Frenetic_async/NetKAT_Controller/Make/index.html

Module NetKAT_Controller.MakeSource

Parameters

module P : PLUGIN

Signature

Sourceval start : int -> unit

start pt initializes the controller, listening on TCP port pt.

event () returns the next event from the network.

current_switches () returns the set of switches currently connected to this controller.

port_stats sw pt returns byte and packet counts for switchsw port pt.

update p sets to local policy p.

update p sets to global policy p.

update_fdd fdd sets the global policy to the one encoded by the FDD.

send_packet_out sw pd p injects packets into the network by applying p to pd at sw. Optional ingress port helps locate buffer.

Sourceval query : string -> (int64 * int64) Async.Deferred.t

query x returns byte and packet counts for query x.

Sourceval set_current_compiler_options : Frenetic_netkat.Local_compiler.compiler_options -> unit

set_current_compiler_options co sets compiler options for subsequent invocations

OCaml

Innovation. Community. Security.