core/hash-sets/hash-sets-tests.factor

   1 ! Copyright (C) 2010 Daniel Ehrenberg
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: accessors hash-sets kernel math prettyprint sequences
   4 sets sorting tools.test ;
   5
   6 { { 1 2 3 } } [ HS{ 1 2 3 } members natural-sort ] unit-test
   7
   8 { "HS{ 1 2 3 4 }" } [ HS{ 1 2 3 4 } unparse ] unit-test
   9
  10 { t } [ 1 HS{ 0 1 2 } in? ] unit-test
  11 { f } [ 3 HS{ 0 1 2 } in? ] unit-test
  12 { HS{ 1 2 3 } } [ 3 HS{ 1 2 } clone [ adjoin ] keep ] unit-test
  13 { HS{ 1 2 } } [ 2 HS{ 1 2 } clone [ adjoin ] keep ] unit-test
  14 { t } [ 1 HS{ } ?adjoin ] unit-test
  15 { f } [ 1 HS{ 1 } ?adjoin ] unit-test
  16 { HS{ 1 2 3 } } [ 4 HS{ 1 2 3 } clone [ delete ] keep ] unit-test
  17 { HS{ 1 2 } } [ 3 HS{ 1 2 3 } clone [ delete ] keep ] unit-test
  18 { t } [ 1 HS{ 1 } ?delete ] unit-test
  19 { f } [ 1 HS{ } ?delete ] unit-test
  20 { HS{ 1 2 } } [ HS{ 1 2 } fast-set ] unit-test
  21 { { 1 2 } } [ HS{ 1 2 } members natural-sort ] unit-test
  22
  23 { HS{ 1 2 3 4 } } [ HS{ 1 2 3 } HS{ 2 3 4 } union ] unit-test
  24 { HS{ 2 3 } } [ HS{ 1 2 3 } HS{ 2 3 4 } intersect ] unit-test
  25 { t } [ HS{ 1 2 3 } HS{ 2 3 4 } intersects? ] unit-test
  26 { f } [ HS{ 1 } HS{ 2 3 4 } intersects? ] unit-test
  27 { f } [ HS{ 1 } HS{ 2 3 4 } subset? ] unit-test
  28 { f } [ HS{ 1 2 3 } HS{ 2 3 4 } subset? ] unit-test
  29 { t } [ HS{ 2 3 } HS{ 2 3 4 } subset? ] unit-test
  30 { t } [ HS{ } HS{ 2 3 4 } subset? ] unit-test
  31 { HS{ 1 } } [ HS{ 1 2 3 } HS{ 2 3 4 } diff ] unit-test
  32 { t } [ HS{ 1 2 3 } HS{ 2 1 3 } set= ] unit-test
  33 { t } [ HS{ 1 2 3 } HS{ 2 1 3 } = ] unit-test
  34 { f } [ HS{ 2 3 } HS{ 2 1 3 } set= ] unit-test
  35 { f } [ HS{ 1 2 3 } HS{ 2 3 } set= ] unit-test
  36
  37 { HS{ 1 2 } HS{ 1 2 3 } } [ HS{ 1 2 } clone dup clone [ 3 swap adjoin ] keep ] unit-test
  38
  39 { t } [ HS{ } null? ] unit-test
  40 { f } [ HS{ 1 } null? ] unit-test
  41
  42 { { } } [ { 1 2 3 } duplicates ] unit-test
  43 { f } [ { 1 2 3 } >hash-set duplicates ] unit-test
  44 { { 1 } } [ { 1 2 1 } duplicates ] unit-test
  45
  46 { HS{ HS{ { 2 1 } { 1 2 } } } } [
  47     HS{ } clone
  48     HS{ { 1 2 } { 2 1 } } over adjoin
  49     HS{ { 2 1 } { 1 2 } } over adjoin
  50 ] unit-test
  51
  52 ! make sure growth and capacity use same load-factor
  53 { t } [
  54     100 <iota>
  55     [ [ <hash-set> ] map ]
  56     [ [ HS{ } clone [ '[ _ adjoin ] each-integer ] keep ] map ] bi
  57     [ [ array>> length ] bi@ = ] 2all?
  58 ] unit-test
  59
  60 ! non-integer capacity not allowed
  61 [ 0.75 <hash-set> ] must-fail