class NumberT is subclass of TestDriver functions public tests : () -> seq of TestCasenew NumberT01(), new NumberT02(), new NumberT03()end NumberTclass NumberT01 is subclass of TestCaseoperations protected test: () ==> bool return int ](lambda x:int , y:int & x < y)(-3)(4) = -3 and int ](lambda x:int , y:int & x < y)(4)(-3) = -3 and nat ](lambda x:nat , y:nat & x < y)(2)(10) = 2 and int ](lambda x:int , y:int & x < y)(0)(0) = 0 and real ](lambda x:real , y:real & x < y)(0.001)( -0.001) = 0.001 and real ](lambda x:real , y:real & x < y)(-0.001)( 0.001) = 0.001 and real ](lambda x:real , y:real & x < y)(0.0)(0.0) = 0.0)protected setUp: () ==> ()"NumberT01:\tSummary of integer." ;protected tearDown: () ==> ()return ;end NumberT01class NumberT02 is subclass of TestCaseoperations protected test: () ==> bool return char ]('a' ) = false and int ](-9) = true and nat ](0) = true and nat1 ](1) = true and real ](1.234) = true and rat ](1.234) = true protected setUp: () ==> ()"NumberT02:\tIs computable?" ;protected tearDown: () ==> ()return ;end NumberT02class NumberT03 is subclass of TestCaseoperations protected test: () ==> bool return seq of int ](lambda s1: seq of int , s2 : seq of int & len s1 < len s2)([1,2])([1,2,3]) = [1, 2] and seq of int ](lambda s1: seq of int , s2 : seq of int & len s1 < len s2)([1,2])([1,2,3]) = [1, 2, 3] protected setUp: () ==> ()"NumberT03:\tType is not computable, but..." ;protected tearDown: () ==> ()return ;end NumberT03quality 86%
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
