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_expanded3.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  698 b   |  39 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_EXPANDED3
  5.  
  6. creation {ANY}
  7.    make
  8.    
  9. feature {ANY}
  10.    
  11.    make is
  12.       local
  13.      e1, e2: EXPANDED3;
  14.       do
  15.      is_true(e1.pt.x = 2);
  16.      is_true(e1 /= e2);
  17.      e1.set_pt(e2.pt);
  18.      is_true(e1 = e2);
  19.      
  20.      e2.pt.make(1,1);
  21.      e1.set_pt(e2.pt);
  22.       end;
  23.    
  24.    is_true(b: BOOLEAN) is
  25.       do
  26.      cpt := cpt + 1;
  27.      if not b then
  28.         std_output.put_string("TEST_EXPANDED3: ERROR Test # ");
  29.         std_output.put_integer(cpt);
  30.         std_output.put_string("%N");
  31.      else
  32.         -- std_output.put_string("Yes%N");
  33.      end;
  34.       end;
  35.    
  36.    cpt: INTEGER;
  37.    
  38. end -- TEST_EXPANDED3
  39.