home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / SmallEiffel 0.3.3 / SmallEiffel PPC / lib_msg / bad_undefine1.e < prev    next >
Encoding:
Text File  |  1996-06-13  |  644 b   |  37 lines  |  [TEXT/EDIT]
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class BAD_UNDEFINE
  5.    
  6. inherit 
  7.    ANY undefine standard_is_equal
  8.    end;
  9.    
  10. creation {ANY}
  11.    make
  12.    
  13. feature {ANY}
  14.    
  15.    make is
  16.       do
  17.      is_true(standard_is_equal(Current));
  18.       end;
  19.    
  20. feature   
  21.    
  22.    is_true(b: BOOLEAN) is
  23.       do
  24.      cpt := cpt + 1;
  25.      if not b then
  26.         std_output.put_string("BAD_UNDEFINE: ERROR Test # ");
  27.         std_output.put_integer(cpt);
  28.         std_output.put_string("%N");
  29.      else
  30.         -- std_output.put_string("Yes%N");
  31.      end;
  32.       end;
  33.    
  34.    cpt: INTEGER;
  35.    
  36. end -- BAD_UNDEFINE
  37.