347
return result;
348
}
350
>
getSessionResources(): readonly URI[] {
351
return [...this._sessionOrder];
352
}
354
>
clear(): void {
355
>
this._sessionBuffers.clear();
356
>
this._sessionOrder.length = 0;
357
>
this._seenEventIds.clear();
358
>
this._importedSessions.clear();
359
>
this._importedSessionTitles.clear();
360
>
this._availableSessionResources.length = 0;
361
>
this._availableSessionResourceSet.clear();
362
>
this._historicalSessionTitles.clear();
363
>
}
364
>
365
>
/** Remove all ancillary state for an evicted session. */
366
>
private _evictSession(sessionResource: URI): void {
367
this._sessionBuffers.delete(sessionResource);
368
this._seenEventIds.delete(sessionResource);