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 / test_invariant.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  278 b   |  27 lines
  1. class TEST_INVARIANT
  2.  
  3. creation {ANY}
  4.    make
  5.    
  6. feature {ANY}
  7.    
  8.    i: INTEGER;
  9.    
  10.    make is
  11.       local
  12.      c: like Current;
  13.       do
  14.      c := Current;
  15.      i := 2;
  16.       end;
  17.  
  18. invariant
  19.    
  20.    same_type(Current);
  21.    
  22.    i = 2;
  23.    
  24.    Current = Current;
  25.    
  26. end -- TEST_INVARIANT
  27.