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 / bug_rename4.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  1014 b   |  48 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_RENAME4
  5.  
  6. creation make
  7.  
  8. feature
  9.  
  10.    make is
  11.       local
  12.      aux_rename4a: AUX_RENAME4A;
  13.      aux_rename4b: AUX_RENAME4B;
  14.      aux_rename4c: AUX_RENAME4C;
  15.       do
  16.      !!aux_rename4c.make;
  17.      aux_rename4a := aux_rename4c;
  18.      aux_rename4b := aux_rename4c;
  19.  
  20.      is_true(aux_rename4a.mema = aux_rename4b.memb);
  21.      is_true(aux_rename4a.mema = aux_rename4c.memc);
  22.  
  23.      is_true(aux_rename4b.memb = aux_rename4a.mema);
  24.      is_true(aux_rename4b.memb = aux_rename4c.memc);
  25.  
  26.      is_true(aux_rename4c.memc = aux_rename4a.mema);
  27.      is_true(aux_rename4c.memc = aux_rename4b.memb);
  28.       end;
  29.  
  30. feature {NONE}
  31.  
  32.    is_true(b: BOOLEAN) is
  33.       do
  34.      cpt := cpt + 1;
  35.      if not b then
  36.         std_output.put_string("TEST_RENAME4: ERROR Test # ");
  37.         std_output.put_integer(cpt);
  38.         std_output.put_string("%N");
  39.      else
  40.         -- std_output.put_string("Yes%N");
  41.      end;
  42.       end;
  43.    
  44.    cpt: INTEGER;
  45.  
  46. end -- TEST_RENAME4
  47.  
  48.