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. invariant priority /= Minimum_integer; end of EVENT_CATCHER