package p4spectec

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

Module Stf.ParserSource

Sourcetype token =
  1. | WAIT
  2. | TERN_CONST_HEX of string
  3. | SLASH
  4. | SETDEFAULT
  5. | RPAREN
  6. | REMOVE
  7. | REGISTER_WRITE
  8. | REGISTER_RESET
  9. | REGISTER_READ
  10. | RBRACKET
  11. | PACKET_WILDCARD
  12. | PACKETS
  13. | PACKET
  14. | NO_PACKET
  15. | NE
  16. | MIRRORING_GET
  17. | MIRRORING_ADD_MC
  18. | MIRRORING_ADD
  19. | MC_NODE_CREATE
  20. | MC_NODE_ASSOCIATE
  21. | MC_GROUP_CREATE
  22. | LT
  23. | LPAREN
  24. | LE
  25. | LBRACKET
  26. | INT_CONST_HEX of string
  27. | INT_CONST_DEC of string
  28. | INT_CONST_BIN of string
  29. | ID of string
  30. | GT
  31. | GE
  32. | EXPECT
  33. | EXACT
  34. | EQUAL
  35. | EQ
  36. | END
  37. | DOT
  38. | DATA_TERN
  39. | DATA_HEX of string
  40. | DATA_DEC of string
  41. | COMMA
  42. | COLON
  43. | CHECK_COUNTER
  44. | BYTES
  45. | ALL
  46. | ADD
Sourceexception Error
Sourceval stmts : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.stmt list