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_real_constant.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  731 b   |  45 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_REAL_CONSTANT
  5.    --
  6.    -- Olivier ZENDRA Test (Thanks).
  7.    --
  8.    
  9. creation 
  10.    make
  11.  
  12. feature
  13.    make is
  14.       do
  15.      r := 0.7;
  16.      d := 0.7;
  17.      
  18.      is_true(r = 0.7);
  19.      is_true(d = 0.7);
  20.      is_true(d = r);
  21.       ensure
  22.      r_ok: r = 0.7;
  23.      d_ok: d = 0.7;
  24.      r_et_r: d = r;
  25.       end;
  26.  
  27.    r: REAL;
  28.    d: DOUBLE;
  29.    
  30.       is_true(b: BOOLEAN) is
  31.       do
  32.      cpt := cpt + 1;
  33.      if not b then
  34.         std_output.put_string("TEST_REAL: ERROR Test # ");
  35.         std_output.put_integer(cpt);
  36.         std_output.put_string("%N");
  37.      else
  38.         -- std_output.put_string("Yes%N");
  39.      end;
  40.       end;
  41.    
  42.    cpt: INTEGER;
  43.    
  44. end
  45.