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_manifest_array.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  2.3 KB  |  101 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_MANIFEST_ARRAY
  5.  
  6. creation {ANY}
  7.    make
  8.    
  9. feature {ANY}
  10.  
  11.    array_boolean: ARRAY[BOOLEAN];
  12.    array_integer: ARRAY[INTEGER];
  13.    array_animal: ARRAY[ANIMAL];
  14.    array_quadruped: ARRAY[QUADRUPED];
  15.    array_real: ARRAY[REAL];
  16.    array_double: ARRAY[DOUBLE];
  17.    array_any: ARRAY[ANY];
  18.    array_character: ARRAY[CHARACTER];
  19.    
  20.    make is
  21.       local
  22.      cat: CAT;
  23.      dog: DOG;
  24.       do
  25.      array_integer := <<1,2,3>>;
  26.      is_true(array_integer.fast_index_of(2) = 2);
  27.      
  28.      array_boolean := <<true, false>>;
  29.      is_true(1 = array_boolean.index_of(true));
  30.      is_true(1 = array_boolean.fast_index_of(true));
  31.      is_true(2 = array_boolean.index_of(false));
  32.      is_true(2 = array_boolean.fast_index_of(false));
  33.       
  34.      is_true(equal(<<1,2,3>>,<<1,2,3>>));
  35.      
  36.      is_true(equal(<<'a','b','c'>>,<<'a','b','c'>>));
  37.      
  38.      array_character := <<'a','b','c'>>;
  39.      is_true(array_character.item(1) = 'a');
  40.      
  41.      !!array_character.make(1,1);
  42.      array_character.put('z',1);
  43.      is_true(array_character.item(1) = 'z');
  44.      
  45.      
  46.      is_true(equal(<<1.5,2.5,3.>>,<<1.5,2.5,3.>>));
  47.      
  48.      array_integer := <<1>>;
  49.      array_real := <<1.>>;
  50.      is_true(array_real.first = array_integer.last);
  51.       
  52.      !!cat;
  53.      array_any := <<cat,cat>>;
  54.      array_animal := <<cat,cat>>;
  55.      is_true(equal(array_any,array_animal));
  56.      
  57.      array_any.put(Void,1);
  58.      array_animal.put(Void,1);
  59.      is_true(equal(array_any,array_animal));
  60.      array_animal.put(cat,1);
  61.      is_true(not equal(array_any,array_animal));
  62.      
  63.      !!dog;
  64.      array_any.put(dog,1);
  65.      array_animal.put(dog,1);
  66.      is_true(equal(array_any,array_animal));
  67.      
  68.      !!cat;
  69.      !!dog;
  70.      array_any := <<cat,dog>>;
  71.      array_animal := <<cat,dog>>;
  72.      is_true(equal(array_any,array_animal));
  73.      
  74.      array_quadruped := <<cat,dog>>;
  75.      is_true(equal(array_animal,array_quadruped));
  76.      is_true(equal(array_any,array_quadruped));
  77.      
  78.      array_double := <<d1,d2,d3>>;
  79.      is_true(equal(array_double,<<d1,d2,d3>>));
  80.       end;
  81.    
  82.    d1: DOUBLE is 1.5;
  83.    d2: DOUBLE is 1.7;
  84.    d3: DOUBLE is 1.8;
  85.    
  86.    is_true(b: BOOLEAN) is
  87.       do
  88.      cpt := cpt + 1;
  89.      if not b then
  90.         std_output.put_string("TEST_MANIFEST_ARRAY: ERROR Test # ");
  91.         std_output.put_integer(cpt);
  92.         std_output.put_string("%N");
  93.      else
  94. --        std_output.put_string("Yes%N");
  95.      end;
  96.       end;
  97.    
  98.    cpt: INTEGER;
  99.    
  100. end -- TEST_MANIFEST_ARRAY
  101.