package frenetic

  1. Overview
  2. Docs
The Frenetic Programming Language and Runtime System

Install 

dune-project
 Dependency

frenetic-lang.org Readme Edit opam file Versions (1)

Authors

  1. A
    Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>

Maintainers

  1. N
    Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz
md5=baf754df13a759c32f2c86a1b6f328da
sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.netkat/Frenetic_netkat/Tokens/index.html

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