Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: environment.vdmpp Sprache: VDM

Original von: VDM^©

\subsection{FTestLogger}
テストのログを管理する関数を提供する。

\begin{vdm_al}
--$Id: TestLogger.vpp,v 1.1 2005/10/31 02:09:59 vdmtools Exp $
class FTestLogger
values
historyFileName =  "VDMTESTLOG.TXT";

functions
\end{vdm_al}

Successは、成功メッセージをファイルに追加し、標準出力に表示し、trueを返す。
\begin{vdm_al}
static public Success: FTestDriver`TestCase +> bool
Success(t) ==
let message =
   FTestDriver`GetTestName(t)^"\tOK.\n",
  - = Fprint( message),
  - = Print(message)
in
true;
\end{vdm_al}

Failureは、失敗メッセージをファイルに追加し、標準出力に表示し、falseを返す。
\begin{vdm_al}
static public Failure: FTestDriver`TestCase +> bool
Failure(t) ==
let message = FTestDriver`GetTestName(t)^"\tNG.\n",
  - = Fprint( message),
  - = Print( message)
in
false;
\end{vdm_al}

SuccessAllは、全体成功メッセージをファイルに追加し、標準出力に表示し、trueを返す。
\begin{vdm_al}
static public SuccessAll : seq of char +> bool
SuccessAll(m) ==
let message = m ^ "\tOK!!\n",
  - = Fprint(message),
  - = Print( message)
in
true;
\end{vdm_al}

FailureAllは、全体失敗メッセージをファイルに追加し、標準出力に表示し、falseを返す。
\begin{vdm_al}
static public FailureAll :  seq of char +> bool
FailureAll(m) ==
let message = m ^ "\tNG!!\n",
  - = Fprint( message),
  - = Print( message)
in
false;
\end{vdm_al}

Printは、標準出力に文字列を表示する。

\begin{vdm_al}
static public Print : seq of char -> bool
Print (s) == new IO().echo(s);
\end{vdm_al}

Fprintは、現在ディレクトリの
historyFileNameで示されるファイルに文字列を表示する。

\begin{vdm_al}
static public Fprint : seq of char -> bool
Fprint (s) == new IO().fecho(historyFileName,  s, <append>);

operations
\end{vdm_al}

Prは、標準出力に文字列を表示するが、返値がない。

\begin{vdm_al}
static public Pr : seq of char ==> ()
Pr (s) == let - = new IO().echo(s) in skip;
\end{vdm_al}

Fprは、現在ディレクトリの
historyFileNameで示されるファイルに文字列を表示するが、返値がない。

\begin{vdm_al}
static public Fpr : seq of char ==> ()
Fpr (s) == let - = new IO().fecho(historyFileName,  s, <append>) in skip;

end FTestLogger
\end{vdm_al}

\begin{rtinfo}
[FTestLogger]{vdm.tc}[FTestLogger]
\end{rtinfo}

¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
Eigene Datei ansehen

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.