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 / req_b.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  369 b   |  34 lines
  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.