Module `Frenetic_kernel.OpenFlow0x04`Source

Sourcetype 'a mask = {

m_value : 'a;
m_mask : 'a option;

}

val sexp_of_mask : 
  ('a -> Ppx_sexp_conv_lib.Sexp.t) ->
  'a mask ->
  Ppx_sexp_conv_lib.Sexp.t

Source

val mask_of_sexp : 
  (Ppx_sexp_conv_lib.Sexp.t -> 'a) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  'a mask

Sourcetype 'a asyncMask = {

m_master : 'a;
m_slave : 'a;

}

Source

val sexp_of_asyncMask : 
  ('a -> Ppx_sexp_conv_lib.Sexp.t) ->
  'a asyncMask ->
  Ppx_sexp_conv_lib.Sexp.t

Source

val asyncMask_of_sexp : 
  (Ppx_sexp_conv_lib.Sexp.t -> 'a) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  'a asyncMask

Sourcetype payload =

| Buffered of int32 * Cstruct.t
(*
Buffered (id, buf) is a packet buffered on a switch.
*)
| NotBuffered of Cstruct.t

Sourceval sexp_of_payload : payload -> Ppx_sexp_conv_lib.Sexp.t

Sourceval payload_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> payload

Sourcetype xid = OpenFlow_Header.xid

Sourceval sexp_of_xid : xid -> Ppx_sexp_conv_lib.Sexp.t

Sourceval xid_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> xid

Sourcetype int12 = Packet.int16

Sourceval sexp_of_int12 : int12 -> Ppx_sexp_conv_lib.Sexp.t

Sourceval int12_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> int12

Sourcetype int24 = int32

Sourceval sexp_of_int24 : int24 -> Ppx_sexp_conv_lib.Sexp.t

Sourceval int24_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> int24

Sourcetype int128 = int64 * int64

Sourceval sexp_of_int128 : int128 -> Ppx_sexp_conv_lib.Sexp.t

Sourceval int128_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> int128

Sourceval val_to_mask : 'a1 -> 'a1 mask

Sourceval ip_to_mask : (Packet.nwAddr * int32) -> Packet.nwAddr mask

Sourcetype switchId = int64

Sourceval sexp_of_switchId : switchId -> Ppx_sexp_conv_lib.Sexp.t

Sourceval switchId_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> switchId

Sourcetype groupId = int32

Sourceval sexp_of_groupId : groupId -> Ppx_sexp_conv_lib.Sexp.t

Sourceval groupId_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> groupId

Sourcetype portId = int32

Sourceval sexp_of_portId : portId -> Ppx_sexp_conv_lib.Sexp.t

Sourceval portId_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> portId

Sourcetype tableId = Packet.int8

Sourceval sexp_of_tableId : tableId -> Ppx_sexp_conv_lib.Sexp.t

Sourceval tableId_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tableId

Sourcetype bufferId = int32

Sourceval sexp_of_bufferId : bufferId -> Ppx_sexp_conv_lib.Sexp.t

Sourceval bufferId_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> bufferId

Sourcetype switchFlags = {

frag_normal : bool;
frag_drop : bool;
frag_reasm : bool;

}

Sourceval sexp_of_switchFlags : switchFlags -> Ppx_sexp_conv_lib.Sexp.t

Sourceval switchFlags_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> switchFlags

Sourcetype switchConfig = {

flags : switchFlags;
miss_send_len : Packet.int16;

}

Sourceval sexp_of_switchConfig : switchConfig -> Ppx_sexp_conv_lib.Sexp.t

Sourceval switchConfig_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> switchConfig

Sourcetype helloFailed =

| HelloIncompatible
| HelloPermError

Sourceval sexp_of_helloFailed : helloFailed -> Ppx_sexp_conv_lib.Sexp.t

Sourceval helloFailed_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> helloFailed

Sourcetype badRequest =

| ReqBadVersion
| ReqBadType
| ReqBadMultipart
| ReqBadExp
| ReqBadExpType
| ReqPermError
| ReqBadLen
| ReqBufferEmpty
| ReqBufferUnknown
| ReqBadTableId
| ReqIsSlave
| ReqBadPort
| ReqBadPacket
| ReqMultipartBufOverflow

Sourceval sexp_of_badRequest : badRequest -> Ppx_sexp_conv_lib.Sexp.t

Sourceval badRequest_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> badRequest

Sourcetype badAction =

| ActBadType
| ActBadLen
| ActBadExp
| ActBadExpType
| ActBadOutPort
| ActBadArg
| ActPermError
| ActTooMany
| ActBadQueue
| ActBadOutGroup
| ActMatchInconsistent
| ActUnsupportedOrder
| ActBadTag
| ActBadSetTyp
| ActBadSetLen
| ActBadSetArg

Sourceval sexp_of_badAction : badAction -> Ppx_sexp_conv_lib.Sexp.t

Sourceval badAction_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> badAction

Sourcetype badInstruction =

| InstUnknownInst
| InstBadTableId
| InstUnsupInst
| InstUnsupMeta
| InstUnsupMetaMask
| InstBadExp
| InstBadExpTyp
| InstBadLen
| InstPermError

Sourceval sexp_of_badInstruction : badInstruction -> Ppx_sexp_conv_lib.Sexp.t

Sourceval badInstruction_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> badInstruction

Sourcetype badMatch =

| MatBadTyp
| MatBadLen
| MatBadTag
| MatBadDlAddrMask
| MatBadNwAddrMask
| MatBadWildcards
| MatBadField
| MatBadValue
| MatBadMask
| MatBadPrereq
| MatDupField
| MatPermError

Sourceval sexp_of_badMatch : badMatch -> Ppx_sexp_conv_lib.Sexp.t

Sourceval badMatch_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> badMatch

Sourcetype flowModFailed =

| FlUnknown
| FlTableFull
| FlBadTableId
| FlOverlap
| FlPermError
| FlBadTimeout
| FlBadCommand
| FlBadFlags

Sourceval sexp_of_flowModFailed : flowModFailed -> Ppx_sexp_conv_lib.Sexp.t

Sourceval flowModFailed_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> flowModFailed

Sourcetype groupModFailed =

| GrGroupExists
| GrInvalidGroup
| GrWeightUnsupported
| GrOutOfGroups
| GrOutOfBuckets
| GrChainingUnsupported
| GrWatchUnsupported
| GrLoop
| GrUnknownGroup
| GrChainedGroup
| GrBadTyp
| GrBadCommand
| GrBadBucket
| GrBadWatch
| GrPermError

Sourceval sexp_of_groupModFailed : groupModFailed -> Ppx_sexp_conv_lib.Sexp.t

Sourceval groupModFailed_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> groupModFailed

Sourcetype portModFailed =

| PoBadPort
| PoBadHwAddr
| PoBadConfig
| PoBadAdvertise
| PoPermError

Sourceval sexp_of_portModFailed : portModFailed -> Ppx_sexp_conv_lib.Sexp.t

Sourceval portModFailed_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> portModFailed

Sourcetype tableModFailed =

| TaBadTable
| TaBadConfig
| TaPermError

Sourceval sexp_of_tableModFailed : tableModFailed -> Ppx_sexp_conv_lib.Sexp.t

Sourceval tableModFailed_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tableModFailed

Sourcetype queueOpFailed =

| QuBadPort
| QuBadQueue
| QuPermError

Sourceval sexp_of_queueOpFailed : queueOpFailed -> Ppx_sexp_conv_lib.Sexp.t

Sourceval queueOpFailed_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> queueOpFailed

Sourcetype switchConfigFailed =

| ScBadFlags
| ScBadLen
| ScPermError

Sourceval sexp_of_switchConfigFailed : switchConfigFailed -> Ppx_sexp_conv_lib.Sexp.t

Sourceval switchConfigFailed_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> switchConfigFailed

Sourcetype roleReqFailed =

| RoStale
| RoUnsup
| RoBadRole

Sourceval sexp_of_roleReqFailed : roleReqFailed -> Ppx_sexp_conv_lib.Sexp.t

Sourceval roleReqFailed_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> roleReqFailed

Sourcetype meterModFailed =

| MeUnknown
| MeMeterExists
| MeInvalidMeter
| MeUnknownMeter
| MeBadCommand
| MeBadFlags
| MeBadRate
| MeBadBurst
| MeBadBand
| MeBadBandValue
| MeOutOfMeters
| MeOutOfBands

Sourceval sexp_of_meterModFailed : meterModFailed -> Ppx_sexp_conv_lib.Sexp.t

Sourceval meterModFailed_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> meterModFailed

Sourcetype tableFeatFailed =

| TfBadTable
| TfBadMeta
| TfBadType
| TfBadLen
| TfBadArg
| TfPermError

Sourceval sexp_of_tableFeatFailed : tableFeatFailed -> Ppx_sexp_conv_lib.Sexp.t

Sourceval tableFeatFailed_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tableFeatFailed

Sourcetype experimenterFailed = {

exp_typ : Packet.int16;
exp_id : int32;

}

Sourceval sexp_of_experimenterFailed : experimenterFailed -> Ppx_sexp_conv_lib.Sexp.t

Sourceval experimenterFailed_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> experimenterFailed

Sourcetype errorTyp =

| HelloFailed of helloFailed
| BadRequest of badRequest
| BadAction of badAction
| BadInstruction of badInstruction
| BadMatch of badMatch
| FlowModFailed of flowModFailed
| GroupModFailed of groupModFailed
| PortModFailed of portModFailed
| TableModFailed of tableModFailed
| QueueOpFailed of queueOpFailed
| SwitchConfigFailed of switchConfigFailed
| RoleReqFailed of roleReqFailed
| MeterModFailed of meterModFailed
| TableFeatFailed of tableFeatFailed
| ExperimenterFailed of experimenterFailed

Sourceval sexp_of_errorTyp : errorTyp -> Ppx_sexp_conv_lib.Sexp.t

Sourceval errorTyp_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> errorTyp

Sourcetype length = Packet.int16

Sourceval sexp_of_length : length -> Ppx_sexp_conv_lib.Sexp.t

Sourceval length_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> length

Sourcetype oxmIPv6ExtHdr = {

noext : bool;
esp : bool;
auth : bool;
dest : bool;
frac : bool;
router : bool;
hop : bool;
unrep : bool;
unseq : bool;

}

Sourceval sexp_of_oxmIPv6ExtHdr : oxmIPv6ExtHdr -> Ppx_sexp_conv_lib.Sexp.t

Sourceval oxmIPv6ExtHdr_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> oxmIPv6ExtHdr

Sourcetype oxm =

| OxmInPort of portId
| OxmInPhyPort of portId
| OxmMetadata of int64 mask
| OxmEthType of Packet.int16
| OxmEthDst of Packet.int48 mask
| OxmEthSrc of Packet.int48 mask
| OxmVlanVId of int12 mask
| OxmVlanPcp of Packet.int8
| OxmIPProto of Packet.int8
| OxmIPDscp of Packet.int8
| OxmIPEcn of Packet.int8
| OxmIP4Src of int32 mask
| OxmIP4Dst of int32 mask
| OxmTCPSrc of Packet.int16
| OxmTCPDst of Packet.int16
| OxmARPOp of Packet.int16
| OxmARPSpa of int32 mask
| OxmARPTpa of int32 mask
| OxmARPSha of Packet.int48 mask
| OxmARPTha of Packet.int48 mask
| OxmICMPType of Packet.int8
| OxmICMPCode of Packet.int8
| OxmMPLSLabel of int32
| OxmMPLSTc of Packet.int8
| OxmTunnelId of int64 mask
| OxmUDPSrc of Packet.int16
| OxmUDPDst of Packet.int16
| OxmSCTPSrc of Packet.int16
| OxmSCTPDst of Packet.int16
| OxmIPv6Src of int128 mask
| OxmIPv6Dst of int128 mask
| OxmIPv6FLabel of int32 mask
| OxmICMPv6Type of Packet.int8
| OxmICMPv6Code of Packet.int8
| OxmIPv6NDTarget of int128 mask
| OxmIPv6NDSll of Packet.int48
| OxmIPv6NDTll of Packet.int48
| OxmMPLSBos of bool
| OxmPBBIsid of int24 mask
| OxmIPv6ExtHdr of oxmIPv6ExtHdr mask

Sourceval sexp_of_oxm : oxm -> Ppx_sexp_conv_lib.Sexp.t

Sourceval oxm_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> oxm

Sourcetype oxmMatch = oxm list

Sourceval sexp_of_oxmMatch : oxmMatch -> Ppx_sexp_conv_lib.Sexp.t

Sourceval oxmMatch_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> oxmMatch

Convenient Functions

Sourceval parse_payload : payload -> Packet.packet

Sourceval marshal_payload : int32 option -> Packet.packet -> payload

marshal_payload buf pkt serializes pkt, where buf is an optional buffer ID.

Sourceval match_all : oxmMatch

Sourcetype pseudoPort =

| PhysicalPort of portId
| InPort
(*
Send the packet out the input port. This reserved port must be explicitly used in order to send back out of the input port.
*)
| Table
(*
Submit the packet to the first flow table NB: This destination port can only be used in packet-out messages.
*)
| Normal
(*
Process with normal L2/L3 switching.
*)
| Flood
(*
All physical ports in VLAN, except input port and those blocked or link down.
*)
| AllPorts
(*
All physical ports except input port.
*)
| Controller of Packet.int16
(*
Send to controller along with n (max 1024) bytes of the packet
*)
| Local
(*
Local openflow "port".
*)
| Any
(*
Wildcard port used only for flow mod (delete) and flow stats requests. Selects all flows regardless of output port (including flows with no output port).
*)

A pseudo-port, as described by the ofp_port_no enumeration in Section A.2.1 of the OpenFlow 1.3.0 specification.

Sourceval sexp_of_pseudoPort : pseudoPort -> Ppx_sexp_conv_lib.Sexp.t

Sourceval pseudoPort_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> pseudoPort

Sourcetype actionHdr =

| OutputHdr
| GroupHdr
| PopVlanHdr
| PushVlanHdr
| PopMplsHdr
| PushMplsHdr
| SetFieldHdr
| CopyTtlOutHdr
| CopyTtlInHdr
| SetNwTtlHdr
| DecNwTtlHdr
| PushPbbHdr
| PopPbbHdr
| SetMplsTtlHdr
| DecMplsTtlHdr
| SetQueueHdr
| ExperimenterAHdr of int32

Sourceval sexp_of_actionHdr : actionHdr -> Ppx_sexp_conv_lib.Sexp.t

Sourceval actionHdr_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> actionHdr

Sourcetype action =

| Output of pseudoPort
| Group of groupId
| PopVlan
| PushVlan of Packet.int16
| PopMpls of Packet.int16
| PushMpls of Packet.int16
| SetField of oxm
| CopyTtlOut
| CopyTtlIn
| SetNwTtl of Packet.int8
| DecNwTtl
| PushPbb of Packet.int16
| PopPbb
| SetMplsTtl of Packet.int8
| DecMplsTtl
| SetQueue of int32
| Experimenter of int32

Sourceval sexp_of_action : action -> Ppx_sexp_conv_lib.Sexp.t

Sourceval action_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> action

Sourcetype actionSequence = action list

Sourceval sexp_of_actionSequence : actionSequence -> Ppx_sexp_conv_lib.Sexp.t

Sourceval actionSequence_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> actionSequence

Sourcetype instructionHdr =

| GotoTableHdr
| ApplyActionsHdr
| WriteActionsHdr
| WriteMetadataHdr
| ClearHdr
| MeterHdr
| ExperimenterHdr of int32

Sourceval sexp_of_instructionHdr : instructionHdr -> Ppx_sexp_conv_lib.Sexp.t

Sourceval instructionHdr_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> instructionHdr

Sourcetype instruction =

| GotoTable of tableId
| ApplyActions of actionSequence
| WriteActions of actionSequence
| WriteMetadata of int64 mask
| Clear
| Meter of int32
| Experimenter of int32

Sourceval sexp_of_instruction : instruction -> Ppx_sexp_conv_lib.Sexp.t

Sourceval instruction_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> instruction

Sourcetype bucket = {

bu_weight : Packet.int16;
bu_watch_port : portId option;
bu_watch_group : groupId option;
bu_actions : actionSequence;

}

Sourceval sexp_of_bucket : bucket -> Ppx_sexp_conv_lib.Sexp.t

Sourceval bucket_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> bucket

Sourcetype groupType =

| All
| Select
| Indirect
| FF

Sourceval sexp_of_groupType : groupType -> Ppx_sexp_conv_lib.Sexp.t

Sourceval groupType_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> groupType

Sourcetype groupMod =

| AddGroup of groupType * groupId * bucket list
| DeleteGroup of groupType * groupId
| ModifyGroup of groupType * groupId * bucket list

Sourceval sexp_of_groupMod : groupMod -> Ppx_sexp_conv_lib.Sexp.t

Sourceval groupMod_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> groupMod

Sourcetype timeout =

| Permanent
| ExpiresAfter of Packet.int16

Sourceval sexp_of_timeout : timeout -> Ppx_sexp_conv_lib.Sexp.t

Sourceval timeout_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> timeout

Sourcetype flowModCommand =

| AddFlow
| ModFlow
| ModStrictFlow
| DeleteFlow
| DeleteStrictFlow

Sourceval sexp_of_flowModCommand : flowModCommand -> Ppx_sexp_conv_lib.Sexp.t

Sourceval flowModCommand_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> flowModCommand

Sourcetype flowModFlags = {

fmf_send_flow_rem : bool;
fmf_check_overlap : bool;
fmf_reset_counts : bool;
fmf_no_pkt_counts : bool;
fmf_no_byt_counts : bool;

}

Sourceval sexp_of_flowModFlags : flowModFlags -> Ppx_sexp_conv_lib.Sexp.t

Sourceval flowModFlags_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> flowModFlags

Sourcetype flowMod = {

mfCookie : int64 mask;
mfTable_id : tableId;
mfCommand : flowModCommand;
mfIdle_timeout : timeout;
mfHard_timeout : timeout;
mfPriority : Packet.int16;
mfBuffer_id : bufferId option;
mfOut_port : pseudoPort option;
mfOut_group : groupId option;
mfFlags : flowModFlags;
mfOfp_match : oxmMatch;
mfInstructions : instruction list;

}

Sourceval sexp_of_flowMod : flowMod -> Ppx_sexp_conv_lib.Sexp.t

Sourceval flowMod_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> flowMod

Source

val add_flow : 
  tbl:tableId ->
  prio:Packet.int16 ->
  pat:oxmMatch ->
  insts:instruction list ->
  flowMod

Sourceval delete_all_flows : flowMod

Sourceval delete_all_groups : groupMod

Sourcetype packetInReason =

| NoMatch
| ExplicitSend
| InvalidTTL

Sourceval sexp_of_packetInReason : packetInReason -> Ppx_sexp_conv_lib.Sexp.t

Sourceval packetInReason_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> packetInReason

Sourcetype packetIn = {

pi_total_len : Packet.int16;
pi_reason : packetInReason;
pi_table_id : tableId;
pi_cookie : int64;
pi_ofp_match : oxmMatch;
pi_payload : payload;

}

Sourceval sexp_of_packetIn : packetIn -> Ppx_sexp_conv_lib.Sexp.t

Sourceval packetIn_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> packetIn

Sourcetype flowReason =

| FlowIdleTimeout
| FlowHardTiemout
| FlowDelete
| FlowGroupDelete

Sourceval sexp_of_flowReason : flowReason -> Ppx_sexp_conv_lib.Sexp.t

Sourceval flowReason_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> flowReason

Sourcetype flowRemoved = {

cookie : int64;
priority : Packet.int16;
reason : flowReason;
table_id : tableId;
duration_sec : int32;
duration_nsec : int32;
idle_timeout : timeout;
hard_timeout : timeout;
packet_count : int64;
byte_count : int64;
oxm : oxmMatch;

}

Sourceval sexp_of_flowRemoved : flowRemoved -> Ppx_sexp_conv_lib.Sexp.t

Sourceval flowRemoved_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> flowRemoved

Sourcetype capabilities = {

flow_stats : bool;
table_stats : bool;
port_stats : bool;
group_stats : bool;
ip_reasm : bool;
queue_stats : bool;
port_blocked : bool;

}

Sourceval sexp_of_capabilities : capabilities -> Ppx_sexp_conv_lib.Sexp.t

Sourceval capabilities_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> capabilities

Sourcetype portState = {

link_down : bool;
blocked : bool;
live : bool;

}

Sourceval sexp_of_portState : portState -> Ppx_sexp_conv_lib.Sexp.t

Sourceval portState_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> portState

Sourcetype portConfig = {

port_down : bool;
no_recv : bool;
no_fwd : bool;
no_packet_in : bool;

}

Sourceval sexp_of_portConfig : portConfig -> Ppx_sexp_conv_lib.Sexp.t

Sourceval portConfig_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> portConfig

Sourcetype portFeatures = {

rate_10mb_hd : bool;
rate_10mb_fd : bool;
rate_100mb_hd : bool;
rate_100mb_fd : bool;
rate_1gb_hd : bool;
rate_1gb_fd : bool;
rate_10gb_fd : bool;
rate_40gb_fd : bool;
rate_100gb_fd : bool;
rate_1tb_fd : bool;
other : bool;
copper : bool;
fiber : bool;
autoneg : bool;
pause : bool;
pause_asym : bool;

}

Sourceval sexp_of_portFeatures : portFeatures -> Ppx_sexp_conv_lib.Sexp.t

Sourceval portFeatures_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> portFeatures

Sourcetype portDesc = {

port_no : portId;
hw_addr : Packet.int48;
name : string;
config : portConfig;
state : portState;
curr : portFeatures;
advertised : portFeatures;
supported : portFeatures;
peer : portFeatures;
curr_speed : int32;
max_speed : int32;

}

Sourceval sexp_of_portDesc : portDesc -> Ppx_sexp_conv_lib.Sexp.t

Sourceval portDesc_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> portDesc

Sourcetype portMod = {

mpPortNo : portId;
mpHw_addr : Packet.int48;
mpConfig : portConfig;
mpMask : int32;
mpAdvertise : portFeatures;

}

Sourceval sexp_of_portMod : portMod -> Ppx_sexp_conv_lib.Sexp.t

Sourceval portMod_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> portMod

Sourcetype portReason =

| PortAdd
| PortDelete
| PortModify

Sourceval sexp_of_portReason : portReason -> Ppx_sexp_conv_lib.Sexp.t

Sourceval portReason_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> portReason

Sourcetype portStatus = {

reason : portReason;
desc : portDesc;

}

Sourceval sexp_of_portStatus : portStatus -> Ppx_sexp_conv_lib.Sexp.t

Sourceval portStatus_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> portStatus

Sourcetype packetOut = {

po_payload : payload;
po_port_id : portId option;
po_actions : actionSequence;

}

Sourceval sexp_of_packetOut : packetOut -> Ppx_sexp_conv_lib.Sexp.t

Sourceval packetOut_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> packetOut

Sourcetype rate = int32

Sourceval sexp_of_rate : rate -> Ppx_sexp_conv_lib.Sexp.t

Sourceval rate_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> rate

Sourcetype burst = int32

Sourceval sexp_of_burst : burst -> Ppx_sexp_conv_lib.Sexp.t

Sourceval burst_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> burst

Sourcetype experimenterId = int32

Sourceval sexp_of_experimenterId : experimenterId -> Ppx_sexp_conv_lib.Sexp.t

Sourceval experimenterId_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> experimenterId

Sourcetype meterBand =

| Drop of rate * burst
| DscpRemark of rate * burst * Packet.int8
| ExpMeter of rate * burst * experimenterId

Sourceval sexp_of_meterBand : meterBand -> Ppx_sexp_conv_lib.Sexp.t

Sourceval meterBand_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> meterBand

Sourcetype meterCommand =

| AddMeter
| ModifyMeter
| DeleteMeter

Sourceval sexp_of_meterCommand : meterCommand -> Ppx_sexp_conv_lib.Sexp.t

Sourceval meterCommand_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> meterCommand

Sourcetype meterFlags = {

kbps : bool;
pktps : bool;
burst : bool;
stats : bool;

}

Sourceval sexp_of_meterFlags : meterFlags -> Ppx_sexp_conv_lib.Sexp.t

Sourceval meterFlags_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> meterFlags

Sourcetype meterMod = {

command : meterCommand;
flags : meterFlags;
meter_id : int32;
bands : meterBand list;

}

Sourceval sexp_of_meterMod : meterMod -> Ppx_sexp_conv_lib.Sexp.t

Sourceval meterMod_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> meterMod

Sourcetype flowRequest = {

fr_table_id : tableId;
fr_out_port : portId;
fr_out_group : portId;
fr_cookie : int64 mask;
fr_match : oxmMatch;

}

Sourceval sexp_of_flowRequest : flowRequest -> Ppx_sexp_conv_lib.Sexp.t

Sourceval flowRequest_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> flowRequest

Sourcetype queueRequest = {

port_number : portId;
queue_id : int32;

}

Sourceval sexp_of_queueRequest : queueRequest -> Ppx_sexp_conv_lib.Sexp.t

Sourceval queueRequest_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> queueRequest

Sourcetype experimenter = {

exp_id : experimenterId;
exp_type : int32;

}

Sourceval sexp_of_experimenter : experimenter -> Ppx_sexp_conv_lib.Sexp.t

Sourceval experimenter_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> experimenter

Sourcetype tableFeatureProp =

| TfpInstruction of instructionHdr list
| TfpInstructionMiss of instructionHdr list
| TfpNextTable of tableId list
| TfpNextTableMiss of tableId list
| TfpWriteAction of actionHdr list
| TfpWriteActionMiss of actionHdr list
| TfpApplyAction of actionHdr list
| TfpApplyActionMiss of actionHdr list
| TfpMatch of oxm list
| TfpWildcard of oxm list
| TfpWriteSetField of oxm list
| TfpWriteSetFieldMiss of oxm list
| TfpApplySetField of oxm list
| TfpApplySetFieldMiss of oxm list
| TfpExperimenter of experimenter * Cstruct.t
| TfpExperimenterMiss of experimenter * Cstruct.t

Sourceval sexp_of_tableFeatureProp : tableFeatureProp -> Ppx_sexp_conv_lib.Sexp.t

Sourceval tableFeatureProp_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tableFeatureProp

Sourcetype tableConfig =

| Deprecated

Sourceval sexp_of_tableConfig : tableConfig -> Ppx_sexp_conv_lib.Sexp.t

Sourceval tableConfig_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tableConfig

Sourcetype tableFeatures = {

length : Packet.int16;
table_id : tableId;
name : string;
metadata_match : int64;
metadata_write : int64;
config : tableConfig;
max_entries : int32;
feature_prop : tableFeatureProp list;

}

Sourceval sexp_of_tableFeatures : tableFeatures -> Ppx_sexp_conv_lib.Sexp.t

Sourceval tableFeatures_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tableFeatures

Sourcetype multipartType =

| SwitchDescReq
| PortsDescReq
| FlowStatsReq of flowRequest
| AggregFlowStatsReq of flowRequest
| TableStatsReq
| PortStatsReq of portId
| QueueStatsReq of queueRequest
| GroupStatsReq of int32
| GroupDescReq
| GroupFeatReq
| MeterStatsReq of int32
| MeterConfReq of int32
| MeterFeatReq
| TableFeatReq of tableFeatures list option
| ExperimentReq of experimenter

Sourceval sexp_of_multipartType : multipartType -> Ppx_sexp_conv_lib.Sexp.t

Sourceval multipartType_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> multipartType

Sourcetype multipartRequest = {

mpr_type : multipartType;
mpr_flags : bool;

}

Sourceval sexp_of_multipartRequest : multipartRequest -> Ppx_sexp_conv_lib.Sexp.t

Sourceval multipartRequest_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> multipartRequest

Sourceval portDescReq : multipartRequest

Sourcetype switchDesc = {

mfr_desc : string;
hw_desc : string;
sw_desc : string;
serial_num : string;
dp_desc : string;

}

Sourceval sexp_of_switchDesc : switchDesc -> Ppx_sexp_conv_lib.Sexp.t

Sourceval switchDesc_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> switchDesc

Sourcetype flowStats = {

table_id : tableId;
duration_sec : int32;
duration_nsec : int32;
priority : Packet.int16;
idle_timeout : timeout;
hard_timeout : timeout;
flags : flowModFlags;
cookie : int64;
packet_count : int64;
byte_count : int64;
ofp_match : oxmMatch;
instructions : instruction list;

}

Sourceval sexp_of_flowStats : flowStats -> Ppx_sexp_conv_lib.Sexp.t

Sourceval flowStats_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> flowStats

Sourcetype aggregStats = {

packet_count : int64;
byte_count : int64;
flow_count : int32;

}

Sourceval sexp_of_aggregStats : aggregStats -> Ppx_sexp_conv_lib.Sexp.t

Sourceval aggregStats_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> aggregStats

Sourcetype tableStats = {

table_id : tableId;
active_count : int32;
lookup_count : int64;
matched_count : int64;

}

Sourceval sexp_of_tableStats : tableStats -> Ppx_sexp_conv_lib.Sexp.t

Sourceval tableStats_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tableStats

Sourcetype portStats = {

psPort_no : portId;
rx_packets : int64;
tx_packets : int64;
rx_bytes : int64;
tx_bytes : int64;
rx_dropped : int64;
tx_dropped : int64;
rx_errors : int64;
tx_errors : int64;
rx_frame_err : int64;
rx_over_err : int64;
rx_crc_err : int64;
collisions : int64;
duration_sec : int32;
duration_nsec : int32;

}

Sourceval sexp_of_portStats : portStats -> Ppx_sexp_conv_lib.Sexp.t

Sourceval portStats_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> portStats

Sourcetype queueStats = {

qsPort_no : portId;
queue_id : int32;
tx_bytes : int64;
tx_packets : int64;
tx_errors : int64;
duration_sec : int32;
duration_nsec : int32;

}

Sourceval sexp_of_queueStats : queueStats -> Ppx_sexp_conv_lib.Sexp.t

Sourceval queueStats_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> queueStats

Sourcetype bucketStats = {

packet_count : int64;
byte_count : int64;

}

Sourceval sexp_of_bucketStats : bucketStats -> Ppx_sexp_conv_lib.Sexp.t

Sourceval bucketStats_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> bucketStats

Sourcetype groupStats = {

length : Packet.int16;
group_id : int32;
ref_count : int32;
packet_count : int64;
byte_count : int64;
duration_sec : int32;
duration_nsec : int32;
bucket_stats : bucketStats list;

}

Sourceval sexp_of_groupStats : groupStats -> Ppx_sexp_conv_lib.Sexp.t

Sourceval groupStats_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> groupStats

Sourcetype groupDesc = {

length : Packet.int16;
typ : groupType;
group_id : int32;
bucket : bucket list;

}

Sourceval sexp_of_groupDesc : groupDesc -> Ppx_sexp_conv_lib.Sexp.t

Sourceval groupDesc_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> groupDesc

Sourcetype groupCapabilities = {

select_weight : bool;
select_liveness : bool;
chaining : bool;
chaining_checks : bool;

}

Sourceval sexp_of_groupCapabilities : groupCapabilities -> Ppx_sexp_conv_lib.Sexp.t

Sourceval groupCapabilities_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> groupCapabilities

Sourcetype groupTypeMap = {

all : bool;
select : bool;
indirect : bool;
ff : bool;

}

Sourceval sexp_of_groupTypeMap : groupTypeMap -> Ppx_sexp_conv_lib.Sexp.t

Sourceval groupTypeMap_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> groupTypeMap

Sourcetype actionTypeMap = {

output : bool;
copy_ttl_out : bool;
copy_ttl_in : bool;
set_mpls_ttl : bool;
dec_mpls_ttl : bool;
push_vlan : bool;
pop_vlan : bool;
push_mpls : bool;
pop_mpls : bool;
set_queue : bool;
group : bool;
set_nw_ttl : bool;
dec_nw_ttl : bool;
set_field : bool;
push_pbb : bool;
pop_pbb : bool;

}

Sourceval sexp_of_actionTypeMap : actionTypeMap -> Ppx_sexp_conv_lib.Sexp.t

Sourceval actionTypeMap_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> actionTypeMap

Sourcetype groupFeatures = {

typ : groupTypeMap;
capabilities : groupCapabilities;
max_groups_all : int32;
max_groups_select : int32;
max_groups_indirect : int32;
max_groups_ff : int32;
actions_all : actionTypeMap;
actions_select : actionTypeMap;
actions_indirect : actionTypeMap;
actions_ff : actionTypeMap;

}

Sourceval sexp_of_groupFeatures : groupFeatures -> Ppx_sexp_conv_lib.Sexp.t

Sourceval groupFeatures_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> groupFeatures

Sourcetype meterBandStats = {

packet_band_count : int64;
byte_band_count : int64;

}

Sourceval sexp_of_meterBandStats : meterBandStats -> Ppx_sexp_conv_lib.Sexp.t

Sourceval meterBandStats_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> meterBandStats

Sourcetype meterStats = {

meter_id : int32;
len : Packet.int16;
flow_count : int32;
packet_in_count : int64;
byte_in_count : int64;
duration_sec : int32;
duration_nsec : int32;
band : meterBandStats list;

}

Sourceval sexp_of_meterStats : meterStats -> Ppx_sexp_conv_lib.Sexp.t

Sourceval meterStats_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> meterStats

Sourcetype meterConfig = {

length : length;
flags : meterFlags;
meter_id : int32;
bands : meterBand list;

}

Sourceval sexp_of_meterConfig : meterConfig -> Ppx_sexp_conv_lib.Sexp.t

Sourceval meterConfig_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> meterConfig

Sourcetype meterBandMaps = {

drop : bool;
dscpRemark : bool;

}

Sourceval sexp_of_meterBandMaps : meterBandMaps -> Ppx_sexp_conv_lib.Sexp.t

Sourceval meterBandMaps_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> meterBandMaps

Sourcetype meterFeatures = {

max_meter : int32;
band_typ : meterBandMaps;
capabilities : meterFlags;
max_band : Packet.int8;
max_color : Packet.int8;

}

Sourceval sexp_of_meterFeatures : meterFeatures -> Ppx_sexp_conv_lib.Sexp.t

Sourceval meterFeatures_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> meterFeatures

Sourcetype multipartReplyTyp =

| PortsDescReply of portDesc list
| SwitchDescReply of switchDesc
| FlowStatsReply of flowStats list
| AggregateReply of aggregStats
| TableReply of tableStats list
| TableFeaturesReply of tableFeatures list
| PortStatsReply of portStats list
| QueueStatsReply of queueStats list
| GroupStatsReply of groupStats list
| GroupDescReply of groupDesc list
| GroupFeaturesReply of groupFeatures
| MeterReply of meterStats list
| MeterConfig of meterConfig list
| MeterFeaturesReply of meterFeatures

Sourceval sexp_of_multipartReplyTyp : multipartReplyTyp -> Ppx_sexp_conv_lib.Sexp.t

Sourceval multipartReplyTyp_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> multipartReplyTyp

Sourcetype multipartReply = {

mpreply_typ : multipartReplyTyp;
mpreply_flags : bool;

}

Sourceval sexp_of_multipartReply : multipartReply -> Ppx_sexp_conv_lib.Sexp.t

Sourceval multipartReply_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> multipartReply

Sourcetype tableMod = {

table_id : tableId;
config : tableConfig;

}

Sourceval sexp_of_tableMod : tableMod -> Ppx_sexp_conv_lib.Sexp.t

Sourceval tableMod_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tableMod

Sourcetype rateQueue =

| Rate of int
| Disabled

Sourceval sexp_of_rateQueue : rateQueue -> Ppx_sexp_conv_lib.Sexp.t

Sourceval rateQueue_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> rateQueue

Sourcetype queueProp =

| MinRateProp of rateQueue
| MaxRateProp of rateQueue
| ExperimenterProp of int32

Sourceval sexp_of_queueProp : queueProp -> Ppx_sexp_conv_lib.Sexp.t

Sourceval queueProp_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> queueProp

Sourcetype queueDesc = {

queue_id : int32;
port : portId;
len : Packet.int16;
properties : queueProp list;

}

Sourceval sexp_of_queueDesc : queueDesc -> Ppx_sexp_conv_lib.Sexp.t

Sourceval queueDesc_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> queueDesc

Sourcetype queueConfReq = {

port : portId;

}

Sourceval sexp_of_queueConfReq : queueConfReq -> Ppx_sexp_conv_lib.Sexp.t

Sourceval queueConfReq_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> queueConfReq

Sourcetype queueConfReply = {

port : portId;
queues : queueDesc list;

}

Sourceval sexp_of_queueConfReply : queueConfReply -> Ppx_sexp_conv_lib.Sexp.t

Sourceval queueConfReply_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> queueConfReply

Sourcetype controllerRole =

| NoChangeRole
| EqualRole
| MasterRole
| SlaveRole

Sourceval sexp_of_controllerRole : controllerRole -> Ppx_sexp_conv_lib.Sexp.t

Sourceval controllerRole_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> controllerRole

Sourcetype roleRequest = {

role : controllerRole;
generation_id : int64;

}

Sourceval sexp_of_roleRequest : roleRequest -> Ppx_sexp_conv_lib.Sexp.t

Sourceval roleRequest_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> roleRequest

Sourcetype supportedList = int list

Sourceval sexp_of_supportedList : supportedList -> Ppx_sexp_conv_lib.Sexp.t

Sourceval supportedList_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> supportedList

Sourcetype element =

| VersionBitMap of supportedList

Sourceval sexp_of_element : element -> Ppx_sexp_conv_lib.Sexp.t

Sourceval element_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> element

Sourcetype helloElement = element list

Sourceval sexp_of_helloElement : helloElement -> Ppx_sexp_conv_lib.Sexp.t

Sourceval helloElement_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> helloElement

Sourcetype packetInReasonMap = {

table_miss : bool;
apply_action : bool;
invalid_ttl : bool;

}

Sourceval sexp_of_packetInReasonMap : packetInReasonMap -> Ppx_sexp_conv_lib.Sexp.t

Sourceval packetInReasonMap_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> packetInReasonMap

Sourcetype portReasonMap = {

add : bool;
delete : bool;
modify : bool;

}

Sourceval sexp_of_portReasonMap : portReasonMap -> Ppx_sexp_conv_lib.Sexp.t

Sourceval portReasonMap_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> portReasonMap

Sourcetype flowReasonMask = {

idle_timeout : bool;
hard_timeout : bool;
delete : bool;
group_delete : bool;

}

Sourceval sexp_of_flowReasonMask : flowReasonMask -> Ppx_sexp_conv_lib.Sexp.t

Sourceval flowReasonMask_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> flowReasonMask

Sourcetype asyncConfig = {

packet_in : packetInReasonMap asyncMask;
port_status : portReasonMap asyncMask;
flow_removed : flowReasonMask asyncMask;

}

Sourceval sexp_of_asyncConfig : asyncConfig -> Ppx_sexp_conv_lib.Sexp.t

Sourceval asyncConfig_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> asyncConfig

Sourcetype msg_code =

| HELLO
| ERROR
| ECHO_REQ
| ECHO_RESP
| VENDOR
| FEATURES_REQ
| FEATURES_RESP
| GET_CONFIG_REQ
| GET_CONFIG_RESP
| SET_CONFIG
| PACKET_IN
| FLOW_REMOVED
| PORT_STATUS
| PACKET_OUT
| FLOW_MOD
| GROUP_MOD
| PORT_MOD
| TABLE_MOD
| MULTIPART_REQ
| MULTIPART_RESP
| BARRIER_REQ
| BARRIER_RESP
| QUEUE_GET_CONFIG_REQ
| QUEUE_GET_CONFIG_RESP
| ROLE_REQ
| ROLE_RESP
| GET_ASYNC_REQ
| GET_ASYNC_REP
| SET_ASYNC
| METER_MOD

Sourceval msg_code_to_int : msg_code -> int

Sourcemodule PortConfig : sig ... end

See the ofp_port_config enumeration in section 7.2.1 of the OpenFlow 1.3.4 specification

Sourcemodule PortFeatures : sig ... end

See the ofp_port_features enumeration in section 7.2.1 of the OpenFlow 1.3.4 specification

Sourcemodule Oxm : sig ... end

Flow Match Fields structure. See the section 7.2.3.2 of the OpenFlow 1.3.4 specification

Sourcemodule PseudoPort : sig ... end

Sourcemodule QueueDesc : sig ... end

Queue Description structure. See the section 7.2.2 of the OpenFlow 1.3.4 specification

Sourcemodule SwitchConfig : sig ... end

Switch Configuration structure. See the section 7.3.2 of the OpenFlow 1.3.4 specification

Sourcemodule OfpMatch : sig ... end

Flow Match structure. See the section 7.2.3.1 of the OpenFlow 1.3.4 specification

Sourcemodule Action : sig ... end

Action structure. See the section 7.2.5 of the OpenFlow 1.3.4 specification

Sourcemodule Bucket : sig ... end

Bucket structure for use in groups. See the section 7.3.4.2 of OpenFlow 1.3.4 specification

Sourcemodule FlowModCommand : sig ... end

Modify Flow message structure. See the section 7.3.4.1 of the OpenFlow 1.3.4 specification

Sourcemodule GroupType : sig ... end

See the ofp_group_type enumeration in section 7.3.4.2 of the OpenFlow 1.3.4 specification

Sourcemodule GroupMod : sig ... end

Modify Group message structure. See the section 7.3.4.2 of the OpenFlow 1.3.4 specification

Sourcemodule PortMod : sig ... end

Modify Port message structure. See the section 7.3.4.3 of the OpenFlow 1.3.4 specification

Sourcemodule MeterMod : sig ... end

Modify Meter message structure. See the section 7.3.4.4 of the OpenFlow 1.3.4 specification

Sourcemodule Instruction : sig ... end

Flow Instruction structure. See the section 7.2.4 of the OpenFlow 1.3.4 specification

Sourcemodule Instructions : sig ... end

Sourcemodule FlowMod : sig ... end

Modify flow message structure. See the section 7.3.4.1 of the OpenFlow 1.3.4 specification

Sourcemodule Capabilities : sig ... end

See the ofp_capabilities enumeration in section 7.3.1 of OpenFlow 1.3.4 specification

Sourcetype switchFeatures = {

datapath_id : int64;
num_buffers : int32;
num_tables : Packet.int8;
aux_id : Packet.int8;
supported_capabilities : capabilities;

}

Sourcemodule SwitchFeatures : sig ... end

Switch Features structure. See the section 7.3.1 of the OpenFlow 1.3.4 specification

Sourcemodule PortState : sig ... end

See the ofp_port_state enumeration in section 7.2.1 of the OpenFlow 1.3.4 specification

Sourcemodule PortDesc : sig ... end

Description of a port structure. See the section 7.3.1 of the OpenFlow 1.3.4 specification

Sourcemodule PortStatus : sig ... end

Port Status structure. See the section 7.4.3 of the OpenFlow 1.3.4 specification

Sourcemodule PacketIn : sig ... end

Packet received by the datapath and sent to the controller structure. See the section 7.4.1 of the OpenFlow 1.3.4 specification

Sourcemodule PacketOut : sig ... end

Packet send out of the datapath structure. See the section 7.3.7 of the OpenFlow 1.3.4 specification

Sourcemodule MeterBand : sig ... end

Meter bands structure. See the section 7.3.4.4 of the OpenFlow 1.3.4 specification

Sourcemodule FlowRemoved : sig ... end

Flow Removed structure. See the section 7.4.2 of the OpenFlow 1.3.4 specification

Sourcemodule FlowRequest : sig ... end

Flow Statistics request structure. See the section 7.3.5.2 of the OpenFlow 1.3.4 specification this structure is the same for indidual and aggregate flow request

Sourcemodule QueueRequest : sig ... end

Queue Statistics request structure. See the section 7.3.5.8 of the OpenFlow 1.3.4 specification

Sourcemodule TableFeatureProp : sig ... end

Table Features property structure. See the section 7.3.5.5.2 of the OpenFlow 1.3.4 specification

Sourcemodule TableFeature : sig ... end

Table Feature structure. See the section 7.3.5.5.1 of the OpenFlow 1.3.4 specification

Sourcemodule MultipartReq : sig ... end

Multipart request message structure. See the section 7.3.5 of the OpenFlow 1.3.4 specification

Sourcemodule GroupStats : sig ... end

Group statistics structure. See the section 7.3.5.9 of the OpenFlow 1.3.4 specification

Sourcemodule SwitchDescriptionReply : sig ... end

Switch Description structure. See the section 7.3.5.1 of the OpenFlow 1.3.4 specification

Sourcemodule FlowStats : sig ... end

Individual Flow Statistics structure. See the section 7.3.5.2 of the OpenFlow 1.3.4 specification

Sourcemodule AggregateStats : sig ... end

Aggregate Flow Statistics structure. See the section 7.3.5.3 of the OpenFlow 1.3.4 specification

Sourcemodule TableStats : sig ... end

Table Statistics structure. See the section 7.3.5.4 of the OpenFlow 1.3.4 specification

Sourcemodule PortStats : sig ... end

Port Statistics structure. See the section 7.3.5.6 of the OpenFlow 1.3.4 specification

Sourcemodule QueueStats : sig ... end

Queue Statistics structure. See the section 7.3.5.8 of the OpenFlow 1.3.4 specification

Sourcemodule GroupDesc : sig ... end

Group Description structure. See the section 7.3.5.10 of the OpenFlow 1.3.4 specification

Sourcemodule GroupFeatures : sig ... end

Group Features structure. See the section 7.3.5.10 of the OpenFlow 1.3.4 specification

Sourcemodule MeterStats : sig ... end

Meter Statistics structure. See the section 7.3.5.12 of the OpenFlow 1.3.4 specification

Sourcemodule MeterConfig : sig ... end

Meter Configuration structure. See the section 7.3.5.13 of the OpenFlow 1.3.4 specification

Sourcemodule MeterFeatures : sig ... end

Meter Features structure. See the section 7.3.5.14 of the OpenFlow 1.3.4 specification

Sourcemodule MultipartReply : sig ... end

Multipart reply message structure. See the section 7.3.5 of the OpenFlow 1.3.4 specification

Sourcemodule TableMod : sig ... end

Modify Table message structure. See the section 7.3.3 of the OpenFlow 1.3.4 specification

Sourcemodule QueueConfReq : sig ... end

Queue Configuration request message structure. See the section 7.3.6 of the OpenFlow 1.3.4 specification

Sourcemodule QueueConfReply : sig ... end

Queue Configuration respond message structure. See the section 7.3.6 of the OpenFlow 1.3.4 specification

Sourcetype error = {

err : errorTyp;
data : Cstruct.t;

}

Sourcemodule Error : sig ... end

Error message structure. See the section 7.4.4 of the OpenFlow 1.3.4 specification

Sourcemodule RoleRequest : sig ... end

Role Request message structure. See the section 7.3.9 of OpenFlow 1.3.4 specification

Sourcemodule Hello : sig ... end

Hello message structure. See the section 7.5.1 of the OpenFlow 1.3.4 specification

Sourcemodule AsyncConfig : sig ... end

Set Asynchronous message structure. See the section 7.3.10 of OpenFlow 1.3.4 specification

Sourcemodule Message : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frenetic.kernel/Frenetic_kernel/OpenFlow0x04/index.html

Module `Frenetic_kernel.OpenFlow0x04`Source

Convenient Functions

package frenetic

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frenetic.kernel/Frenetic_kernel/OpenFlow0x04/index.html

Module Frenetic_kernel.OpenFlow0x04Source

Convenient Functions

Module `Frenetic_kernel.OpenFlow0x04`Source