package frenetic

  1. Overview
  2. Docs
package frenetic
Legend:
Library
Module
Module type
Parameter
Class
Class type

JSON serialization/deserialization of NetKAT messages.

NetKAT comes in two syntaxes: "regular" which is handled by Parser/Lexer and "json" which is handled here. We translate most things to the Syntax.policy type

This module also serializes/deserializes switch-to-controller OpenFlow messages for net apps.

type json = Yojson.Basic.t
val pol_of_json : json -> Syntax.policy

Deserialize a Yojson repesentation of a NetKAT policy

val policy_to_json : Syntax.policy -> json

Serialize a NetKAT policy to Yojson format. Note: errors may occur when converting between 64-bit values and JSON-representable integers.

val from_json_header_val : json -> Syntax.header_val
val pol_of_json_channel : Core.In_channel.t -> Syntax.policy

Same as pol_of_json, but reads json from input channel

val event_to_json_string : Frenetic_kernel.OpenFlow.event -> string

Same as event_to_json but returns json string

val pol_of_json_string : string -> Syntax.policy

Same as pol_of_json, but receives json string

val policy_to_json_string : Syntax.policy -> string
val stats_to_json_string : (Core.Int64.t * Core.Int64.t) -> string

Sames as stats_to_json but returns json string

val port_stat_to_json_string : Frenetic_kernel.OpenFlow.portStats -> string
val pseudoport_to_json : Frenetic_kernel.OpenFlow.pseudoport -> json
val pseudoport_from_json : json -> Frenetic_kernel.OpenFlow.pseudoport
val flowTable_to_json : Frenetic_kernel.OpenFlow.flowTable -> json
val pkt_out_from_json : json -> Syntax.switchId * Syntax.portId option * Syntax.payload * Syntax.policy list
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct