% $Id: GenerationTest.oz,v 1.1 2011/04/21 12:52:15 leavens Exp leavens $ % Testing of the Generation ADT % % AUTHOR: Gary T. Leavens \insert 'TestingNoStop.oz' \insert 'Generation.oz' declare AllFilled = {FunToGeneration fun {$ N} 1 end ~100 100} Filled345 = {MakeGeneration [3 4 5]} G579 = {FromString "* * *" 5} {StartTesting 'Generation'} {Test {Low AllFilled} '==' ~100} {Test {High AllFilled} '==' 100} {Test {Low Filled345} '==' 3} {Test {High Filled345} '==' 5} {Test {Low G579} '==' 5} {Test {High G579} '==' 9} {Test {GetContents Filled345 3} '==' 1} {Test {GetContents Filled345 4} '==' 1} {Test {GetContents Filled345 5} '==' 1} {Test {GetContents Filled345 ~999} '==' 0} {Test {GetContents Filled345 2} '==' 0} {Test {GetContents Filled345 6} '==' 0} {Test {GetContents Filled345 999} '==' 0} {TestString {ToString Filled345} '==' "***"} {TestString {ToString {MapNeighborhoods Filled345 fun {$ Left This Right} if This == 1 then 1 else 0 end end}} '==' {ToString Filled345}} {StartTesting done}