Module `Frenetic_netkat.Syntax`Source

NetKAT Syntax

The NetKAT language is central to Frenetic, and we factor out the central types here. The big actors on NetKAT structures are Compiler which compiles NetKAT into flow tables, Parser which turns NetKAT strings (e.g "TcpSrcPort(8080); port := 2") into NetKAT, and Json which turns JSON-formatted NetKAT into NetKAT

Sourceexception Non_local

Basics

Sourcetype switchId = Frenetic_kernel.OpenFlow.switchId

Sourceval equal_switchId : switchId -> switchId -> Ppx_deriving_runtime.bool

Sourceval sexp_of_switchId : switchId -> Ppx_sexp_conv_lib.Sexp.t

Sourceval switchId_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> switchId

Sourceval compare_switchId : switchId -> switchId -> int

Sourcetype portId = Frenetic_kernel.OpenFlow.portId

Sourceval equal_portId : portId -> portId -> Ppx_deriving_runtime.bool

Sourceval sexp_of_portId : portId -> Ppx_sexp_conv_lib.Sexp.t

Sourceval portId_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> portId

Sourceval compare_portId : portId -> portId -> int

Sourcetype payload = Frenetic_kernel.OpenFlow.payload

Sourceval sexp_of_payload : payload -> Ppx_sexp_conv_lib.Sexp.t

Sourceval payload_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> payload

Sourcetype vswitchId = int64

Sourceval equal_vswitchId : vswitchId -> vswitchId -> Ppx_deriving_runtime.bool

Sourceval sexp_of_vswitchId : vswitchId -> Ppx_sexp_conv_lib.Sexp.t

Sourceval vswitchId_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> vswitchId

Sourceval compare_vswitchId : vswitchId -> vswitchId -> int

Sourcetype vportId = int64

Sourceval equal_vportId : vportId -> vportId -> Ppx_deriving_runtime.bool

Sourceval sexp_of_vportId : vportId -> Ppx_sexp_conv_lib.Sexp.t

Sourceval vportId_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> vportId

Sourceval compare_vportId : vportId -> vportId -> int

Sourcetype vfabricId = int64

Sourceval equal_vfabricId : vfabricId -> vfabricId -> Ppx_deriving_runtime.bool

Sourceval sexp_of_vfabricId : vfabricId -> Ppx_sexp_conv_lib.Sexp.t

Sourceval vfabricId_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> vfabricId

Sourceval compare_vfabricId : vfabricId -> vfabricId -> int

Sourcetype metaId = string

Sourceval equal_metaId : metaId -> metaId -> Ppx_deriving_runtime.bool

Sourceval sexp_of_metaId : metaId -> Ppx_sexp_conv_lib.Sexp.t

Sourceval metaId_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> metaId

Sourceval compare_metaId : metaId -> metaId -> int

Sourcetype abstract_location = string

Source

val equal_abstract_location : 
  abstract_location ->
  abstract_location ->
  Ppx_deriving_runtime.bool

Sourceval sexp_of_abstract_location : abstract_location -> Ppx_sexp_conv_lib.Sexp.t

Sourceval abstract_location_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> abstract_location

Sourceval compare_abstract_location : abstract_location -> abstract_location -> int

Source

val hash_fold_abstract_location : 
  Ppx_hash_lib.Std.Hash.state ->
  abstract_location ->
  Ppx_hash_lib.Std.Hash.state

Source

val hash_abstract_location : 
  abstract_location ->
  Ppx_hash_lib.Std.Hash.hash_value

Policies

Sourceval string_of_fastfail : int32 list -> string

Sourcetype location =

| Physical of int32
| FastFail of int32 list
| Pipe of string
| Query of string

Sourceval sexp_of_location : location -> Ppx_sexp_conv_lib.Sexp.t

Sourceval location_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> location

Sourceval compare_location : location -> location -> int

Sourcetype header_val =

| Switch of switchId
| Location of location
| EthSrc of Frenetic_kernel.Packet.dlAddr
| EthDst of Frenetic_kernel.Packet.dlAddr
| Vlan of Frenetic_kernel.Packet.int16
| VlanPcp of Frenetic_kernel.Packet.dlVlanPcp
| EthType of Frenetic_kernel.Packet.dlTyp
| IPProto of Frenetic_kernel.Packet.nwProto
| IP4Src of Frenetic_kernel.Packet.nwAddr * int32
| IP4Dst of Frenetic_kernel.Packet.nwAddr * int32
| TCPSrcPort of Frenetic_kernel.Packet.tpPort
| TCPDstPort of Frenetic_kernel.Packet.tpPort
| VSwitch of vswitchId
| VPort of vportId
| VFabric of vfabricId
| Meta of metaId * int64
| From of abstract_location
| AbstractLoc of abstract_location

Sourceval sexp_of_header_val : header_val -> Ppx_sexp_conv_lib.Sexp.t

Sourceval header_val_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> header_val

Sourcetype pred =

| True
| False
| Test of header_val
| And of pred * pred
| Or of pred * pred
| Neg of pred

Sourceval sexp_of_pred : pred -> Ppx_sexp_conv_lib.Sexp.t

Sourceval pred_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> pred

Sourcetype meta_init =

| Alias of header_val
| Const of int64

Sourceval sexp_of_meta_init : meta_init -> Ppx_sexp_conv_lib.Sexp.t

Sourceval meta_init_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> meta_init

Sourcetype policy =

| Filter of pred
| Mod of header_val
| Union of policy * policy
| Seq of policy * policy
| Star of policy
| Link of switchId * portId * switchId * portId
| VLink of vswitchId * vportId * vswitchId * vportId
| Let of {
1. id : metaId;
2. init : meta_init;
3. mut : bool;
4. body : policy;
}
| Dup

Sourceval sexp_of_policy : policy -> Ppx_sexp_conv_lib.Sexp.t

Sourceval policy_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> policy

Sourceval id : policy

Sourceval drop : policy

Applications

Sourcetype action = Frenetic_kernel.OpenFlow.action

Sourcetype switch_port = switchId * portId

Sourceval sexp_of_switch_port : switch_port -> Ppx_sexp_conv_lib.Sexp.t

Sourceval switch_port_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> switch_port

Sourcetype host = Frenetic_kernel.Packet.dlAddr * Frenetic_kernel.Packet.nwAddr

Sourceval sexp_of_host : host -> Ppx_sexp_conv_lib.Sexp.t

Sourceval host_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> host

Sourcetype bufferId = Core.Int32.t

Sourceval sexp_of_bufferId : bufferId -> Ppx_sexp_conv_lib.Sexp.t

Sourceval bufferId_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> bufferId

package frenetic

Module Frenetic_netkat.SyntaxSource

Policies

Applications

Module `Frenetic_netkat.Syntax`Source