Module Frenetic_netkat.Json

val pol_of_json : Yojson.Basic.json ‑> Syntax.policy

Deserialize a Yojson repesentation of a NetKAT policy

val policy_to_json : Syntax.policy ‑> Yojson.Basic.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 : Yojson.Basic.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 ‑> Yojson.Basic.json

val pseudoport_from_json : Yojson.Basic.json ‑> Frenetic_kernel.OpenFlow.pseudoport

val flowTable_to_json : Frenetic_kernel.OpenFlow.flowTable ‑> Yojson.Basic.json

val pkt_out_from_json : Yojson.Basic.json ‑> Syntax.switchId * Syntax.portId option * Syntax.payload * Syntax.policy list