home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / SmallEiffel 0.3.3 / SmallEiffel 68k / lib_test / aux_rename3a.e < prev    next >
Encoding:
Text File  |  1996-06-13  |  269 b   |  23 lines  |  [TEXT/EDIT]
  1. deferred class AUX_RENAME3A
  2.  
  3. feature
  4.  
  5.    nb_element: INTEGER;
  6.  
  7.    plein: BOOLEAN is
  8.       require
  9.      nb_element > 0
  10.       deferred
  11.       end;
  12.  
  13.    read_nb_element: INTEGER is
  14.       do
  15.      Result := nb_element;
  16.       end;
  17.  
  18. invariant
  19.  
  20.   nb_element >= 0;
  21.  
  22. end -- AUX_RENAME3A
  23.