git.gag.com Git - debian/gnuradio/blob - gruel/src/lib/pmt/qa_pmt_prims.cc

   1 /* -*- c++ -*- */
   2 /*
   3  * Copyright 2006,2009 Free Software Foundation, Inc.
   4  *
   5  * This file is part of GNU Radio
   6  *
   7  * GNU Radio is free software; you can redistribute it and/or modify
   8  * it under the terms of the GNU General Public License as published by
   9  * the Free Software Foundation; either version 3, or (at your option)
  10  * any later version.
  11  *
  12  * GNU Radio is distributed in the hope that it will be useful,
  13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15  * GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with GNU Radio; see the file COPYING.  If not, write to
  19  * the Free Software Foundation, Inc., 51 Franklin Street,
  20  * Boston, MA 02110-1301, USA.
  21  */
  22
  23 #include <qa_pmt_prims.h>
  24 #include <cppunit/TestAssert.h>
  25 #include <gruel/pmt.h>
  26 #include <gruel/msg_accepter.h>
  27 #include <stdio.h>
  28 #include <sstream>
  29
  30 using namespace pmt;
  31
  32 void
  33 qa_pmt_prims::test_symbols()
  34 {
  35   CPPUNIT_ASSERT(!pmt_is_symbol(PMT_T));
  36   CPPUNIT_ASSERT(!pmt_is_symbol(PMT_F));
  37   CPPUNIT_ASSERT_THROW(pmt_symbol_to_string(PMT_F), pmt_wrong_type);
  38
  39   pmt_t sym1 = pmt_string_to_symbol("test");
  40   CPPUNIT_ASSERT(pmt_is_symbol(sym1));
  41   CPPUNIT_ASSERT_EQUAL(std::string("test"), pmt_symbol_to_string(sym1));
  42   CPPUNIT_ASSERT(pmt_is_true(sym1));
  43   CPPUNIT_ASSERT(!pmt_is_false(sym1));
  44
  45   pmt_t sym2 = pmt_string_to_symbol("foo");
  46   pmt_t sym3 = pmt_string_to_symbol("test");
  47   CPPUNIT_ASSERT_EQUAL(sym1, sym3);
  48   CPPUNIT_ASSERT(sym1 != sym2);
  49   CPPUNIT_ASSERT(sym1 == sym3);
  50
  51   static const int N = 2048;
  52   std::vector<pmt_t> v1(N);
  53   std::vector<pmt_t> v2(N);
  54
  55   // generate a bunch of symbols
  56   for (int i = 0; i < N; i++){
  57     char buf[100];
  58     snprintf(buf, sizeof(buf), "test-%d", i);
  59     v1[i] = pmt_string_to_symbol(buf);
  60   }
  61
  62   // confirm that they are all unique
  63   for (int i = 0; i < N; i++)
  64     for (int j = i + 1; j < N; j++)
  65       CPPUNIT_ASSERT(v1[i] != v1[j]);
  66
  67   // generate the same symbols again
  68   for (int i = 0; i < N; i++){
  69     char buf[100];
  70     snprintf(buf, sizeof(buf), "test-%d", i);
  71     v2[i] = pmt_string_to_symbol(buf);
  72   }
  73
  74   // confirm that we get the same ones back
  75   for (int i = 0; i < N; i++)
  76     CPPUNIT_ASSERT(v1[i] == v2[i]);
  77 }
  78
  79 void
  80 qa_pmt_prims::test_booleans()
  81 {
  82   pmt_t sym = pmt_string_to_symbol("test");
  83   CPPUNIT_ASSERT(pmt_is_bool(PMT_T));
  84   CPPUNIT_ASSERT(pmt_is_bool(PMT_F));
  85   CPPUNIT_ASSERT(!pmt_is_bool(sym));
  86   CPPUNIT_ASSERT_EQUAL(pmt_from_bool(false), PMT_F);
  87   CPPUNIT_ASSERT_EQUAL(pmt_from_bool(true), PMT_T);
  88   CPPUNIT_ASSERT_EQUAL(false, pmt_to_bool(PMT_F));
  89   CPPUNIT_ASSERT_EQUAL(true, pmt_to_bool(PMT_T));
  90   CPPUNIT_ASSERT_THROW(pmt_to_bool(sym), pmt_wrong_type);
  91 }
  92
  93 void
  94 qa_pmt_prims::test_integers()
  95 {
  96   pmt_t p1 = pmt_from_long(1);
  97   pmt_t m1 = pmt_from_long(-1);
  98   CPPUNIT_ASSERT(!pmt_is_integer(PMT_T));
  99   CPPUNIT_ASSERT(pmt_is_integer(p1));
 100   CPPUNIT_ASSERT(pmt_is_integer(m1));
 101   CPPUNIT_ASSERT_THROW(pmt_to_long(PMT_T), pmt_wrong_type);
 102   CPPUNIT_ASSERT_EQUAL(-1L, pmt_to_long(m1));
 103   CPPUNIT_ASSERT_EQUAL(1L, pmt_to_long(p1));
 104 }
 105
 106 void
 107 qa_pmt_prims::test_reals()
 108 {
 109   pmt_t p1 = pmt_from_double(1);
 110   pmt_t m1 = pmt_from_double(-1);
 111   CPPUNIT_ASSERT(!pmt_is_real(PMT_T));
 112   CPPUNIT_ASSERT(pmt_is_real(p1));
 113   CPPUNIT_ASSERT(pmt_is_real(m1));
 114   CPPUNIT_ASSERT_THROW(pmt_to_double(PMT_T), pmt_wrong_type);
 115   CPPUNIT_ASSERT_EQUAL(-1.0, pmt_to_double(m1));
 116   CPPUNIT_ASSERT_EQUAL(1.0, pmt_to_double(p1));
 117   CPPUNIT_ASSERT_EQUAL(1.0, pmt_to_double(pmt_from_long(1)));
 118 }
 119
 120 void
 121 qa_pmt_prims::test_complexes()
 122 {
 123   pmt_t p1 = pmt_make_rectangular(2, -3);
 124   pmt_t m1 = pmt_make_rectangular(-3, 2);
 125   CPPUNIT_ASSERT(!pmt_is_complex(PMT_T));
 126   CPPUNIT_ASSERT(pmt_is_complex(p1));
 127   CPPUNIT_ASSERT(pmt_is_complex(m1));
 128   CPPUNIT_ASSERT_THROW(pmt_to_complex(PMT_T), pmt_wrong_type);
 129   CPPUNIT_ASSERT_EQUAL(std::complex<double>(2, -3), pmt_to_complex(p1));
 130   CPPUNIT_ASSERT_EQUAL(std::complex<double>(-3, 2), pmt_to_complex(m1));
 131   CPPUNIT_ASSERT_EQUAL(std::complex<double>(1.0, 0), pmt_to_complex(pmt_from_long(1)));
 132   CPPUNIT_ASSERT_EQUAL(std::complex<double>(1.0, 0), pmt_to_complex(pmt_from_double(1.0)));
 133 }
 134
 135 void
 136 qa_pmt_prims::test_pairs()
 137 {
 138   CPPUNIT_ASSERT(pmt_is_null(PMT_NIL));
 139   CPPUNIT_ASSERT(!pmt_is_pair(PMT_NIL));
 140   pmt_t s1 = pmt_string_to_symbol("s1");
 141   pmt_t s2 = pmt_string_to_symbol("s2");
 142   pmt_t s3 = pmt_string_to_symbol("s3");
 143
 144
 145   CPPUNIT_ASSERT_EQUAL((size_t)0, pmt_length(PMT_NIL));
 146   CPPUNIT_ASSERT_THROW(pmt_length(s1), pmt_wrong_type);
 147   CPPUNIT_ASSERT_THROW(pmt_length(pmt_from_double(42)), pmt_wrong_type);
 148
 149   pmt_t c1 = pmt_cons(s1, PMT_NIL);
 150   CPPUNIT_ASSERT(pmt_is_pair(c1));
 151   CPPUNIT_ASSERT(!pmt_is_pair(s1));
 152   CPPUNIT_ASSERT_EQUAL(s1, pmt_car(c1));
 153   CPPUNIT_ASSERT_EQUAL(PMT_NIL, pmt_cdr(c1));
 154   CPPUNIT_ASSERT_EQUAL((size_t) 1, pmt_length(c1));
 155
 156   pmt_t c3 = pmt_cons(s3, PMT_NIL);
 157   pmt_t c2 = pmt_cons(s2, c3);
 158   pmt_set_cdr(c1, c2);
 159   CPPUNIT_ASSERT_EQUAL(c2, pmt_cdr(c1));
 160   pmt_set_car(c1, s3);
 161   CPPUNIT_ASSERT_EQUAL(s3, pmt_car(c1));
 162   CPPUNIT_ASSERT_EQUAL((size_t)1, pmt_length(c3));
 163   CPPUNIT_ASSERT_EQUAL((size_t)2, pmt_length(c2));
 164
 165   CPPUNIT_ASSERT_THROW(pmt_cdr(PMT_NIL), pmt_wrong_type);
 166   CPPUNIT_ASSERT_THROW(pmt_car(PMT_NIL), pmt_wrong_type);
 167   CPPUNIT_ASSERT_THROW(pmt_set_car(s1, PMT_NIL), pmt_wrong_type);
 168   CPPUNIT_ASSERT_THROW(pmt_set_cdr(s1, PMT_NIL), pmt_wrong_type);
 169 }
 170
 171 void
 172 qa_pmt_prims::test_vectors()
 173 {
 174   static const size_t N = 3;
 175   pmt_t v1 = pmt_make_vector(N, PMT_NIL);
 176   CPPUNIT_ASSERT_EQUAL(N, pmt_length(v1));
 177   pmt_t s0 = pmt_string_to_symbol("s0");
 178   pmt_t s1 = pmt_string_to_symbol("s1");
 179   pmt_t s2 = pmt_string_to_symbol("s2");
 180
 181   pmt_vector_set(v1, 0, s0);
 182   pmt_vector_set(v1, 1, s1);
 183   pmt_vector_set(v1, 2, s2);
 184
 185   CPPUNIT_ASSERT_EQUAL(s0, pmt_vector_ref(v1, 0));
 186   CPPUNIT_ASSERT_EQUAL(s1, pmt_vector_ref(v1, 1));
 187   CPPUNIT_ASSERT_EQUAL(s2, pmt_vector_ref(v1, 2));
 188
 189   CPPUNIT_ASSERT_THROW(pmt_vector_ref(v1, N), pmt_out_of_range);
 190   CPPUNIT_ASSERT_THROW(pmt_vector_set(v1, N, PMT_NIL), pmt_out_of_range);
 191
 192   pmt_vector_fill(v1, s0);
 193   for (size_t i = 0; i < N; i++)
 194     CPPUNIT_ASSERT_EQUAL(s0, pmt_vector_ref(v1, i));
 195 }
 196
 197 static void
 198 check_tuple(size_t len, const std::vector<pmt_t> &s, pmt_t t)
 199 {
 200   CPPUNIT_ASSERT_EQUAL(true, pmt_is_tuple(t));
 201   CPPUNIT_ASSERT_EQUAL(len, pmt_length(t));
 202
 203   for (size_t i = 0; i < len; i++)
 204     CPPUNIT_ASSERT_EQUAL(s[i], pmt_tuple_ref(t, i));
 205
 206 }
 207
 208 void
 209 qa_pmt_prims::test_tuples()
 210 {
 211   pmt_t v = pmt_make_vector(10, PMT_NIL);
 212   std::vector<pmt_t> s(10);
 213   for (size_t i = 0; i < 10; i++){
 214     std::ostringstream os;
 215     os << "s" << i;
 216     s[i] = pmt_string_to_symbol(os.str());
 217     pmt_vector_set(v, i, s[i]);
 218   }
 219
 220
 221   pmt_t t;
 222
 223   t = pmt_make_tuple();
 224   check_tuple(0, s, t);
 225
 226   t = pmt_make_tuple(s[0]);
 227   check_tuple(1, s, t);
 228
 229   CPPUNIT_ASSERT(pmt_is_vector(v));
 230   CPPUNIT_ASSERT(!pmt_is_tuple(v));
 231   CPPUNIT_ASSERT(pmt_is_tuple(t));
 232   CPPUNIT_ASSERT(!pmt_is_vector(t));
 233
 234   t = pmt_make_tuple(s[0], s[1]);
 235   check_tuple(2, s, t);
 236
 237   t = pmt_make_tuple(s[0], s[1], s[2]);
 238   check_tuple(3, s, t);
 239
 240   t = pmt_make_tuple(s[0], s[1], s[2], s[3]);
 241   check_tuple(4, s, t);
 242
 243   t = pmt_make_tuple(s[0], s[1], s[2], s[3], s[4]);
 244   check_tuple(5, s, t);
 245
 246   t = pmt_make_tuple(s[0], s[1], s[2], s[3], s[4], s[5]);
 247   check_tuple(6, s, t);
 248
 249   t = pmt_make_tuple(s[0], s[1], s[2], s[3], s[4], s[5], s[6]);
 250   check_tuple(7, s, t);
 251
 252   t = pmt_make_tuple(s[0], s[1], s[2], s[3], s[4], s[5], s[6], s[7]);
 253   check_tuple(8, s, t);
 254
 255   t = pmt_make_tuple(s[0], s[1], s[2], s[3], s[4], s[5], s[6], s[7], s[8]);
 256   check_tuple(9, s, t);
 257
 258   t = pmt_make_tuple(s[0], s[1], s[2], s[3], s[4], s[5], s[6], s[7], s[8], s[9]);
 259   check_tuple(10, s, t);
 260
 261   t = pmt_make_tuple(s[0], s[1], s[2]);
 262   CPPUNIT_ASSERT_THROW(pmt_tuple_ref(t, 3), pmt_out_of_range);
 263   CPPUNIT_ASSERT_THROW(pmt_vector_ref(t, 0), pmt_wrong_type);
 264   CPPUNIT_ASSERT_THROW(pmt_tuple_ref(v, 0), pmt_wrong_type);
 265
 266   t = pmt_make_tuple(s[0], s[1], s[2], s[3], s[4], s[5], s[6], s[7], s[8], s[9]);
 267   pmt_t t2 = pmt_to_tuple(v);
 268   CPPUNIT_ASSERT_EQUAL(size_t(10), pmt_length(v));
 269   CPPUNIT_ASSERT(pmt_equal(t, t2));
 270   //std::cout << v << std::endl;
 271   //std::cout << t2 << std::endl;
 272
 273
 274   t = pmt_make_tuple(s[0], s[1], s[2]);
 275   pmt_t list0 = pmt_list3(s[0], s[1], s[2]);
 276   CPPUNIT_ASSERT_EQUAL(size_t(3), pmt_length(list0));
 277   t2 = pmt_to_tuple(list0);
 278   CPPUNIT_ASSERT_EQUAL(size_t(3), pmt_length(t2));
 279   CPPUNIT_ASSERT(pmt_equal(t, t2));
 280 }
 281
 282 void
 283 qa_pmt_prims::test_equivalence()
 284 {
 285   pmt_t s0 = pmt_string_to_symbol("s0");
 286   pmt_t s1 = pmt_string_to_symbol("s1");
 287   pmt_t s2 = pmt_string_to_symbol("s2");
 288   pmt_t list0 = pmt_cons(s0, pmt_cons(s1, pmt_cons(s2, PMT_NIL)));
 289   pmt_t list1 = pmt_cons(s0, pmt_cons(s1, pmt_cons(s2, PMT_NIL)));
 290   pmt_t i0 = pmt_from_long(42);
 291   pmt_t i1 = pmt_from_long(42);
 292   pmt_t r0 = pmt_from_double(42);
 293   pmt_t r1 = pmt_from_double(42);
 294   pmt_t r2 = pmt_from_double(43);
 295
 296   CPPUNIT_ASSERT(pmt_eq(s0, s0));
 297   CPPUNIT_ASSERT(!pmt_eq(s0, s1));
 298   CPPUNIT_ASSERT(pmt_eqv(s0, s0));
 299   CPPUNIT_ASSERT(!pmt_eqv(s0, s1));
 300
 301   CPPUNIT_ASSERT(pmt_eqv(i0, i1));
 302   CPPUNIT_ASSERT(pmt_eqv(r0, r1));
 303   CPPUNIT_ASSERT(!pmt_eqv(r0, r2));
 304   CPPUNIT_ASSERT(!pmt_eqv(i0, r0));
 305
 306   CPPUNIT_ASSERT(!pmt_eq(list0, list1));
 307   CPPUNIT_ASSERT(!pmt_eqv(list0, list1));
 308   CPPUNIT_ASSERT(pmt_equal(list0, list1));
 309
 310   pmt_t v0 = pmt_make_vector(3, s0);
 311   pmt_t v1 = pmt_make_vector(3, s0);
 312   pmt_t v2 = pmt_make_vector(4, s0);
 313   CPPUNIT_ASSERT(!pmt_eqv(v0, v1));
 314   CPPUNIT_ASSERT(pmt_equal(v0, v1));
 315   CPPUNIT_ASSERT(!pmt_equal(v0, v2));
 316
 317   pmt_vector_set(v0, 0, list0);
 318   pmt_vector_set(v0, 1, list0);
 319   pmt_vector_set(v1, 0, list1);
 320   pmt_vector_set(v1, 1, list1);
 321   CPPUNIT_ASSERT(pmt_equal(v0, v1));
 322 }
 323
 324 void
 325 qa_pmt_prims::test_misc()
 326 {
 327   pmt_t k0 = pmt_string_to_symbol("k0");
 328   pmt_t k1 = pmt_string_to_symbol("k1");
 329   pmt_t k2 = pmt_string_to_symbol("k2");
 330   pmt_t k3 = pmt_string_to_symbol("k3");
 331   pmt_t v0 = pmt_string_to_symbol("v0");
 332   pmt_t v1 = pmt_string_to_symbol("v1");
 333   pmt_t v2 = pmt_string_to_symbol("v2");
 334   pmt_t p0 = pmt_cons(k0, v0);
 335   pmt_t p1 = pmt_cons(k1, v1);
 336   pmt_t p2 = pmt_cons(k2, v2);
 337
 338   pmt_t alist = pmt_cons(p0, pmt_cons(p1, pmt_cons(p2, PMT_NIL)));
 339   CPPUNIT_ASSERT(pmt_eq(p1, pmt_assv(k1, alist)));
 340   CPPUNIT_ASSERT(pmt_eq(PMT_F, pmt_assv(k3, alist)));
 341
 342   pmt_t keys = pmt_cons(k0, pmt_cons(k1, pmt_cons(k2, PMT_NIL)));
 343   pmt_t vals = pmt_cons(v0, pmt_cons(v1, pmt_cons(v2, PMT_NIL)));
 344   CPPUNIT_ASSERT(pmt_equal(keys, pmt_map(pmt_car, alist)));
 345   CPPUNIT_ASSERT(pmt_equal(vals, pmt_map(pmt_cdr, alist)));
 346 }
 347
 348 void
 349 qa_pmt_prims::test_dict()
 350 {
 351   pmt_t dict = pmt_make_dict();
 352   CPPUNIT_ASSERT(pmt_is_dict(dict));
 353
 354   pmt_t k0 = pmt_string_to_symbol("k0");
 355   pmt_t k1 = pmt_string_to_symbol("k1");
 356   pmt_t k2 = pmt_string_to_symbol("k2");
 357   pmt_t k3 = pmt_string_to_symbol("k3");
 358   pmt_t v0 = pmt_string_to_symbol("v0");
 359   pmt_t v1 = pmt_string_to_symbol("v1");
 360   pmt_t v2 = pmt_string_to_symbol("v2");
 361   pmt_t v3 = pmt_string_to_symbol("v3");
 362   pmt_t not_found = pmt_cons(PMT_NIL, PMT_NIL);
 363
 364   CPPUNIT_ASSERT(!pmt_dict_has_key(dict, k0));
 365   pmt_dict_set(dict, k0, v0);
 366   CPPUNIT_ASSERT(pmt_dict_has_key(dict, k0));
 367   CPPUNIT_ASSERT(pmt_eqv(pmt_dict_ref(dict, k0, not_found), v0));
 368   CPPUNIT_ASSERT(pmt_eqv(pmt_dict_ref(dict, k1, not_found), not_found));
 369   pmt_dict_set(dict, k1, v1);
 370   pmt_dict_set(dict, k2, v2);
 371   CPPUNIT_ASSERT(pmt_eqv(pmt_dict_ref(dict, k1, not_found), v1));
 372   pmt_dict_set(dict, k1, v3);
 373   CPPUNIT_ASSERT(pmt_eqv(pmt_dict_ref(dict, k1, not_found), v3));
 374
 375   pmt_t keys = pmt_cons(k2, pmt_cons(k1, pmt_cons(k0, PMT_NIL)));
 376   pmt_t vals = pmt_cons(v2, pmt_cons(v3, pmt_cons(v0, PMT_NIL)));
 377   CPPUNIT_ASSERT(pmt_equal(keys, pmt_dict_keys(dict)));
 378   CPPUNIT_ASSERT(pmt_equal(vals, pmt_dict_values(dict)));
 379 }
 380
 381 void
 382 qa_pmt_prims::test_io()
 383 {
 384   pmt_t k0 = pmt_string_to_symbol("k0");
 385   pmt_t k1 = pmt_string_to_symbol("k1");
 386   pmt_t k2 = pmt_string_to_symbol("k2");
 387   pmt_t k3 = pmt_string_to_symbol("k3");
 388
 389   CPPUNIT_ASSERT_EQUAL(std::string("k0"), pmt_write_string(k0));
 390 }
 391
 392 void
 393 qa_pmt_prims::test_lists()
 394 {
 395   pmt_t s0 = pmt_intern("s0");
 396   pmt_t s1 = pmt_intern("s1");
 397   pmt_t s2 = pmt_intern("s2");
 398   pmt_t s3 = pmt_intern("s3");
 399
 400   pmt_t l1 = pmt_list4(s0, s1, s2, s3);
 401   pmt_t l2 = pmt_list3(s0, s1, s2);
 402   pmt_t l3 = pmt_list_add(l2, s3);
 403   CPPUNIT_ASSERT(pmt_equal(l1, l3));
 404 }
 405
 406 // ------------------------------------------------------------------------
 407
 408 // class foo is used in test_any below.
 409 // It can't be declared in the scope of test_any because of template
 410 // namespace problems.
 411
 412 class foo {
 413 public:
 414   double        d_double;
 415   int           d_int;
 416   foo(double d=0, int i=0) : d_double(d), d_int(i) {}
 417 };
 418
 419 bool operator==(const foo &a, const foo &b)
 420 {
 421   return a.d_double == b.d_double && a.d_int == b.d_int;
 422 }
 423
 424 std::ostream& operator<<(std::ostream &os, const foo obj)
 425 {
 426   os << "<foo: " << obj.d_double << ", " << obj.d_int << ">";
 427   return os;
 428 }
 429
 430 void
 431 qa_pmt_prims::test_any()
 432 {
 433   boost::any a0;
 434   boost::any a1;
 435   boost::any a2;
 436
 437   a0 = std::string("Hello!");
 438   a1 = 42;
 439   a2 = foo(3.250, 21);
 440
 441   pmt_t p0 = pmt_make_any(a0);
 442   pmt_t p1 = pmt_make_any(a1);
 443   pmt_t p2 = pmt_make_any(a2);
 444
 445   CPPUNIT_ASSERT_EQUAL(std::string("Hello!"),
 446                        boost::any_cast<std::string>(pmt_any_ref(p0)));
 447
 448   CPPUNIT_ASSERT_EQUAL(42,
 449                        boost::any_cast<int>(pmt_any_ref(p1)));
 450
 451   CPPUNIT_ASSERT_EQUAL(foo(3.250, 21),
 452                        boost::any_cast<foo>(pmt_any_ref(p2)));
 453 }
 454
 455 // ------------------------------------------------------------------------
 456
 457 class qa_pmt_msg_accepter_nop : public gruel::msg_accepter {
 458 public:
 459   qa_pmt_msg_accepter_nop(){};
 460   ~qa_pmt_msg_accepter_nop();
 461   void post(pmt_t){};
 462 };
 463
 464 qa_pmt_msg_accepter_nop::~qa_pmt_msg_accepter_nop(){}
 465
 466 void
 467 qa_pmt_prims::test_msg_accepter()
 468 {
 469   pmt_t sym = pmt_intern("my-symbol");
 470
 471   boost::any a0;
 472   a0 = std::string("Hello!");
 473   pmt_t p0 = pmt_make_any(a0);
 474
 475   gruel::msg_accepter_sptr ma0 = gruel::msg_accepter_sptr(new qa_pmt_msg_accepter_nop());
 476   pmt_t p1 = pmt_make_msg_accepter(ma0);
 477
 478   CPPUNIT_ASSERT_EQUAL(ma0.get(), pmt_msg_accepter_ref(p1).get());
 479
 480   CPPUNIT_ASSERT_THROW(pmt_msg_accepter_ref(sym), pmt_wrong_type);
 481   CPPUNIT_ASSERT_THROW(pmt_msg_accepter_ref(p0),  pmt_wrong_type);
 482 }
 483
 484 // ------------------------------------------------------------------------
 485
 486 void
 487 qa_pmt_prims::test_serialize()
 488 {
 489   std::stringbuf sb;            // fake channel
 490   pmt_t a = pmt_intern("a");
 491   pmt_t b = pmt_intern("b");
 492   pmt_t c = pmt_intern("c");
 493
 494   sb.str("");                   // reset channel to empty
 495
 496   // write stuff to channel
 497
 498   pmt_serialize(PMT_NIL, sb);
 499   pmt_serialize(pmt_intern("foobarvia"), sb);
 500   pmt_serialize(pmt_from_long(123456789), sb);
 501   pmt_serialize(pmt_from_long(-123456789), sb);
 502   pmt_serialize(pmt_cons(PMT_NIL, PMT_NIL), sb);
 503   pmt_serialize(pmt_cons(a, b), sb);
 504   pmt_serialize(pmt_list1(a), sb);
 505   pmt_serialize(pmt_list2(a, b), sb);
 506   pmt_serialize(pmt_list3(a, b, c), sb);
 507   pmt_serialize(pmt_list3(a, pmt_list3(c, b, a), c), sb);
 508   pmt_serialize(PMT_T, sb);
 509   pmt_serialize(PMT_F, sb);
 510
 511   // read it back
 512
 513   CPPUNIT_ASSERT(pmt_equal(pmt_deserialize(sb), PMT_NIL));
 514   CPPUNIT_ASSERT(pmt_equal(pmt_deserialize(sb), pmt_intern("foobarvia")));
 515   CPPUNIT_ASSERT(pmt_equal(pmt_deserialize(sb), pmt_from_long(123456789)));
 516   CPPUNIT_ASSERT(pmt_equal(pmt_deserialize(sb), pmt_from_long(-123456789)));
 517   CPPUNIT_ASSERT(pmt_equal(pmt_deserialize(sb), pmt_cons(PMT_NIL, PMT_NIL)));
 518   CPPUNIT_ASSERT(pmt_equal(pmt_deserialize(sb), pmt_cons(a, b)));
 519   CPPUNIT_ASSERT(pmt_equal(pmt_deserialize(sb), pmt_list1(a)));
 520   CPPUNIT_ASSERT(pmt_equal(pmt_deserialize(sb), pmt_list2(a, b)));
 521   CPPUNIT_ASSERT(pmt_equal(pmt_deserialize(sb), pmt_list3(a, b, c)));
 522   CPPUNIT_ASSERT(pmt_equal(pmt_deserialize(sb), pmt_list3(a, pmt_list3(c, b, a), c)));
 523   CPPUNIT_ASSERT(pmt_equal(pmt_deserialize(sb), PMT_T));
 524   CPPUNIT_ASSERT(pmt_equal(pmt_deserialize(sb), PMT_F));
 525
 526   CPPUNIT_ASSERT(pmt_equal(pmt_deserialize(sb), PMT_EOF));      // last item
 527
 528
 529   // FIXME add tests for real, complex, vector, uniform-vector, dict
 530   // FIXME add tests for malformed input too.
 531
 532 }
 533
 534 void
 535 qa_pmt_prims::test_sets()
 536 {
 537   pmt_t s1 = pmt_intern("s1");
 538   pmt_t s2 = pmt_intern("s2");
 539   pmt_t s3 = pmt_intern("s3");
 540
 541   pmt_t l1 = pmt_list1(s1);
 542   pmt_t l2 = pmt_list2(s2,s3);
 543   pmt_t l3 = pmt_list3(s1,s2,s3);
 544
 545   CPPUNIT_ASSERT(pmt_is_pair(pmt_memq(s1,l1)));
 546   CPPUNIT_ASSERT(pmt_is_false(pmt_memq(s3,l1)));
 547
 548   CPPUNIT_ASSERT(pmt_subsetp(l1,l3));
 549   CPPUNIT_ASSERT(pmt_subsetp(l2,l3));
 550   CPPUNIT_ASSERT(!pmt_subsetp(l1,l2));
 551   CPPUNIT_ASSERT(!pmt_subsetp(l2,l1));
 552   CPPUNIT_ASSERT(!pmt_subsetp(l3,l2));
 553 }
 554