UNPKG

@theia/core

Version:

Theia is a cloud & desktop IDE framework implemented in TypeScript.

35 lines 1.67 kB
"use strict"; // ***************************************************************************** // Copyright (C) 2023 STMicroelectronics and others. // // This program and the accompanying materials are made available under the // terms of the Eclipse Public License v. 2.0 which is available at // http://www.eclipse.org/legal/epl-2.0. // // This Source Code may also be made available under the following Secondary // Licenses when the conditions for such availability set forth in the Eclipse // Public License v. 2.0 are satisfied: GNU General Public License, version 2 // with the GNU Classpath Exception which is available at // https://www.gnu.org/software/classpath/license.html. // // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0 // ***************************************************************************** Object.defineProperty(exports, "__esModule", { value: true }); exports.BrowserFrontendIdProvider = exports.FrontendIdProvider = void 0; const tslib_1 = require("tslib"); const inversify_1 = require("inversify"); const uuid_1 = require("../../common/uuid"); exports.FrontendIdProvider = Symbol('FrontendIdProvider'); let BrowserFrontendIdProvider = class BrowserFrontendIdProvider { constructor() { this.id = (0, uuid_1.generateUuid)(); // generate a new id each time we load the application } getId() { return this.id; } }; exports.BrowserFrontendIdProvider = BrowserFrontendIdProvider; exports.BrowserFrontendIdProvider = BrowserFrontendIdProvider = tslib_1.__decorate([ (0, inversify_1.injectable)() ], BrowserFrontendIdProvider); //# sourceMappingURL=frontend-id-provider.js.map