[ Operating System | Reference Manual | Alphabetic Index ]
The operating system will send the signal 14 to the ECLiPSe system Clock
seconds after the command was entered.
Used to send the signal 14 (SIGALRM) to the ECLiPSe system Clock seconds
after the alarm/1 command is entered. If there is already a pending
alarm, its clock is merely reset, i.e. there cannot be multiple alarm
If Clock is 0, any pending alarm is cancelled. If Clock is negative, it
is nevertheless interpreted as an unsigned integer.
Modes and Determinism
- (4) instantiation fault
- Clock is not instantiated.
- (5) type error
- Clock is not an integer.
[eclipse]: Signal 14 % 1 second later
alarm(I). (Error 4).
alarm(2.0). (Error 5).
sleep / 1