SSL ProductT.vdmpp Sprache: VDM

class ProductT is subclass of TestDriver
functions
public tests : () -> seq of TestCase
tests() ==
[
new ProductT01()
];
end ProductT
----------------------------------------------------------

class ProductT01 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
let lt = String`LT,
  lt2 = lambda x : int, y : int & x < y
in
return
  Product`Curry[seq of char, seq of char, bool](lt)("abc")("abcd") and
  Product`Curry[seq of char, seq of char, bool](lt)("abcde")("abcd") = false and
  Product`Curry[int, int, bool](lt2)(3)(4) and
  Product`Uncurry[seq of char, seq of char, bool](String`LT2)("abc", "abcd") and
  Product`Uncurry[seq of char, seq of char, bool](String`LT2)("abcde", "abcd") = false and
  Product`Uncurry[seq of char, seq of char, bool](String`LE2)("3", "4")
;
protected setUp: () ==> ()
setUp() == TestName := "ProductT01:\t Test of curry function.";
protected tearDown: () ==> ()
tearDown() == return;
end ProductT01

quality94%

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

*Bot Zugriff

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 ist noch experimentell.