home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / SmallEiffel 0.3.3 / SmallEiffel 68k / lib_test / aux_rename2.e < prev    next >
Encoding:
Text File  |  1996-06-13  |  403 b   |  23 lines  |  [TEXT/EDIT]
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class AUX_RENAME2
  5.    
  6. inherit 
  7.    TEST_RENAME2
  8.       rename foo as super_foo
  9.       end;
  10.    
  11. feature {ANY}
  12.    
  13.    foo(x: like Current): like Current is
  14.       require
  15.      req_foo;
  16.       do
  17.      Result := x.super_foo(Current);
  18.       ensure
  19.      ens_foo;
  20.       end;
  21.    
  22. end -- AUX_RENAME2
  23.