package frenetic
On This Page
The Frenetic Programming Language and Runtime System
Install
dune-project
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
Signature
start pt initializes the controller, listening on TCP port pt.
event () returns the next event from the network.
Source
val switches :
unit ->
(Frenetic_kernel.OpenFlow.switchId * Frenetic_kernel.OpenFlow.portId list)
list
Async.Deferred.tcurrent_switches () returns the set of switches currently connected to this controller.
Source
val port_stats :
Frenetic_kernel.OpenFlow.switchId ->
Frenetic_kernel.OpenFlow.portId ->
Frenetic_kernel.OpenFlow.portStats Async.Deferred.tport_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.
Source
val packet_out :
Frenetic_kernel.OpenFlow.switchId ->
Frenetic_kernel.OpenFlow.portId option ->
Frenetic_kernel.OpenFlow.payload ->
Frenetic_netkat.Syntax.policy list ->
unit Async.Deferred.tsend_packet_out sw pd p injects packets into the network by applying p to pd at sw. Optional ingress port helps locate buffer.
query x returns byte and packet counts for query x.
set_current_compiler_options co sets compiler options for subsequent invocations
On This Page