Celestin Apprentice 5/Apprentice-Release5.iso/Environments/SmallEiffel 0.3.3/SmallEiffel 68k/lib_test/expanded2.e

Text File | 1996-06-13 | 398 b | 29 lines | [TEXT/EDIT]

-- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C)
-- Dominique COLNET and Suzanne COLLIN -- [e-mail]
--
expanded class EXPANDED2
   --
   -- For use of test_expanded*.e
   --

creation
   make

feature {ANY}

   x: INTEGER;

   make is
      do
     x := 2;
      end;

   set_x(v: INTEGER) is
      do
     x := v;
      ensure
     x = v;
      end;

end -- EXPANDED2