products/sources/formale sprachen/VDM/VDMPP/CodegenPP/Programs/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: cases2.simple   Sprache: Unknown

Spracherkennung für: .simple vermutete Sprache: BAT {BAT[181] Ada[214] Abap[237]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

function x() ==
 cases 32:
  31 -> 34,
  others -> 42
 end

[ Dauer der Verarbeitung: 0.45 Sekunden  ]