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 / expanded3.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  439 b   |  33 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. expanded class EXPANDED3
  5.    --
  6.    -- For use of test_expanded*.e
  7.    --
  8.  
  9. creation
  10.    make
  11.    
  12. feature {ANY}
  13.    
  14.    pt: POINT;
  15.    
  16.    make is
  17.       do
  18.      !!pt.make(2,2);
  19.       end;
  20.    
  21.    set_pt(p: POINT) is
  22.       do
  23.      pt := p;
  24.       ensure
  25.      pt = p;
  26.       end;
  27.    
  28. invariant
  29.    
  30.    pt.x = pt.y
  31.    
  32. end -- EXPANDED3
  33.