[ Event Handling | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic 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