@theia/task 1.53.0-next.4 → 1.53.0-next.55

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (60) hide show
  1. package/README.md +193 -193
  2. package/lib/browser/task-schema-updater.js +1 -1
  3. package/package.json +13 -13
  4. package/src/browser/index.ts +22 -22
  5. package/src/browser/process/process-task-contribution.ts +31 -31
  6. package/src/browser/process/process-task-frontend-module.ts +27 -27
  7. package/src/browser/process/process-task-resolver.ts +89 -89
  8. package/src/browser/provided-task-configurations.spec.ts +46 -46
  9. package/src/browser/provided-task-configurations.ts +213 -213
  10. package/src/browser/quick-open-task.ts +831 -831
  11. package/src/browser/style/index.css +19 -19
  12. package/src/browser/task-configuration-manager.ts +256 -256
  13. package/src/browser/task-configuration-model.ts +101 -101
  14. package/src/browser/task-configurations.ts +508 -508
  15. package/src/browser/task-contribution.ts +266 -266
  16. package/src/browser/task-definition-registry.spec.ts +203 -203
  17. package/src/browser/task-definition-registry.ts +131 -131
  18. package/src/browser/task-frontend-contribution.ts +402 -402
  19. package/src/browser/task-frontend-module.ts +86 -86
  20. package/src/browser/task-name-resolver.ts +55 -55
  21. package/src/browser/task-node.ts +37 -37
  22. package/src/browser/task-preferences.ts +40 -40
  23. package/src/browser/task-problem-matcher-registry.ts +308 -308
  24. package/src/browser/task-problem-pattern-registry.ts +196 -196
  25. package/src/browser/task-schema-updater.ts +701 -701
  26. package/src/browser/task-service.ts +1164 -1164
  27. package/src/browser/task-source-resolver.ts +36 -36
  28. package/src/browser/task-templates.ts +168 -168
  29. package/src/browser/task-terminal-widget-manager.ts +224 -224
  30. package/src/browser/tasks-monaco-contribution.ts +27 -27
  31. package/src/common/index.ts +20 -20
  32. package/src/common/problem-matcher-protocol.ts +234 -234
  33. package/src/common/process/task-protocol.ts +97 -97
  34. package/src/common/task-common-module.ts +34 -34
  35. package/src/common/task-protocol.ts +317 -317
  36. package/src/common/task-util.ts +43 -43
  37. package/src/common/task-watcher.ts +78 -78
  38. package/src/node/custom/custom-task-runner-backend-module.ts +37 -37
  39. package/src/node/custom/custom-task-runner-contribution.ts +30 -30
  40. package/src/node/custom/custom-task-runner.ts +60 -60
  41. package/src/node/custom/custom-task.ts +73 -73
  42. package/src/node/index.ts +19 -19
  43. package/src/node/process/process-task-runner-backend-module.ts +37 -37
  44. package/src/node/process/process-task-runner-contribution.ts +31 -31
  45. package/src/node/process/process-task-runner.ts +371 -371
  46. package/src/node/process/process-task.spec.ts +30 -30
  47. package/src/node/process/process-task.ts +144 -144
  48. package/src/node/task-abstract-line-matcher.ts +312 -312
  49. package/src/node/task-backend-application-contribution.ts +36 -36
  50. package/src/node/task-backend-module.ts +57 -57
  51. package/src/node/task-line-matchers.ts +127 -127
  52. package/src/node/task-manager.ts +129 -129
  53. package/src/node/task-problem-collector.spec.ts +338 -338
  54. package/src/node/task-problem-collector.ts +62 -62
  55. package/src/node/task-runner-protocol.ts +33 -33
  56. package/src/node/task-runner.ts +96 -96
  57. package/src/node/task-server.slow-spec.ts +444 -444
  58. package/src/node/task-server.ts +263 -263
  59. package/src/node/task.ts +103 -103
  60. package/src/node/test/task-test-container.ts +63 -63
@@ -1,263 +1,263 @@
1
- // *****************************************************************************
2
- // Copyright (C) 2017 Ericsson and others.
3
- //
4
- // This program and the accompanying materials are made available under the
5
- // terms of the Eclipse Public License v. 2.0 which is available at
6
- // http://www.eclipse.org/legal/epl-2.0.
7
- //
8
- // This Source Code may also be made available under the following Secondary
9
- // Licenses when the conditions for such availability set forth in the Eclipse
10
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- // with the GNU Classpath Exception which is available at
12
- // https://www.gnu.org/software/classpath/license.html.
13
- //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- // *****************************************************************************
16
-
17
- import { inject, injectable, named } from '@theia/core/shared/inversify';
18
- import { Disposable, DisposableCollection, ILogger } from '@theia/core/lib/common/';
19
- import {
20
- TaskClient,
21
- TaskExitedEvent,
22
- TaskInfo,
23
- TaskServer,
24
- TaskConfiguration,
25
- TaskOutputProcessedEvent,
26
- RunTaskOption,
27
- BackgroundTaskEndedEvent
28
- } from '../common';
29
- import { TaskManager } from './task-manager';
30
- import { TaskRunnerRegistry } from './task-runner';
31
- import { Task } from './task';
32
- import { ProcessTask } from './process/process-task';
33
- import { ProblemCollector } from './task-problem-collector';
34
- import { CustomTask } from './custom/custom-task';
35
-
36
- @injectable()
37
- export class TaskServerImpl implements TaskServer, Disposable {
38
-
39
- /** Task clients, to send notifications-to. */
40
- protected clients: TaskClient[] = [];
41
- /** Map of task id and task disposable */
42
- protected readonly toDispose = new Map<number, DisposableCollection>();
43
-
44
- /** Map of task id and task background status. */
45
- // Currently there is only one property ('isActive'), but in the future we may want to store more properties
46
- protected readonly backgroundTaskStatusMap = new Map<number, { 'isActive': boolean }>();
47
-
48
- @inject(ILogger) @named('task')
49
- protected readonly logger: ILogger;
50
-
51
- @inject(TaskManager)
52
- protected readonly taskManager: TaskManager;
53
-
54
- @inject(TaskRunnerRegistry)
55
- protected readonly runnerRegistry: TaskRunnerRegistry;
56
-
57
- /** task context - {task id - problem collector} */
58
- private problemCollectors: Map<string, Map<number, ProblemCollector>> = new Map();
59
-
60
- dispose(): void {
61
- for (const toDispose of this.toDispose.values()) {
62
- toDispose.dispose();
63
- }
64
- this.toDispose.clear();
65
- this.backgroundTaskStatusMap.clear();
66
- }
67
-
68
- protected disposeByTaskId(taskId: number): void {
69
- if (this.toDispose.has(taskId)) {
70
- this.toDispose.get(taskId)!.dispose();
71
- this.toDispose.delete(taskId);
72
- }
73
-
74
- if (this.backgroundTaskStatusMap.has(taskId)) {
75
- this.backgroundTaskStatusMap.delete(taskId);
76
- }
77
- }
78
-
79
- async getTasks(context?: string): Promise<TaskInfo[]> {
80
- const taskInfo: TaskInfo[] = [];
81
- const tasks = this.taskManager.getTasks(context);
82
- if (tasks !== undefined) {
83
- for (const task of tasks) {
84
- taskInfo.push(await task.getRuntimeInfo());
85
- }
86
- }
87
- this.logger.debug(`getTasks(): about to return task information for ${taskInfo.length} tasks`);
88
-
89
- return Promise.resolve(taskInfo);
90
- }
91
-
92
- async run(taskConfiguration: TaskConfiguration, ctx?: string, option?: RunTaskOption): Promise<TaskInfo> {
93
- const runner = this.runnerRegistry.getRunner(taskConfiguration.type, taskConfiguration.taskType);
94
- const task = await runner.run(taskConfiguration, ctx);
95
-
96
- if (!this.toDispose.has(task.id)) {
97
- this.toDispose.set(task.id, new DisposableCollection());
98
- }
99
-
100
- if (taskConfiguration.isBackground && !this.backgroundTaskStatusMap.has(task.id)) {
101
- this.backgroundTaskStatusMap.set(task.id, { 'isActive': false });
102
- }
103
-
104
- this.toDispose.get(task.id)!.push(
105
- task.onExit(event => {
106
- this.taskManager.delete(task);
107
- this.fireTaskExitedEvent(event, task);
108
- this.removedCachedProblemCollector(event.ctx || '', event.taskId);
109
- this.disposeByTaskId(event.taskId);
110
- })
111
- );
112
-
113
- const resolvedMatchers = option && option.customization ? option.customization.problemMatcher || [] : [];
114
- if (resolvedMatchers.length > 0) {
115
- this.toDispose.get(task.id)!.push(
116
- task.onOutput(event => {
117
- let collector: ProblemCollector | undefined = this.getCachedProblemCollector(event.ctx || '', event.taskId);
118
- if (!collector) {
119
- collector = new ProblemCollector(resolvedMatchers);
120
- this.cacheProblemCollector(event.ctx || '', event.taskId, collector);
121
- }
122
-
123
- const problems = collector.processLine(event.line);
124
- if (problems.length > 0) {
125
- this.fireTaskOutputProcessedEvent({
126
- taskId: event.taskId,
127
- config: taskConfiguration,
128
- ctx: event.ctx,
129
- problems
130
- });
131
- }
132
- if (taskConfiguration.isBackground) {
133
- const backgroundTaskStatus = this.backgroundTaskStatusMap.get(event.taskId)!;
134
- if (!backgroundTaskStatus.isActive) {
135
- // Get the 'activeOnStart' value of the problem matcher 'background' property
136
- const activeOnStart = collector.isTaskActiveOnStart();
137
- if (activeOnStart) {
138
- backgroundTaskStatus.isActive = true;
139
- } else {
140
- const isBeginsPatternMatch = collector.matchBeginMatcher(event.line);
141
- if (isBeginsPatternMatch) {
142
- backgroundTaskStatus.isActive = true;
143
- }
144
- }
145
- }
146
-
147
- if (backgroundTaskStatus.isActive) {
148
- const isEndsPatternMatch = collector.matchEndMatcher(event.line);
149
- // Mark ends pattern as matches, only after begins pattern matches
150
- if (isEndsPatternMatch) {
151
- this.fireBackgroundTaskEndedEvent({
152
- taskId: event.taskId,
153
- ctx: event.ctx
154
- });
155
- }
156
- }
157
- }
158
- })
159
- );
160
- }
161
- this.toDispose.get(task.id)!.push(task);
162
-
163
- const taskInfo = await task.getRuntimeInfo();
164
- this.fireTaskCreatedEvent(taskInfo);
165
- return taskInfo;
166
- }
167
-
168
- async getRegisteredTaskTypes(): Promise<string[]> {
169
- return this.runnerRegistry.getRunnerTypes();
170
- }
171
-
172
- async customExecutionComplete(id: number, exitCode: number | undefined): Promise<void> {
173
- const task = this.taskManager.get(id) as CustomTask;
174
- await task.callbackTaskComplete(exitCode);
175
- }
176
-
177
- protected fireTaskExitedEvent(event: TaskExitedEvent, task?: Task): void {
178
- this.logger.debug(log => log('task has exited:', event));
179
-
180
- if (task instanceof ProcessTask) {
181
- this.clients.forEach(client => {
182
- client.onDidEndTaskProcess(event);
183
- });
184
- }
185
-
186
- this.clients.forEach(client => {
187
- client.onTaskExit(event);
188
- });
189
- }
190
-
191
- protected fireTaskCreatedEvent(event: TaskInfo, task?: Task): void {
192
- this.logger.debug(log => log('task created:', event));
193
-
194
- this.clients.forEach(client => {
195
- client.onTaskCreated(event);
196
- });
197
-
198
- if (task && task instanceof ProcessTask) {
199
- this.clients.forEach(client => {
200
- client.onDidStartTaskProcess(event);
201
- });
202
- }
203
- }
204
-
205
- protected fireTaskOutputProcessedEvent(event: TaskOutputProcessedEvent): void {
206
- this.clients.forEach(client => client.onDidProcessTaskOutput(event));
207
- }
208
-
209
- protected fireBackgroundTaskEndedEvent(event: BackgroundTaskEndedEvent): void {
210
- this.clients.forEach(client => client.onBackgroundTaskEnded(event));
211
- }
212
-
213
- /** Kill task for a given id. Rejects if task is not found */
214
- async kill(id: number): Promise<void> {
215
- const taskToKill = this.taskManager.get(id);
216
- if (taskToKill !== undefined) {
217
- this.logger.info(`Killing task id ${id}`);
218
- return taskToKill.kill();
219
- } else {
220
- this.logger.info(`Could not find task to kill, task id ${id}. Already terminated?`);
221
- return Promise.reject(new Error(`Could not find task to kill, task id ${id}. Already terminated?`));
222
- }
223
- }
224
-
225
- /** Adds a client to this server */
226
- setClient(client: TaskClient): void {
227
- this.logger.debug('a client has connected - adding it to the list:');
228
- this.clients.push(client);
229
- }
230
-
231
- /** Removes a client, from this server */
232
- disconnectClient(client: TaskClient): void {
233
- this.logger.debug('a client has disconnected - removed from list:');
234
- const idx = this.clients.indexOf(client);
235
- if (idx > -1) {
236
- this.clients.splice(idx, 1);
237
- }
238
- }
239
-
240
- private getCachedProblemCollector(ctx: string, taskId: number): ProblemCollector | undefined {
241
- if (this.problemCollectors.has(ctx)) {
242
- return this.problemCollectors.get(ctx)!.get(taskId);
243
- }
244
- }
245
-
246
- private cacheProblemCollector(ctx: string, taskId: number, problemCollector: ProblemCollector): void {
247
- if (this.problemCollectors.has(ctx)) {
248
- if (!this.problemCollectors.get(ctx)!.has(taskId)) {
249
- this.problemCollectors.get(ctx)!.set(taskId, problemCollector);
250
- }
251
- } else {
252
- const forNewContext = new Map<number, ProblemCollector>();
253
- forNewContext.set(taskId, problemCollector);
254
- this.problemCollectors.set(ctx, forNewContext);
255
- }
256
- }
257
-
258
- private removedCachedProblemCollector(ctx: string, taskId: number): void {
259
- if (this.problemCollectors.has(ctx) && this.problemCollectors.get(ctx)!.has(taskId)) {
260
- this.problemCollectors.get(ctx)!.delete(taskId);
261
- }
262
- }
263
- }
1
+ // *****************************************************************************
2
+ // Copyright (C) 2017 Ericsson and others.
3
+ //
4
+ // This program and the accompanying materials are made available under the
5
+ // terms of the Eclipse Public License v. 2.0 which is available at
6
+ // http://www.eclipse.org/legal/epl-2.0.
7
+ //
8
+ // This Source Code may also be made available under the following Secondary
9
+ // Licenses when the conditions for such availability set forth in the Eclipse
10
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ // with the GNU Classpath Exception which is available at
12
+ // https://www.gnu.org/software/classpath/license.html.
13
+ //
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ // *****************************************************************************
16
+
17
+ import { inject, injectable, named } from '@theia/core/shared/inversify';
18
+ import { Disposable, DisposableCollection, ILogger } from '@theia/core/lib/common/';
19
+ import {
20
+ TaskClient,
21
+ TaskExitedEvent,
22
+ TaskInfo,
23
+ TaskServer,
24
+ TaskConfiguration,
25
+ TaskOutputProcessedEvent,
26
+ RunTaskOption,
27
+ BackgroundTaskEndedEvent
28
+ } from '../common';
29
+ import { TaskManager } from './task-manager';
30
+ import { TaskRunnerRegistry } from './task-runner';
31
+ import { Task } from './task';
32
+ import { ProcessTask } from './process/process-task';
33
+ import { ProblemCollector } from './task-problem-collector';
34
+ import { CustomTask } from './custom/custom-task';
35
+
36
+ @injectable()
37
+ export class TaskServerImpl implements TaskServer, Disposable {
38
+
39
+ /** Task clients, to send notifications-to. */
40
+ protected clients: TaskClient[] = [];
41
+ /** Map of task id and task disposable */
42
+ protected readonly toDispose = new Map<number, DisposableCollection>();
43
+
44
+ /** Map of task id and task background status. */
45
+ // Currently there is only one property ('isActive'), but in the future we may want to store more properties
46
+ protected readonly backgroundTaskStatusMap = new Map<number, { 'isActive': boolean }>();
47
+
48
+ @inject(ILogger) @named('task')
49
+ protected readonly logger: ILogger;
50
+
51
+ @inject(TaskManager)
52
+ protected readonly taskManager: TaskManager;
53
+
54
+ @inject(TaskRunnerRegistry)
55
+ protected readonly runnerRegistry: TaskRunnerRegistry;
56
+
57
+ /** task context - {task id - problem collector} */
58
+ private problemCollectors: Map<string, Map<number, ProblemCollector>> = new Map();
59
+
60
+ dispose(): void {
61
+ for (const toDispose of this.toDispose.values()) {
62
+ toDispose.dispose();
63
+ }
64
+ this.toDispose.clear();
65
+ this.backgroundTaskStatusMap.clear();
66
+ }
67
+
68
+ protected disposeByTaskId(taskId: number): void {
69
+ if (this.toDispose.has(taskId)) {
70
+ this.toDispose.get(taskId)!.dispose();
71
+ this.toDispose.delete(taskId);
72
+ }
73
+
74
+ if (this.backgroundTaskStatusMap.has(taskId)) {
75
+ this.backgroundTaskStatusMap.delete(taskId);
76
+ }
77
+ }
78
+
79
+ async getTasks(context?: string): Promise<TaskInfo[]> {
80
+ const taskInfo: TaskInfo[] = [];
81
+ const tasks = this.taskManager.getTasks(context);
82
+ if (tasks !== undefined) {
83
+ for (const task of tasks) {
84
+ taskInfo.push(await task.getRuntimeInfo());
85
+ }
86
+ }
87
+ this.logger.debug(`getTasks(): about to return task information for ${taskInfo.length} tasks`);
88
+
89
+ return Promise.resolve(taskInfo);
90
+ }
91
+
92
+ async run(taskConfiguration: TaskConfiguration, ctx?: string, option?: RunTaskOption): Promise<TaskInfo> {
93
+ const runner = this.runnerRegistry.getRunner(taskConfiguration.type, taskConfiguration.taskType);
94
+ const task = await runner.run(taskConfiguration, ctx);
95
+
96
+ if (!this.toDispose.has(task.id)) {
97
+ this.toDispose.set(task.id, new DisposableCollection());
98
+ }
99
+
100
+ if (taskConfiguration.isBackground && !this.backgroundTaskStatusMap.has(task.id)) {
101
+ this.backgroundTaskStatusMap.set(task.id, { 'isActive': false });
102
+ }
103
+
104
+ this.toDispose.get(task.id)!.push(
105
+ task.onExit(event => {
106
+ this.taskManager.delete(task);
107
+ this.fireTaskExitedEvent(event, task);
108
+ this.removedCachedProblemCollector(event.ctx || '', event.taskId);
109
+ this.disposeByTaskId(event.taskId);
110
+ })
111
+ );
112
+
113
+ const resolvedMatchers = option && option.customization ? option.customization.problemMatcher || [] : [];
114
+ if (resolvedMatchers.length > 0) {
115
+ this.toDispose.get(task.id)!.push(
116
+ task.onOutput(event => {
117
+ let collector: ProblemCollector | undefined = this.getCachedProblemCollector(event.ctx || '', event.taskId);
118
+ if (!collector) {
119
+ collector = new ProblemCollector(resolvedMatchers);
120
+ this.cacheProblemCollector(event.ctx || '', event.taskId, collector);
121
+ }
122
+
123
+ const problems = collector.processLine(event.line);
124
+ if (problems.length > 0) {
125
+ this.fireTaskOutputProcessedEvent({
126
+ taskId: event.taskId,
127
+ config: taskConfiguration,
128
+ ctx: event.ctx,
129
+ problems
130
+ });
131
+ }
132
+ if (taskConfiguration.isBackground) {
133
+ const backgroundTaskStatus = this.backgroundTaskStatusMap.get(event.taskId)!;
134
+ if (!backgroundTaskStatus.isActive) {
135
+ // Get the 'activeOnStart' value of the problem matcher 'background' property
136
+ const activeOnStart = collector.isTaskActiveOnStart();
137
+ if (activeOnStart) {
138
+ backgroundTaskStatus.isActive = true;
139
+ } else {
140
+ const isBeginsPatternMatch = collector.matchBeginMatcher(event.line);
141
+ if (isBeginsPatternMatch) {
142
+ backgroundTaskStatus.isActive = true;
143
+ }
144
+ }
145
+ }
146
+
147
+ if (backgroundTaskStatus.isActive) {
148
+ const isEndsPatternMatch = collector.matchEndMatcher(event.line);
149
+ // Mark ends pattern as matches, only after begins pattern matches
150
+ if (isEndsPatternMatch) {
151
+ this.fireBackgroundTaskEndedEvent({
152
+ taskId: event.taskId,
153
+ ctx: event.ctx
154
+ });
155
+ }
156
+ }
157
+ }
158
+ })
159
+ );
160
+ }
161
+ this.toDispose.get(task.id)!.push(task);
162
+
163
+ const taskInfo = await task.getRuntimeInfo();
164
+ this.fireTaskCreatedEvent(taskInfo);
165
+ return taskInfo;
166
+ }
167
+
168
+ async getRegisteredTaskTypes(): Promise<string[]> {
169
+ return this.runnerRegistry.getRunnerTypes();
170
+ }
171
+
172
+ async customExecutionComplete(id: number, exitCode: number | undefined): Promise<void> {
173
+ const task = this.taskManager.get(id) as CustomTask;
174
+ await task.callbackTaskComplete(exitCode);
175
+ }
176
+
177
+ protected fireTaskExitedEvent(event: TaskExitedEvent, task?: Task): void {
178
+ this.logger.debug(log => log('task has exited:', event));
179
+
180
+ if (task instanceof ProcessTask) {
181
+ this.clients.forEach(client => {
182
+ client.onDidEndTaskProcess(event);
183
+ });
184
+ }
185
+
186
+ this.clients.forEach(client => {
187
+ client.onTaskExit(event);
188
+ });
189
+ }
190
+
191
+ protected fireTaskCreatedEvent(event: TaskInfo, task?: Task): void {
192
+ this.logger.debug(log => log('task created:', event));
193
+
194
+ this.clients.forEach(client => {
195
+ client.onTaskCreated(event);
196
+ });
197
+
198
+ if (task && task instanceof ProcessTask) {
199
+ this.clients.forEach(client => {
200
+ client.onDidStartTaskProcess(event);
201
+ });
202
+ }
203
+ }
204
+
205
+ protected fireTaskOutputProcessedEvent(event: TaskOutputProcessedEvent): void {
206
+ this.clients.forEach(client => client.onDidProcessTaskOutput(event));
207
+ }
208
+
209
+ protected fireBackgroundTaskEndedEvent(event: BackgroundTaskEndedEvent): void {
210
+ this.clients.forEach(client => client.onBackgroundTaskEnded(event));
211
+ }
212
+
213
+ /** Kill task for a given id. Rejects if task is not found */
214
+ async kill(id: number): Promise<void> {
215
+ const taskToKill = this.taskManager.get(id);
216
+ if (taskToKill !== undefined) {
217
+ this.logger.info(`Killing task id ${id}`);
218
+ return taskToKill.kill();
219
+ } else {
220
+ this.logger.info(`Could not find task to kill, task id ${id}. Already terminated?`);
221
+ return Promise.reject(new Error(`Could not find task to kill, task id ${id}. Already terminated?`));
222
+ }
223
+ }
224
+
225
+ /** Adds a client to this server */
226
+ setClient(client: TaskClient): void {
227
+ this.logger.debug('a client has connected - adding it to the list:');
228
+ this.clients.push(client);
229
+ }
230
+
231
+ /** Removes a client, from this server */
232
+ disconnectClient(client: TaskClient): void {
233
+ this.logger.debug('a client has disconnected - removed from list:');
234
+ const idx = this.clients.indexOf(client);
235
+ if (idx > -1) {
236
+ this.clients.splice(idx, 1);
237
+ }
238
+ }
239
+
240
+ private getCachedProblemCollector(ctx: string, taskId: number): ProblemCollector | undefined {
241
+ if (this.problemCollectors.has(ctx)) {
242
+ return this.problemCollectors.get(ctx)!.get(taskId);
243
+ }
244
+ }
245
+
246
+ private cacheProblemCollector(ctx: string, taskId: number, problemCollector: ProblemCollector): void {
247
+ if (this.problemCollectors.has(ctx)) {
248
+ if (!this.problemCollectors.get(ctx)!.has(taskId)) {
249
+ this.problemCollectors.get(ctx)!.set(taskId, problemCollector);
250
+ }
251
+ } else {
252
+ const forNewContext = new Map<number, ProblemCollector>();
253
+ forNewContext.set(taskId, problemCollector);
254
+ this.problemCollectors.set(ctx, forNewContext);
255
+ }
256
+ }
257
+
258
+ private removedCachedProblemCollector(ctx: string, taskId: number): void {
259
+ if (this.problemCollectors.has(ctx) && this.problemCollectors.get(ctx)!.has(taskId)) {
260
+ this.problemCollectors.get(ctx)!.delete(taskId);
261
+ }
262
+ }
263
+ }