Quellcode-Bibliothek IllegalCard.vdmpp Sprache: VDM

\section{The IllegalCard Testing Class}

\begin{vdm_al}
class IllegalCard is subclass of Event

instance variables

  mycard   : Card`CardId;

operations

  public Init : Card`CardId ==> IllegalCard
  Init(c) ==
    (mycard := c;
     return self);

  public execute : System ==> Test`TestResult
  execute(sys) ==
    (sys.GetResource().AddIllegalCard(mycard);
     return true);

end IllegalCard
\end{vdm_al}

Messung V0.5

¤ 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.0.11Bemerkung: (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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 und die Messung sind noch experimentell.