-- This file is  free  software, which  comes  along  with  SmallEiffel. This
-- software  is  distributed  in the hope that it will be useful, but WITHOUT 
-- ANY  WARRANTY;  without  even  the  implied warranty of MERCHANTABILITY or
-- FITNESS  FOR A PARTICULAR PURPOSE. You can modify it as you want, provided
-- this header is kept unaltered, and a notification of the changes is added.
-- You  are  allowed  to  redistribute  it and sell it, alone or as a part of 
-- another product.
--          Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE
--            Dominique COLNET and Suzanne COLLIN - colnet@loria.fr 
--                       http://www.loria.fr/SmallEiffel
--
class LINK[E]
   --
   -- To implement LINKED_COLLECTION[E] (see LINK_LIST[E} and 
   -- LINK2_LIST[E]).
   --

creation {LINKED_COLLECTION}
   make

feature {LINKED_COLLECTION,LINK}
   
   item: E;

   next: like Current;

feature {LINKED_COLLECTION}

   make(i: like item; n: like next) is
      do
	 item := i;
	 next := n;
      ensure
	 item = i;
	 next = n
      end;
   
feature {LINKED_COLLECTION,LINK}

   set_item(i: like item) is
      do
	 item := i;
      ensure
	 item = i
      end;

   set_next(n: like next) is
      do
	 next := n;
      ensure
	 next = n
      end;

   set_all_with(v: like item) is
      local
	 lnk: like Current;
      do
	 from
	    lnk := Current;
	 until
	    lnk = Void
	 loop
	    lnk.set_item(v);
	    lnk := lnk.next;
	 end;
      end;

end -- LINK[E]