+
+ private getWorkerSetElementByWorker(worker: Worker): WorkerSetElement {
+ let workerSetElt: WorkerSetElement;
+ for (const workerSetElement of this.workerSet) {
+ if (workerSetElement.worker.threadId === worker.threadId) {
+ workerSetElt = workerSetElement;
+ break;
+ }
+ }
+ return workerSetElt;
+ }