[ Obsolete | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

get_timer(+Timer, -Interval)

Succeed if the specified Timer is running and sends signals in intervals of Interval seconds.
Timer
One of the atoms real, virtual or profile.
Interval
A variable or a float number.

This built-in predicate is obsolete!

Description

Used to examine the states of the 3 system interval timers. When the specified timer is switched off, the predicate fails. Otherwise, the Interval argument is unified with a float number indicating the timer interval in seconds. The names of the timers are real, virtual and profile.

Modes and Determinism

Fail Conditions

Fails if the timer is not running

Exceptions

(4) instantiation fault
Timer is not instantiated.
(5) type error
Timer is not an atom.
(6) out of range
Timer is an atom not naming a timer.
(5) type error
Interval neither a variable nor a float number.

Examples

[eclipse 1]: set_timer(virtual, 9), get_timer(virtual, I).

I = 9.0
yes.
[eclipse 2]: set_timer(virtual, 0), get_timer(virtual, I).

no (more) solution.



See Also

event_after / 2, event_after_every / 2, alarm / 1, current_interrupt / 2, sleep / 1, set_interrupt_handler / 2, set_timer / 2