ANY EVENT_CATCHER LOOP_ITEM LOOP_STACK NONE VISION
class interface EVENT_CATCHER
   -- EVENT_CATCHER is the JOB that handle graphic interface
   -- relative events. The event_catcher wait for such events and
   -- emit signal relative to this event. Previously registred
   -- procedure (via vision.*_connect) are executed.
   --
   -- For more information about JOB, see lib/sequencer and
   -- tutorial/sequencer directories.

feature(s) from EVENT_CATCHER
   break


invariant

    priority /= Minimum_integer;

end of EVENT_CATCHER