Method #resolveBackendId

packages/computer/src/workspace.ts:746–757

(id: string | undefined)

  // workspace; throws on an unknown id. Omitted ids fall through
  // to the first backend in the list (the default).
  #resolveBackendId(id: string | undefined): string | undefined {
    if (this.#registeredBackendIds.size === 0) return undefined;
    const target = id ?? this.#defaultBackendId;
    if (target === undefined) return undefined;
    if (!this.#registeredBackendIds.has(target)) {
      throw new Error(
        `Workspace: no backend with id ${JSON.stringify(target)}. ` +
          `Configured backends: ${[...this.#registeredBackendIds].map((key) => JSON.stringify(key)).join(", ") || "<none>"}.`,
      );
    }
    return target;
  }

  #resolveCommandBackendId(id: string | undefined): string | undefined {
    const target = id ?? this.#defaultCommandBackendId;