package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

The Frenetic Programming Language and Runtime System

Install

Dune Dependency

frenetic-lang.org Readme Edit opam file Versions (1)

Authors

A

Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>

Maintainers

N

Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz

md5=baf754df13a759c32f2c86a1b6f328da

sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.netkat/Frenetic_netkat/Json/index.html

Module `Frenetic_netkat.Json`Source

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.

Sourcetype json = Yojson.Basic.t

Sourceval pol_of_json : json -> Syntax.policy

Deserialize a Yojson repesentation of a NetKAT policy

Sourceval 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.

Sourceval from_json_header_val : json -> Syntax.header_val

Sourceval pol_of_json_channel : Core.In_channel.t -> Syntax.policy

Same as pol_of_json, but reads json from input channel

Sourceval event_to_json_string : Frenetic_kernel.OpenFlow.event -> string

Same as event_to_json but returns json string

Sourceval pol_of_json_string : string -> Syntax.policy

Same as pol_of_json, but receives json string

Sourceval policy_to_json_string : Syntax.policy -> string

Sourceval stats_to_json_string : (Core.Int64.t * Core.Int64.t) -> string

Sames as stats_to_json but returns json string

Sourceval port_stat_to_json_string : Frenetic_kernel.OpenFlow.portStats -> string

Sourceval pseudoport_to_json : Frenetic_kernel.OpenFlow.pseudoport -> json

Sourceval pseudoport_from_json : json -> Frenetic_kernel.OpenFlow.pseudoport

Sourceval flowTable_to_json : Frenetic_kernel.OpenFlow.flowTable -> json

Source

val pkt_out_from_json : 
  json ->
  Syntax.switchId * Syntax.portId option * Syntax.payload * Syntax.policy list