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: testGoodHeartAOO.vdmrt   Sprache: Unknown

class Test11

operations

public Test : () ==> ()
Test () == new World("tests/scenarioGoodHeart.arg",<AOO>).Run()
;
end Test11

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]