package p4spectec

  1. Overview
  2. Docs
package p4spectec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Stf.AstSource

Sourcetype name = string
Sourcetype id = string
Sourcetype number = string
Sourcetype port = string
Sourcetype handle = string
Sourcetype packet = string
Sourcetype expect = string
Sourcetype exact = bool
Sourcetype session = number
Sourcetype arg = id * number
Sourcetype action = name * arg list
Sourcetype mtchkind =
  1. | Num of number
  2. | Slash of number * number
Sourcetype mtch = name * mtchkind
Sourcetype id_or_index =
  1. | Id of string
  2. | Index of number
Sourcetype cond =
  1. | Eq
  2. | Ne
  3. | Le
  4. | Lt
  5. | Ge
  6. | Gt
Sourcetype ctr =
  1. | Bytes
  2. | Packets
Sourcetype stmt =
  1. | Wait
  2. | RemoveAll
  3. | Expect of port * expect option * exact
  4. | Packet of port * packet
  5. | NoPacket
  6. | Add of name * int option * mtch list * action * id option
  7. | SetDefault of name * action
  8. | CheckCounter of id * id_or_index * ctr option * cond * number
  9. | MirroringAdd of session * port
  10. | MirroringAddMc of session * id
  11. | MirroringGet of session
  12. | McGroupCreate of id
  13. | McNodeCreate of id * port list
  14. | McNodeAssociate of id * handle
  15. | RegisterRead of name * number
  16. | RegisterWrite of name * number * number
  17. | RegisterReset of name