| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMPP/SSlibE2PP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 1016 B |
|
Quelle TestLogger.vdmpp Sprache: 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 ¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28