class ProductT issubclassof TestDriver functions public tests : () -> seqof TestCase
tests() ==
[ new ProductT01()
]; end ProductT ----------------------------------------------------------
class ProductT01 issubclassof TestCase operations protected test: () ==> bool
test() == let lt = String`LT,
lt2 = lambda x : int, y : int & x < y in return
Product`Curry[seqofchar, seqofchar, bool](lt)("abc")("abcd") and
Product`Curry[seqofchar, seqofchar, bool](lt)("abcde")("abcd") = falseand
Product`Curry[int, int, bool](lt2)(3)(4) and
Product`Uncurry[seqofchar, seqofchar, bool](String`LT2)("abc", "abcd") and
Product`Uncurry[seqofchar, seqofchar, bool](String`LT2)("abcde", "abcd") = falseand
Product`Uncurry[seqofchar, seqofchar, bool](String`LE2)("3", "4")
; protected setUp: () ==> ()
setUp() == TestName := "ProductT01:\t Test of curry function."; protected tearDown: () ==> ()
tearDown() == return; end ProductT01
¤ 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.10Bemerkung:
(vorverarbeitet)
¤
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.