|
class IntegerT is subclass of TestDriver
functions
public tests : () -> seq of TestCase
tests () ==
[ new IntegerT01(), new IntegerT02()
];
end IntegerT
---------------------------------------
class IntegerT01 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
let i = new Integer() in
return
(i.asString(1234567890) = "1234567890" and
i.asString(-1234567890) = "-1234567890" and
i.asStringZ("zzz9")(9900) = "9900" and
i.asStringZ("9")(0) = "0" and
i.asStringZ("z")(0) = " " and
i.asStringZ("z")(9) = "9" and
i.asStringZ("zzz9")(9) = " 9" and
i.asStringZ("0009")(9) = "0009" and
i.asStringZ("-0009")(9) = "0009" and
i.asStringZ("-zzz9")(-9999) = "-9999" and
i.asStringZ("-zzz9")(-9) = "- 9" and
i.asStringZ("zzz9")(-9999) = "9999" and
i.asStringZ("zzz9")(-9) = " 9" and
i.asString(0) = "0" and
i.asChar(0) = "0" and
i.asChar(1) = "1" and
i.asChar(2) = "2" and
i.asChar(3) = "3" and
i.asChar(4) = "4" and
i.asChar(5) = "5" and
i.asChar(6) = "6" and
i.asChar(7) = "7" and
i.asChar(8) = "8" and
i.asChar(9) = "9" and
i.asChar(10) = false
)
;
protected setUp: () ==> ()
setUp() == TestName := "IntegerT01:\tConvert integer to string.";
protected tearDown: () ==> ()
tearDown() == return;
end IntegerT01
---------------------------------------
class IntegerT02 is subclass of TestCase
operations
protected test: () ==> bool
test() ==
let gcd = Integer`GCD(24),
lcm = Integer`LCM(7)
in
return
Sequence`fmap[nat, nat](gcd)([36, 48, 16]) = [12, 24, 8] and
Sequence`fmap[nat, nat](lcm)([3, 4, 5]) = [21, 28, 35]
;
protected setUp: () ==> ()
setUp() == TestName := "IntegerT02:\tGet GCD and LCM.";
protected tearDown: () ==> ()
tearDown() == return;
end IntegerT02
¤ 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.
|
