package frenetic
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.Make
Source
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.t
current_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.t
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.
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.t
send_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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page