class EXAMPLE1
   -- Signal example1
   -- This example shows a signal which carries an integer value.
   -- You may imagine that A is a scrollbar and that you need to be
   -- informed each time the value (position) changes so that you can
   -- correctly redraw it at the new place.

create {ANY}
   make

feature {}
   a: A

   make
      do
         create a.make
         a.value_changed.connect(agent foo(?))
         -- a.value_changed.connect(agent foo); -- syntactically equivalent
         a.set_val(3)
         a.set_val(5)
      end

   foo (i: INTEGER)
      do
         io.put_string(once "New value is ")
         io.put_integer(i)
         io.put_new_line
      end

end -- class EXAMPLE1