openflow 0.2.0 · OCaml Package

type int8 = int

type int12 = int

type int16 = int

type int32 = Int32.t

type int64 = Int64.t

type int48 = Int64.t

type bytes = Cstruct.t

type switchId = VInt.t

type portId = VInt.t

type queueId = VInt.t

type bufferId =

| OF10BufferId of int32
| OF13BufferId of OpenFlow0x04_Core.bufferId

exception Unsupported of string

type port =

| PhysicalPort of portId
| AllPorts
| Controller of int

type field =

| InPort
| EthType
| EthSrc
| EthDst
| Vlan
| VlanPcp
| IPProto
| IP4Src
| IP4Dst
| TCPSrcPort
| TCPDstPort

type fieldVal = VInt.t

module FieldMap : sig ... end

type pattern = fieldVal FieldMap.t

type action =

| OutputAllPorts
| OutputPort of portId
| Enqueue of portId * queueId
| SetField of field * fieldVal

type seq = action list

type par = seq list

type group = par list

type timeout =

| Permanent
| ExpiresAfter of int16

type flow = {

pattern : pattern;
action : group;
cookie : int64;
idle_timeout : timeout;
hard_timeout : timeout;

}

type flowTable = flow list

type payload =

| Buffered of bufferId * bytes
| NotBuffered of bytes

type packetInReason =

| NoMatch
| ExplicitSend

type pktIn = payload * int * VInt.t * packetInReason

type switchFeatures = {

switch_id : switchId;
switch_ports : VInt.t list;

}

type flowStats = {

flow_table_id : int8;
flow_pattern : pattern;
flow_duration_sec : int32;
flow_duration_nsec : int32;
flow_priority : int16;
flow_idle_timeout : int16;
flow_hard_timeout : int16;
flow_action : action;
flow_packet_count : int64;
flow_byte_count : int64;

}

val format_action : Format.formatter -> action -> unit

val format_seq : Format.formatter -> seq -> unit

val format_par : Format.formatter -> par -> unit

val format_group : Format.formatter -> group -> unit

val format_field : Format.formatter -> field -> unit

val format_flow : Format.formatter -> flow -> unit

val format_flowTable : Format.formatter -> flowTable -> unit

val string_of_flowTable : flowTable -> string

val string_of_flow : flow -> string

val string_of_par : par -> string

val string_of_action : action -> string

package openflow