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

current_after_event(+Event)

Check if Event is a currently pending after event.

+Event
Atom

Description

Succeeds if Event is a currently pending after event, i.e. 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).

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).

   check_if_current :-
      current_after_event(hi).


See Also

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