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/src/frenetic.netkat/Syntax.ml.html
Source file Syntax.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82open Sexplib.Conv open Core open Frenetic_kernel.Packet exception Non_local type switchId = Frenetic_kernel.OpenFlow.switchId [@@deriving sexp, compare, eq] type portId = Frenetic_kernel.OpenFlow.portId [@@deriving sexp, compare, eq] type payload = Frenetic_kernel.OpenFlow.payload [@@deriving sexp] type vswitchId = int64 [@@deriving sexp, compare, eq] type vportId = int64 [@@deriving sexp, compare, eq] type vfabricId = int64 [@@deriving sexp, compare, eq] type metaId = string [@@deriving sexp, compare, eq] type abstract_location = string [@@deriving sexp, compare, eq, hash] let string_of_fastfail = Frenetic_kernel.OpenFlow.format_list ~to_string:Int32.to_string type location = | Physical of int32 | FastFail of int32 list | Pipe of string | Query of string [@@deriving sexp, compare] type header_val = | Switch of switchId | Location of location | EthSrc of dlAddr | EthDst of dlAddr | Vlan of int16 | VlanPcp of dlVlanPcp | EthType of dlTyp | IPProto of nwProto | IP4Src of nwAddr * int32 | IP4Dst of nwAddr * int32 | TCPSrcPort of tpPort | TCPDstPort of tpPort | VSwitch of vswitchId | VPort of vportId | VFabric of vfabricId | Meta of metaId * int64 | From of abstract_location | AbstractLoc of abstract_location [@@deriving sexp] type pred = | True | False | Test of header_val | And of pred * pred | Or of pred * pred | Neg of pred [@@deriving sexp] type meta_init = | Alias of header_val | Const of int64 [@@deriving sexp] type 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 { id : metaId; init : meta_init; mut : bool; body : policy } | Dup [@@deriving sexp] let id = Filter True let drop = Filter False type action = Frenetic_kernel.OpenFlow.action type switch_port = switchId * portId [@@deriving sexp] type host = Frenetic_kernel.Packet.dlAddr * Frenetic_kernel.Packet.nwAddr [@@deriving sexp] type bufferId = Int32.t [@@deriving sexp] (* XXX(seliopou): different than OpenFlow *)