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.frontend/Frontend/Parser/index.html

Module Frontend.ParserSource

Sourcetype token =
  1. | VAR
  2. | UPID_LPAREN of string
  3. | UPID_LANGLE of string
  4. | UPID of string
  5. | UP
  6. | TURNSTILE
  7. | TILESTURN
  8. | TILDE2
  9. | TILDE
  10. | TICK_RPAREN
  11. | TICK_RBRACK
  12. | TICK_RBRACE
  13. | TICK_RANGLE
  14. | TICK_LPAREN
  15. | TICK_LBRACK
  16. | TICK_LBRACE
  17. | TICK_LANGLE
  18. | TEXTLIT of string
  19. | TEXT
  20. | TAG_UPID of string
  21. | TABLE
  22. | SYNTAX
  23. | SUB
  24. | STAR
  25. | SQARROW_STAR
  26. | SQARROW
  27. | SLASH
  28. | SEMICOLON
  29. | RULEGROUP
  30. | RULE
  31. | RPAREN
  32. | RELATION
  33. | RBRACK
  34. | RBRACE
  35. | RANGLE_LPAREN
  36. | RANGLE_EQ
  37. | RANGLE
  38. | QUEST
  39. | PLUS2
  40. | PLUS
  41. | OTHERWISE
  42. | OR
  43. | OPERATOR of string
  44. | NL_BAR
  45. | NL3
  46. | NL2
  47. | NEQ
  48. | NATLIT of Bigint.t
  49. | NAT
  50. | MINUS
  51. | LPAREN
  52. | LOID_LPAREN of string
  53. | LOID_LANGLE of string
  54. | LOID of string
  55. | LBRACK
  56. | LBRACE
  57. | LATEX
  58. | LANGLE_EQ
  59. | LANGLE_DASH
  60. | LANGLE
  61. | INT
  62. | IF
  63. | HOLE_NUM of int
  64. | HOLE_NIL
  65. | HOLE_MULTI
  66. | HOLE
  67. | HINT_LPAREN
  68. | HEXLIT of Bigint.t
  69. | HASH2
  70. | HASH
  71. | EXTERN
  72. | EQ
  73. | EPS
  74. | EOF
  75. | DOUBLE_ARROW_SUB
  76. | DOUBLE_ARROW_LONG
  77. | DOUBLE_ARROW_BOTH
  78. | DOUBLE_ARROW
  79. | DOTID of string
  80. | DOT3
  81. | DOT2
  82. | DOT
  83. | DOLLAR
  84. | DEF
  85. | DEC
  86. | DEBUG
  87. | DASH
  88. | COMMA_NL
  89. | COMMA
  90. | COLON_SLASH
  91. | COLON_EQ
  92. | COLON2
  93. | COLON
  94. | BUILTIN
  95. | BOOLLIT of bool
  96. | BOOL
  97. | BAR
  98. | BACKSLASH
  99. | ARROW_SUB
  100. | ARROW
  101. | AND
Sourceexception Error
Sourceval check_atom : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> bool