home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / lib_test / test_unique.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  1.3 KB  |  74 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_UNIQUE
  5.    
  6. creation {ANY}
  7.    make
  8.    
  9. feature {ANY}
  10.    
  11.    u5, u6, u7: INTEGER is unique;
  12.    
  13.    u1: INTEGER is unique;
  14.    
  15.    u2: INTEGER is unique;
  16.    
  17.    u3, u4: INTEGER is unique;
  18.    
  19.    make is
  20.       local
  21.      aux_unique1: AUX_UNIQUE1;
  22.       do
  23.      do_it;
  24.      !!aux_unique1;
  25.      aux_unique1.do_it;
  26.      is_true(aux_unique1.u1 = u1);
  27.      is_true(aux_unique1.u2 = u2);
  28.      is_true(aux_unique1.u3 = u3);
  29.      is_true(aux_unique1.u4 = u4);
  30.       end;
  31.    
  32.    do_it is
  33.       do
  34.      is_true(u1 > 0);
  35.      is_true(u1 /= u2);
  36.      is_true(u1 /= u3);
  37.      is_true(u1 /= u4);
  38.      
  39.      is_true(u2 > 0);
  40.      is_true(u2 /= u1);
  41.      is_true(u2 /= u3);
  42.      is_true(u2 /= u4);
  43.      
  44.      is_true(u3 > 0);
  45.      is_true(u3 /= u1);
  46.      is_true(u3 /= u2);
  47.      is_true(u3 /= u4);
  48.      
  49.      is_true(u4 > 0);
  50.      is_true(u4 /= u1);
  51.      is_true(u4 /= u2);
  52.      is_true(u4 /= u3);
  53.      
  54.      is_true(u4 = u3 + 1);
  55.       
  56.      is_true(u7 = u5 + 2);
  57.       end;
  58.  
  59.    is_true(b: BOOLEAN) is
  60.       do
  61.      cpt := cpt + 1;
  62.      if not b then
  63.         std_output.put_string("TEST_UNIQUE: ERROR Test # ");
  64.         std_output.put_integer(cpt);
  65.         std_output.put_string("%N");
  66.      else
  67.         --std_output.put_string("Yes%N");
  68.      end;
  69.       end;
  70.    
  71.    cpt: INTEGER;
  72.    
  73. end -- TEST_UNIQUE
  74.