[ Operating System | Reference Manual | Alphabetic Index ]

sleep(+Seconds)

The execution of ECLiPSe is suspended for Seconds number of seconds.
Seconds
Positive number (integer or float).

Description

sleep/1 causes the the suspension of execution of ECLiPSe for Seconds number of seconds.

However, ECLiPSe will respond to interrupts while asleep. On most operating systems, interrupts will terminate the sleep prematurely.

Modes and Determinism

Exceptions

(4) instantiation fault
Seconds is uninstantiated.
(5) type error
Seconds is not an integer or float.

Examples

Success:
      [eclipse]: sleep(0.3).
                           % short sleep
      yes.                 % "yes" appears after 0.3 seconds.

      [eclipse]: sleep(63072000).
                           % long sleep
      yes.                 % "yes" appears after 2 years.



See Also

alarm / 1, pause / 0