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_inspect1.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  917 b   |  54 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_INSPECT1
  5.  
  6. creation {ANY}
  7.    make
  8.    
  9. feature {ANY}
  10.    
  11.    u1, u2: INTEGER is unique;
  12.    
  13.    aux_inspect1: AUX_INSPECT1; 
  14.    
  15.    aux_inspect2: AUX_INSPECT2; 
  16.    
  17.    make is
  18.       do
  19.      do_it;
  20.      !!aux_inspect1;
  21.      aux_inspect1.do_it;
  22.      !!aux_inspect2;
  23.      aux_inspect2.do_it;
  24.       end;
  25.    
  26.    do_it is
  27.       local
  28.      i: INTEGER
  29.       do
  30.      i := u1;
  31.      inspect 
  32.         i
  33.      when u1 then
  34.      when u2 then
  35.         std_output.put_string("TEST_INSPECT1: ERROR # 1%N");
  36.      end;
  37.      inspect 
  38.         i
  39.      when u1 then
  40.      when u2 then
  41.         std_output.put_string("TEST_INSPECT1: ERROR # 2%N");
  42.      else
  43.         std_output.put_string("TEST_INSPECT1: ERROR # 3%N");
  44.      end;
  45.      inspect 
  46.         i
  47.      when u2 then
  48.         std_output.put_string("TEST_INSPECT1: ERROR # 4%N");
  49.      else
  50.      end;
  51.       end;
  52.    
  53. end -- class TEST_INSPECT1
  54.