home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / SmallEiffel 0.3.3 / SmallEiffel 68k / lib_test / req_b.e < prev    next >
Encoding:
Text File  |  1996-06-13  |  369 b   |  34 lines  |  [TEXT/EDIT]
  1. class REQ_B
  2.    
  3. inherit 
  4.    REQ_A 
  5.       redefine bc, rb, rc
  6.       end;
  7.    
  8. feature {ANY}
  9.    
  10.    bc: CHARACTER;
  11.    
  12.    set_bc(c: CHARACTER) is
  13.       do
  14.      bc := c;
  15.       end;
  16.    
  17.    rb is
  18.       require else
  19.      bc = 'b';
  20.       do
  21.       end;
  22.    
  23.    rc is
  24.       require else
  25.      4 = 2 + 2;
  26.       local
  27.      b: BOOLEAN;
  28.       do
  29.      b := est_dans('b');
  30.       end;
  31.    
  32.  
  33. end -- REQ_B
  34.