basis/regexp/classes/classes-tests.factor

   1 ! Copyright (C) 2009 Daniel Ehrenberg.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: regexp.classes tools.test arrays kernel ;
   4 IN: regexp.classes.tests
   5
   6 ! Class algebra
   7
   8 { f } [ { 1 2 } <and-class> ] unit-test
   9 { T{ or-class f { 1 2 } } } [ { 1 2 } <or-class> ] unit-test
  10 { 3 } [ { 1 2 } <and-class> 3 2array <or-class> ] unit-test
  11 { CHAR: A } [ CHAR: A LETTER-class <primitive-class> 2array <and-class> ] unit-test
  12 { CHAR: A } [ LETTER-class <primitive-class> CHAR: A 2array <and-class> ] unit-test
  13 { T{ primitive-class { class LETTER-class } } } [ CHAR: A LETTER-class <primitive-class> 2array <or-class> ] unit-test
  14 { T{ primitive-class { class LETTER-class } } } [ LETTER-class <primitive-class> CHAR: A 2array <or-class> ] unit-test
  15 { t } [ { t 1 } <or-class> ] unit-test
  16 { t } [ { 1 t } <or-class> ] unit-test
  17 { f } [ { f 1 } <and-class> ] unit-test
  18 { f } [ { 1 f } <and-class> ] unit-test
  19 { 1 } [ { f 1 } <or-class> ] unit-test
  20 { 1 } [ { 1 f } <or-class> ] unit-test
  21 { 1 } [ { t 1 } <and-class> ] unit-test
  22 { 1 } [ { 1 t } <and-class> ] unit-test
  23 { 1 } [ 1 <not-class> <not-class> ] unit-test
  24 { 1 } [ { 1 1 } <and-class> ] unit-test
  25 { 1 } [ { 1 1 } <or-class> ] unit-test
  26 { t } [ { t t } <or-class> ] unit-test
  27 { T{ primitive-class { class letter-class } } } [ letter-class <primitive-class> dup 2array <and-class> ] unit-test
  28 { T{ primitive-class { class letter-class } } } [ letter-class <primitive-class> dup 2array <or-class> ] unit-test
  29 { T{ or-class { seq { 1 2 3 } } } } [ { 1 2 } <or-class> { 2 3 } <or-class> 2array <or-class> ] unit-test
  30 { T{ or-class { seq { 2 3 } } } } [ { 2 3 } <or-class> 1 <not-class> 2array <and-class> ] unit-test
  31 { f } [ t <not-class> ] unit-test
  32 { t } [ f <not-class> ] unit-test
  33 { f } [ 1 <not-class> 1 t answer ] unit-test
  34 { t } [ { 1 2 } <or-class> <not-class> 1 2 3array <or-class> ] unit-test
  35 { f } [ { 1 2 } <and-class> <not-class> 1 2 3array <and-class> ] unit-test
  36
  37 ! Making classes into nested conditionals
  38
  39 { { 1 2 3 4 } } [ T{ and-class f { 1 T{ not-class f 2 } T{ or-class f { 3 4 } } 2 } } class>questions ] unit-test
  40 { { 3 } } [ { { 3 t } } table>condition ] unit-test
  41 { { T{ primitive-class } } } [ { { 1 t } { 2 T{ primitive-class } } } table>questions ] unit-test
  42 { { { 1 t } { 2 t } } } [ { { 1 t } { 2 T{ primitive-class } } } T{ primitive-class } t assoc-answer ] unit-test
  43 { { { 1 t } } } [ { { 1 t } { 2 T{ primitive-class } } } T{ primitive-class } f assoc-answer ] unit-test
  44 { T{ condition f T{ primitive-class } { 1 2 } { 1 } } } [ { { 1 t } { 2 T{ primitive-class } } } table>condition ] unit-test
  45
  46 SYMBOL: foo
  47 SYMBOL: bar
  48
  49 { T{ condition f T{ primitive-class f bar } T{ condition f T{ primitive-class f foo } { 1 3 2 } { 1 3 } } T{ condition f T{ primitive-class f foo } { 1 2 } { 1 } } } } [ { { 1 t } { 3 T{ primitive-class f bar } } { 2 T{ primitive-class f foo } } } table>condition ] unit-test
  50
  51 { t } [ foo <primitive-class> dup t answer ] unit-test
  52 { f } [ foo <primitive-class> dup f answer ] unit-test
  53 { T{ primitive-class f foo } } [ foo <primitive-class> bar <primitive-class> t answer ] unit-test
  54 { T{ primitive-class f foo } } [ foo <primitive-class> bar <primitive-class> f answer ] unit-test
  55 { T{ primitive-class f foo } } [ foo <primitive-class> bar <primitive-class> 2array <and-class> bar <primitive-class> t answer ] unit-test
  56 { T{ primitive-class f bar } } [ foo <primitive-class> bar <primitive-class> 2array <and-class> foo <primitive-class> t answer ] unit-test
  57 { f } [ foo <primitive-class> bar <primitive-class> 2array <and-class> foo <primitive-class> f answer ] unit-test
  58 { f } [ foo <primitive-class> bar <primitive-class> 2array <and-class> bar <primitive-class> f answer ] unit-test
  59 { t } [ foo <primitive-class> bar <primitive-class> 2array <or-class> bar <primitive-class> t answer ] unit-test
  60 { T{ primitive-class f foo } } [ foo <primitive-class> bar <primitive-class> 2array <or-class> bar <primitive-class> f answer ] unit-test