Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: testmap.txt Sprache: Text

Original von: VDM^©

Author: Shin Sahara

This example contains a large collection of test classes that can be
used to test different aspects of VDM++. This makes use of the VDMUnit
test approach.

Language Version: classic
Entry point : new AllT().run()

¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤

Kontakt Drucken
Kontakt sprechenden Kalenders
Eigene Datei ansehen

schauen Sie vor die Tür

Fenster

Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.