package p4spectec

  1. Overview
  2. Docs
P4-SpecTec: A mechanization toolchain for the P4 Programming Language

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (2)

Authors

  1. K
    KAIST PLRG

Maintainers

  1. 9
    99jaehyunlee@kaist.ac.kr

Sources

v0.1.2.tar.gz
md5=1a3bc0a385fe1ecf403c019f49aa6de6
sha512=5d20b5821f33e2a3a5419b208606f27c01511994c2b3b1e1cdf4c077056dfd0aa81682af0720e1060ee2bfb0341918fcc4c53159820205a2bc32b725e5c1a714

doc/p4spectec.stf/Stf/Ast/index.html

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