home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / SmallEiffel 0.3.3 / SmallEiffel 68k / lib_test / test_eval3.e < prev    next >
Encoding:
Text File  |  1996-06-13  |  319 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 TEST_EVAL3
  5.  
  6. creation {ANY}
  7.    make
  8.    
  9. feature {ANY}
  10.    
  11.    make is
  12.       local
  13.      i: INTEGER;
  14.       do
  15.      i := 2;
  16.      i := i + 1;
  17.      check 
  18.         i = 3
  19.      end;
  20.       end;
  21.    
  22. end -- TEST_EVAL3
  23.