Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/BuslinesPP/   (Vienna Development Method ©)  Datei vom 13.4.2020 mit Größe 985 B image not shown  

SSL control-ui-http-utils.ts

  Sprache: JAVA
 

import type { ServerResponse } from "node:http";

export function isReadHttpMethod(method: string | undefined): boolean {
  return method === "GET" || method === "HEAD";
}

export function respondPlainText(res: ServerResponse, statusCode: number, body: string)void {
  res.statusCode = statusCode;
  res.setHeader("Content-Type""text/plain; charset=utf-8");
  res.end(body);
}

export function respondNotFound(res: ServerResponse): void {
  respondPlainText(res, 404"Not Found");
}

Messung V0.5 in Prozent
C=99 H=97 G=97

¤ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet am  2026-06-10) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Dauer der Verarbeitung:

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.