Quellcodebibliothek Statistik Leitseite    (PVS Prover Version 6.0.9©)  

Quellcode-Bibliothek srcdir-resolver.js   Sprache: JAVA

 

/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at https://mozilla.org/MPL/2.0/. */


const path = require("path");
const fs = require("fs");

const PREFIX = "moz-src:///";

exports.interfaceVersion = 2;
exports.resolve = source => {
  if (!source.startsWith(PREFIX)) {
    return { found: false };
  }

  let result = path.resolve(
    __dirname,
    ...source.substring(PREFIX.length).split("/")
  );
  let stats = fs.statSync(result, { throwIfNoEntry: false });
  if (!stats || !stats.isFile()) {
    return { found: false };
  }

  return {
    found: true,
    path: result,
  };
};

Messung V0.5 in Prozent
C=94 H=100 G=96

¤ 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.0.0Bemerkung:  (vorverarbeitet am  2026-09-29) ¤

*Bot Zugriff






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.