Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/primitive/   (Beweissystem des Inria Version 9.1.0©) image not shown  

Quellcodebibliothek ocaml_pwd.ml   Sprache: SML

 
open Arg

let quoted = ref false
let trailing_slash = ref false

let arguments = [
  "-quoted",Set quoted, "Quote path";
  "-trailing-slash",Set trailing_slash, "End the path with a /";
]
let subject = ref None
let set_subject x =
  if !subject <> None then
    failwith "only one path";
  subject := Some x

let () =
  Arg.parse arguments set_subject "Usage:";
  let subject =
    match !subject with
    | None -> failwith "no path given";
    | Some x -> x in
  Sys.chdir subject;
  let dir = Sys.getcwd () in
  let dir = if !trailing_slash then dir ^ "/" else dir in
  let dir = if !quoted then Filename.quote dir else dir in
  Format.printf "%s%!" dir

100%


¤ Dauer der Verarbeitung: 0.8 Sekunden  (vorverarbeitet)  ¤

*Bot Zugriff






Versionsinformation zu Columbo

Bemerkung:

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders