[ Obsolete | 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

get_timer(+, -) is semidet

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.