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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
//
// Copyright (c) ZeroC, Inc. All rights reserved.
//
const Ice = require("../Ice/ModuleRegistry").Ice;
Ice._ModuleRegistry.require(module, ["../Ice/LocalException", "../Ice/TimerUtil"]);
const CommunicatorDestroyedException = Ice.CommunicatorDestroyedException;
class Timer
{
constructor(logger)
{
this._logger = logger;
this._destroyed = false;
this._tokenId = 0;
this._tokens = new Map();
}
destroy()
{
this._tokens.forEach((value, key) => this.cancel(key));
this._destroyed = true;
this._tokens.clear();
}
schedule(callback, delay)
{
if(this._destroyed)
{
throw new CommunicatorDestroyedException();
}
const token = this._tokenId++;
const id = Timer.setTimeout(() => this.handleTimeout(token), delay);
this._tokens.set(token, {callback: callback, id: id, isInterval: false});
return token;
}
scheduleRepeated(callback, period)
{
if(this._destroyed)
{
throw new CommunicatorDestroyedException();
}
const token = this._tokenId++;
const id = Timer.setInterval(() => this.handleInterval(token), period);
this._tokens.set(token, {callback: callback, id: id, isInterval: true});
return token;
}
cancel(id)
{
if(this._destroyed)
{
return false;
}
const token = this._tokens.get(id);
if(token === undefined)
{
return false;
}
this._tokens.delete(id);
if(token.isInterval)
{
Timer.clearInterval(token.id);
}
else
{
Timer.clearTimeout(token.id);
}
return true;
}
handleTimeout(id)
{
if(this._destroyed)
{
return;
}
const token = this._tokens.get(id);
if(token !== undefined)
{
this._tokens.delete(id);
try
{
token.callback();
}
catch(ex)
{
this._logger.warning("uncaught exception while executing timer:\n" + ex);
}
}
}
handleInterval(id)
{
if(this._destroyed)
{
return;
}
const token = this._tokens.get(id);
if(token !== undefined)
{
try
{
token.callback();
}
catch(ex)
{
this._logger.warning("uncaught exception while executing timer:\n" + ex);
}
}
}
}
Timer.setTimeout = Ice.Timer.setTimeout;
Timer.clearTimeout = Ice.Timer.clearTimeout;
Timer.setInterval = Ice.Timer.setInterval;
Timer.clearInterval = Ice.Timer.clearInterval;
Timer.setImmediate = Ice.Timer.setImmediate;
Ice.Timer = Timer;
module.exports.Ice = Ice;
|
