products/sources/formale Sprachen/Coq/theories/Sets image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: WaitNotify.vdmpp   Sprache: VDM

Untersuchung VDM©

--$Id: TestLogger.vpp,v 1.2 2006/04/04 07:03:05 vdmtools Exp $
class TestLogger
--テストのログを管理する

values

hisotoryFileName = "VDMTESTLOG.TXT"

functions

public Succeeded: TestCase -> bool
Succeeded(t) == 
 let Message = t.getTestName()^"\t OK.\n",
  - = new IO().fecho(hisotoryFileName, Message, <append>) ,
  - = new IO().echo(Message)  in
 true;

public Failed: TestCase -> bool
Failed(t) == 
 let Message = t.getTestName()^"\t NG.\n",
  - = new IO().fecho(hisotoryFileName, Message, <append>),
  - = new IO().echo( Message)  in
 false;

public succeededInAllTestcases : seq of char -> bool
succeededInAllTestcases(m) ==
 let Message = m ^ "\t OK!!\n",
  - = new IO().fecho(hisotoryFileName, Message, <append>),
  - = new IO().echo( Message)
 in
 true;
 
public notSucceededInAllTestcases :  seq of char -> bool
notSucceededInAllTestcases(m) ==
 let Message = m ^ "\t NG!!\n",
  - = new IO().fecho(hisotoryFileName,  Message, <append>),
  - = new IO().echo( Message)
 in
 false;

end TestLogger

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.76Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤





Druckansicht
unsichere Verbindung
Druckansicht
Hier finden Sie eine Liste der Produkte des Unternehmens

Eigene Datei ansehen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff