Module Frenetic_netkat.TokensSource

Sourcetype token =
  1. | WHILE
  2. | VSWITCH
  3. | VPORT
  4. | VLANPCP
  5. | VLAN
  6. | VFABRIC
  7. | VAR
  8. | TRUE
  9. | THEN
  10. | TCPSRCPORT
  11. | TCPDSTPORT
  12. | SWITCH
  13. | STRING of string
  14. | STAR
  15. | SLASH
  16. | SEMICOLON
  17. | RPAR
  18. | QUERY
  19. | PORT
  20. | PLUS
  21. | PIPE
  22. | OR
  23. | NOT
  24. | METAID of string
  25. | MAC of string
  26. | LPAR
  27. | LET
  28. | IVERSON of string * Location.t
  29. | IPPROTO
  30. | IP4SRC
  31. | IP4DST
  32. | IP4ADDR of string
  33. | INT of string
  34. | IN
  35. | IF
  36. | ID
  37. | FROM
  38. | FILTER
  39. | FALSE
  40. | ETHTYPE
  41. | ETHSRC
  42. | ETHDST
  43. | EQUALS
  44. | EOF
  45. | END
  46. | ELSE
  47. | DUP
  48. | DROP
  49. | DO
  50. | BEGIN
  51. | AT
  52. | ASSIGN
  53. | ANTIQ of string * Location.t
  54. | AND
  55. | ABSTRACTLOC