products/sources/formale sprachen/Java/openjdk-20-36_src/make/data/charsetmapping/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: testSometimesHeartAAT.vdmrt   Sprache: Unknown

class Test21

operations

public Test : () ==> ()
Test () == new World("tests/scenarioSometimesHeart.arg",<AAT>).Run()
;
end Test21

[ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ]