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_a.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  475 b   |  41 lines
  1. class REQ_A
  2.  
  3. feature {ANY}
  4.    
  5.    est_dans(x: CHARACTER): BOOLEAN is
  6.       do
  7.      Result := bc = x;
  8.       end;
  9.    
  10.    bc: CHARACTER is
  11.       do
  12.      Result := 'a';
  13.       end;
  14.  
  15.    ra is
  16.       require
  17.      bc = 'a';
  18.      est_dans('a');
  19.       do
  20.       end;
  21.    
  22.    rb is
  23.       require
  24.      bc = 'a';
  25.       local
  26.      b: BOOLEAN;
  27.       do
  28.      b := est_dans('a');
  29.       end;
  30.    
  31.    rc is
  32.       require
  33.      4 = 2 + 1;
  34.       local
  35.      b: BOOLEAN;
  36.       do
  37.      b := est_dans('a');
  38.       end;
  39.    
  40. end -- REQ_A
  41.