lenses/tests/test_rx.aug

   1 module Test_rx =
   2
   3 let sto_ipv4 = [ label "IP" . store Rx.ipv4 ]
   4
   5 test sto_ipv4 get "192.168.0.1"     = { "IP" = "192.168.0.1"     }
   6 test sto_ipv4 get "255.255.255.254" = { "IP" = "255.255.255.254" }
   7
   8 let sto_ipv6 = [ label "IP" . store Rx.ipv6 ]
   9 test sto_ipv6 get "fe80::215:f2ff:fea4:b8d9" = { "IP" = "fe80::215:f2ff:fea4:b8d9" }
  10
  11 let sto_ip = [ label "IP" . store Rx.ip ]
  12
  13 test sto_ip get "192.168.0.1"              = { "IP" = "192.168.0.1"              }
  14 test sto_ip get "255.255.255.254"          = { "IP" = "255.255.255.254"          }
  15 test sto_ip get "fe80::215:f2ff:fea4:b8d9" = { "IP" = "fe80::215:f2ff:fea4:b8d9" }
  16
  17 (* iso_8601 *)
  18 let iso_8601 = [ label "date" . store Rx.iso_8601 ]
  19
  20 test iso_8601 get "2009-12T12:34" = { "date" = "2009-12T12:34" }
  21 test iso_8601 get "2009" = { "date" = "2009" }
  22 test iso_8601 get "2009-05-19" = { "date" = "2009-05-19" }
  23 test iso_8601 get "2009-05-19" = { "date" = "2009-05-19" }
  24 test iso_8601 get "20090519" = { "date" = "20090519" }
  25 test iso_8601 get "2009123" = { "date" = "2009123" }
  26 test iso_8601 get "2009-05" = { "date" = "2009-05" }
  27 test iso_8601 get "2009-123" = { "date" = "2009-123" }
  28 test iso_8601 get "2009-222" = { "date" = "2009-222" }
  29 test iso_8601 get "2009-001" = { "date" = "2009-001" }
  30 test iso_8601 get "2009-W01-1" = { "date" = "2009-W01-1" }
  31 test iso_8601 get "2009-W51-1" = { "date" = "2009-W51-1" }
  32 test iso_8601 get "2009-W511" = { "date" = "2009-W511" }
  33 test iso_8601 get "2009-W33" = { "date" = "2009-W33" }
  34 test iso_8601 get "2009W511" = { "date" = "2009W511" }
  35 test iso_8601 get "2009-05-19" = { "date" = "2009-05-19" }
  36 test iso_8601 get "2009-05-19 00:00" = { "date" = "2009-05-19 00:00" }
  37 test iso_8601 get "2009-05-19 14" = { "date" = "2009-05-19 14" }
  38 test iso_8601 get "2009-05-19 14:31" = { "date" = "2009-05-19 14:31" }
  39 test iso_8601 get "2009-05-19 14:39:22" = { "date" = "2009-05-19 14:39:22" }
  40 test iso_8601 get "2009-05-19T14:39Z" = { "date" = "2009-05-19T14:39Z" }
  41 test iso_8601 get "2009-W21-2" = { "date" = "2009-W21-2" }
  42 test iso_8601 get "2009-W21-2T01:22" = { "date" = "2009-W21-2T01:22" }
  43 test iso_8601 get "2009-139" = { "date" = "2009-139" }
  44 test iso_8601 get "2009-05-19 14:39:22-06:00" = { "date" = "2009-05-19 14:39:22-06:00" }
  45 test iso_8601 get "2009-05-19 14:39:22+0600" = { "date" = "2009-05-19 14:39:22+0600" }
  46 test iso_8601 get "2009-05-19 14:39:22-01" = { "date" = "2009-05-19 14:39:22-01" }
  47 test iso_8601 get "20090621T0545Z" = { "date" = "20090621T0545Z" }
  48 test iso_8601 get "2007-04-06T00:00" = { "date" = "2007-04-06T00:00" }
  49 test iso_8601 get "2007-04-05T24:00" = { "date" = "2007-04-05T24:00" }
  50 test iso_8601 get "2010-02-18T16:23:48.5" = { "date" = "2010-02-18T16:23:48.5" }
  51 test iso_8601 get "2010-02-18T16:23:48,444" = { "date" = "2010-02-18T16:23:48,444" }
  52 test iso_8601 get "2010-02-18T16:23:48,3-06:00" = { "date" = "2010-02-18T16:23:48,3-06:00" }
  53 test iso_8601 get "2010-02-18T16:23.4" = { "date" = "2010-02-18T16:23.4" }
  54 test iso_8601 get "2010-02-18T16:23,25" = { "date" = "2010-02-18T16:23,25" }
  55 test iso_8601 get "2010-02-18T16:23.33+0600" = { "date" = "2010-02-18T16:23.33+0600" }
  56 test iso_8601 get "2010-02-18T16.23334444" = { "date" = "2010-02-18T16.23334444" }
  57 test iso_8601 get "2010-02-18T16,2283" = { "date" = "2010-02-18T16,2283" }
  58 test iso_8601 get "2009-05-19 143922.500" = { "date" = "2009-05-19 143922.500" }
  59 test iso_8601 get "2009-05-19 1439,55" = { "date" = "2009-05-19 1439,55" }
  60
  61 (* url_3986 *)
  62 let url_3986 = [ label "url" . store Rx.url_3986 ]
  63
  64 test url_3986 get "http://tools.ietf.org/rfc/rfc3986.txt" = { "url" =  "http://tools.ietf.org/rfc/rfc3986.txt" }
  65 test url_3986 get "https://github.com/hercules-team/augeas/" = { "url" = "https://github.com/hercules-team/augeas/" }
  66 test url_3986 get "http://www.ics.uci.edu:80/pub/ietf/uri/#Related" = { "url" =  "http://www.ics.uci.edu:80/pub/ietf/uri/#Related" }
  67 test url_3986 get "EXAMPLE://a/./b/../b/%63/%7bfoo%7d" = { "url" =  "EXAMPLE://a/./b/../b/%63/%7bfoo%7d" }
  68 test url_3986 get "http://a/b/c/g;?x=1/y#z" = { "url" =  "http://a/b/c/g;?x=1/y#z" }
  69 test url_3986 get "eXaMpLe://a.very.sub.domain.tld:1234/b/c/e/f/g.txt;?x=1/y&q=%7b-w-%7b#z" = { "url" = "eXaMpLe://a.very.sub.domain.tld:1234/b/c/e/f/g.txt;?x=1/y&q=%7b-w-%7b#z" }
  70