products/Sources/formale Sprachen/Java/Threema/app/src/main/res/drawable/     Datei vom 25.3.2026 mit Größe 458 B image not shown  

Quellverzeichnis  stateful-target-builtins.ts   Sprache: JAVA

 

import {
  registerStatefulBindingTargetDriver,
  unregisterStatefulBindingTargetDriver,
} from "./stateful-target-drivers.js";

type AcpStatefulTargetDriverModule = typeof import("./acp-stateful-target-driver.js");

let builtinsRegisteredPromise: Promise<void> | null = null;
let acpDriverModulePromise: Promise<AcpStatefulTargetDriverModule> | undefined;

function loadAcpStatefulTargetDriverModule(): Promise<AcpStatefulTargetDriverModule> {
  acpDriverModulePromise ??= import("./acp-stateful-target-driver.js");
  return acpDriverModulePromise;
}

export function isStatefulTargetBuiltinDriverId(id: string): boolean {
  return id.trim() === "acp";
}

export async function ensureStatefulTargetBuiltinsRegistered(): Promise<void> {
  if (builtinsRegisteredPromise) {
    await builtinsRegisteredPromise;
    return;
  }
  builtinsRegisteredPromise = (async () => {
    const { acpStatefulBindingTargetDriver } = await loadAcpStatefulTargetDriverModule();
    registerStatefulBindingTargetDriver(acpStatefulBindingTargetDriver);
  })();
  try {
    await builtinsRegisteredPromise;
  } catch (error) {
    builtinsRegisteredPromise = null;
    throw error;
  }
}

export async function resetStatefulTargetBuiltinsForTesting(): Promise<void> {
  builtinsRegisteredPromise = null;
  const { acpStatefulBindingTargetDriver } = await loadAcpStatefulTargetDriverModule();
  unregisterStatefulBindingTargetDriver(acpStatefulBindingTargetDriver.id);
}

Messung V0.5 in Prozent
C=66 H=91 G=79

¤ Dauer der Verarbeitung: 0.9 Sekunden  (vorverarbeitet am  2026-10-11) ¤

*Eine klare Vorstellung vom Zielzustand






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.