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 / aux_rename3b.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  448 b   |  34 lines
  1. class AUX_RENAME3B
  2.  
  3. inherit
  4.    AUX_RENAME3A
  5.       rename
  6.      nb_element as taille
  7.       end
  8.  
  9. creation make
  10.  
  11. feature
  12.  
  13.    make is
  14.       do
  15.      taille := 6;
  16.      if read_nb_element /= taille then
  17.         std_output.put_string("TEST_RENAME3: ERROR Test #1%N");
  18.      end;
  19.      if plein then
  20.         std_output.put_string("TEST_RENAME3: ERROR Test #2%N");
  21.      end;
  22.       end
  23.  
  24.    plein: BOOLEAN is
  25.       do 
  26.      Result := taille = 10;
  27.       end
  28.  
  29. invariant
  30.  
  31.    taille >= 0;
  32.  
  33. end
  34.