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
129
130
131
132
133
|
// **********************************************************************
//
// Copyright (c) 2003-2017 ZeroC, Inc. All rights reserved.
//
// This copy of Ice is licensed to you under the terms described in the
// ICE_LICENSE file included in this distribution.
//
// **********************************************************************
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;
|
