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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
<?php
/**
* Generic timer class. Calls a callback after a specified time has elapsed, or
* periodically with a given interval.
*/
class ExcimerTimer {
/**
* Set the type of time used by this object. May be either EXCIMER_REAL for
* real (wall-clock) time, or EXCIMER_CPU for CPU time. If this function is
* not called, EXCIMER_REAL will be used.
*
* @param int $eventType
*/
public function setEventType( $eventType ) {
}
/**
* Switch to one-shot mode, and set the interval. This will take effect
* when start() is next called.
*
* @param float $interval The interval in seconds
*/
public function setInterval( $interval ) {
}
/**
* Switch to periodic mode, and set the period. This will take effect when
* start() is next called.
*
* @param float $interval The period in seconds.
*/
public function setPeriod( $period ) {
}
/**
* Set the callback function, to be called next time either a one-shot
* or periodic event occurs.
*
* The callback function shall take one parameter: an integer representing
* the number of periods which have elapsed since the callback was last
* called. This may be greater than 1 for two reasons:
*
* - The kernel or C library may fail to respond to the event in time,
* and so may increment an overrun counter.
*
* - The native callback may be called multiple times before the PHP VM
* has the chance to interrupt execution. For example, a long-running
* native function such as a database connect will not be interrupted
* when the timer is triggered.
*
* If the callback is set to null, or if this function has not been called,
* no action is taken when the event occurs.
*
* @param callable|null $callback
*/
public function setCallback( $callback ) {
}
/**
* Start the timer.
*
* If the timer is already running, it will be stopped and restarted,
* respecting any changes to the interval, period or event type.
*/
public function start() {
}
/**
* Stop the timer.
*
* If the timer is not already running, this will have no effect.
*/
public function stop() {
}
/**
* Get the time until the next expiration, in seconds. If this is zero,
* the timer is currently not running.
*
* @return float
*/
public function getTime() {
}
}
|
