|
--$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.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
