[ ECLiPSe event built-in|Group Index| Full Index]

cancel_after_event(+Event)

Cancel all pending instances of after event Event.

+Event
Atom

Description

All instances of the pending after event Event is cancelled so that the event will not be triggered. A pending after event is an event which is setup by either event_after/2 or event_after_every/2, and which is waiting to be raised (event_after_every/2 will always be pending as it is raised repeatedly).

Note that the processing of an already raised, but as yet unprocessed event will not be cancelled by this predicate.

Fail Conditions

Fails if Event is not a pending after event.

Resatisfiable

No.

Exceptions

(5) Type error
Event is not an atom.

Examples


   setup :-
      set_event_handler(hi, hi/0),
      event_after_every(hi, 3.2).

   hi :-
      writeln(hi).

   kill :-
      kill_after_event(hi).


See Also

event_after / 2, event_after_every / 2, event / 1, set_event_handler / 2, current_after_event / 1