basis/match/match-tests.factor

   1 ! Copyright (C) 2006 Chris Double.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: tools.test match namespaces arrays ;
   4 IN: match.tests
   5
   6 MATCH-VARS: ?a ?b ;
   7
   8 [ f ] [ { ?a ?a } { 1 2 } match ] unit-test
   9
  10 [ H{ { ?a 1 } { ?b 2 } } ] [
  11  { ?a ?b } { 1 2 } match
  12 ] unit-test
  13
  14 [ { 1 2 } ] [
  15   { 1 2 }
  16   {
  17     { { ?a ?b } [ ?a ?b 2array ] }
  18   } match-cond
  19 ] unit-test
  20
  21 [ t ] [
  22   { 1 2 }
  23   {
  24     { { 1 2 } [ t ] }
  25     { f [ f ] }
  26   } match-cond
  27 ] unit-test
  28
  29 [ t ] [
  30   { 1 3 }
  31   {
  32     { { 1 2 } [ t ] }
  33     { { 1 3 } [ t ] }
  34   } match-cond
  35 ] unit-test
  36
  37 [ f ] [
  38   { 1 5 }
  39   {
  40     { { 1 2 } [ t ] }
  41     { { 1 3 } [ t ] }
  42     { _       [ f ] }
  43   } match-cond
  44 ] unit-test
  45
  46 TUPLE: foo a b ;
  47
  48 C: <foo> foo
  49
  50 { 1 2 } [
  51   1 2 <foo> T{ foo f ?a ?b } match [
  52     ?a ?b
  53   ] bind
  54 ] unit-test
  55
  56 { 1 2 } [
  57   1 2 <foo> \ ?a \ ?b <foo> match [
  58     ?a ?b
  59   ] bind
  60 ] unit-test
  61
  62 { H{ { ?a ?a } } } [
  63   \ ?a \ ?a match
  64 ] unit-test
  65
  66 [ "match" ] [
  67   "abcd" {
  68     { ?a [ "match" ] }
  69   } match-cond
  70 ] unit-test
  71
  72 [
  73   { 2 1 }
  74 ] [
  75   { "a" 1 2 "b" } { _ ?a ?b _ } { ?b ?a } match-replace
  76 ] unit-test
  77
  78 TUPLE: match-replace-test a b ;
  79
  80 [
  81     T{ match-replace-test f 2 1 }
  82 ] [
  83   T{ match-replace-test f 1 2 }
  84   T{ match-replace-test f ?a ?b }
  85   T{ match-replace-test f ?b ?a }
  86   match-replace
  87 ] unit-test