home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / SmallEiffel 0.3.3 / SmallEiffel 68k / lib_test / test_platform1.e < prev    next >
Encoding:
Text File  |  1996-06-13  |  947 b   |  40 lines  |  [TEXT/EDIT]
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_PLATFORM1
  5.  
  6. inherit PLATFORM;
  7.  
  8. creation make
  9.    
  10. feature 
  11.    
  12.    make is
  13.       do
  14.      is_true(Boolean_bits >= Character_bits);
  15.      is_true(Boolean_bits = Integer_bits);
  16.      is_true(Double_bits >= Real_bits);
  17.      is_true(Pointer_bits > Character_bits);
  18.      is_true(Maximum_character_code > Minimum_character_code);
  19.      is_true(Maximum_integer > Minimum_integer);
  20.      is_true(Maximum_real > Minimum_real);
  21.      is_true(Maximum_real.to_double > Minimum_double);
  22.      is_true(Maximum_double > Minimum_double);
  23.       end;
  24.    
  25.    is_true(b: BOOLEAN) is
  26.       do
  27.      cpt := cpt + 1;
  28.      if not b then
  29.         std_output.put_string("TEST_PLATFORM1: ERROR Test # ");
  30.         std_output.put_integer(cpt);
  31.         std_output.put_string("%N");
  32.      else
  33.         -- std_output.put_string("Yes%N");
  34.      end;
  35.       end;
  36.    
  37.    cpt: INTEGER;
  38.    
  39. end -- TEST_PLATFORM1
  40.