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_integer_ref2.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  408 b   |  26 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. -- From a bug report of Thierry DE CARVALHO
  5. --
  6. class TEST_INTEGER_REF2
  7.    
  8. creation make
  9.    
  10. feature
  11.    
  12.    make is
  13.       local
  14.      a : ANY;
  15.      i : INTEGER_REF;
  16.       do
  17.      !INTEGER_REF!a.make(1);
  18.      i ?= a;
  19.      if i.item /= 1 then
  20.         check
  21.            false
  22.         end;
  23.      end;
  24.       end;
  25. end
  26.