1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
<assertions>
<assertion id="1" tag="ref:XSH6:46894:46896">
timer_settime() sets the time until the next timer, timerid, expiration to
value.it_value, and, if value != 0, it arms the timer.
</assertion>
<assertion id="2" tag="ref:XSH6:46896:46897">
timer_settime() resets the time until the next timer, timerid, expiration
to value.it_value if the timer was already armed.
</assertion>
<assertion id="3" tag="ref:XSH6:46897:46898">
If value.it_value = 0, the timer is disarmed.
</assertion>
<assertion id="4" tag="ref:XSH6:46900:46902">
If TIMER_ABSTIME is not set in flags,
timer_settime() behaves relatively. That is, it expires exactly
value.it_value nanoseconds from when it was set.
</assertion>
<assertion id="5" tag="ref:XSH6:46903:46908">
If TIMER_ABSTIME is set in flags,
timer_settime() behaves absolutely. That is, it expires when the
current clock time is the value in value.it_value (clock = clock
associated with timerid).
If this time has already passed, the function succeeds, and the
expiration notification is made.
</assertion>
<assertion id="6" tag="ref:XSH6:46909:46911">
If value.it_interval != 0, the timer is periodic, and it is reloaded
according to the interval specified in value.it_interval.
</assertion>
<assertion id="7" tag="ref:XSH6:46912:46914">
If any time values happen to be between resolution multiples, they
are rounded to the larger resolution multiple.
</assertion>
<assertion id="8" tag="ref:XSH6:46915:46917">
If ovalue != NULL, then ovalue will store:
ovalue.it_value =
- 0, if the timer was previously disarmed
- previous amount of time before the timer would have expired, if the
timer was previously armed
ovalue.it_interval =
- 0, if the timer was previously disarmed
- previous timer reload value, if the timer was previously armed
</assertion>
<assertion id="9" tag="ref:XSH6:46918:46918">
Timers are not allowed to expire _before_ their scheduled time.
</assertion>
<assertion id="10" tag="ref:XSH6:46935:46935">
timer_settime() returns 0 on success
</assertion>
<assertion id="11" tag="ref:XSH6:46936:46936">
timer_settime() returns -1 on failure
</assertion>
<assertion id="12" tag="ref:XSH6TC2:46940:46941">
if timerid doesn't = a timer ID created via timer_create() and not yet
deleted by timer_delete(), timer_settime() may set errno=EINVAL
</assertion>
<assertion id="13" tag="ref:XSH6:46943:46945">
timer_settime() sets errno=EINVAL if value.*.tv_nsec below 0 or above
(or equal to) 1,000 million _and_ (value.it_value.it_sec != 0 and
value.it_value.it_nsec != 0 -- i.e., disabled)
</assertion>
</assertions>
|
