products/sources/formale Sprachen/Delphi/Bille 0.71/__history/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Options.dfm.~25~   Sprache: Unknown

\begin{vdm_al}
class CMTest
operations
  public Execute: () ==> ()
  Execute () ==
    (dcl ts : TestSuite := new TestSuite();
     ts.AddTest(new CMTestCase2("Busy"));
     ts.Run())

end CMTest
\end{vdm_al}

\begin{rtinfo}[CMTest`Execute]
{vdm.tc}[CMTest]
\end{rtinfo}

[ Dauer der Verarbeitung: 0.21 Sekunden  (vorverarbeitet)  ]