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_rename3a.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  269 b   |  23 lines
  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.