Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Tools/VSCode/extension/src/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 478 B image not shown  

Quelle  platform.ts   Sprache: unbekannt

 
/*  Author:     Makarius

System platform identification (see Pure/System/platform.scala).
*/

'use strict';

import * as os from 'os'


/* platform family */

export function is_windows(): boolean
{
  return os.type().startsWith("Windows")
}

export function is_linux(): boolean
{
  return os.type().startsWith("Linux")
}

export function is_macos(): boolean
{
  return os.type().startsWith("Darwin")
}

export function is_unix(): boolean
{
  return is_linux() || is_macos()
}

[ Dauer der Verarbeitung: 0.4 Sekunden  (vorverarbeitet)  ]