% $Id: TreeFunsTest.oz,v 1.1 2007/10/22 03:38:59 leavens Exp leavens $ \insert 'TestingNoStop.oz' \insert 'TreeFuns.oz' {StartTesting 'Preorder'} {Test {Preorder leaf} '==' nil} {Test {Preorder tree(key: one value: 1 left: leaf right: leaf)} '==' [one#1]} {Test {Preorder tree(key: one value: 1 left: tree(key: two value: 2 left: leaf right: leaf) right: tree(key: three value: 3 left: leaf right: leaf))} '==' [one#1 two#2 three#3]} {StartTesting 'IncTree'} {Test {IncTree leaf} '==' leaf} {Test {IncTree tree(key: one value: 1 left: leaf right: leaf)} '==' tree(key: one value: 2 left: leaf right: leaf)} {Test {IncTree tree(key: one value: 1 left: tree(key: two value: 2 left: leaf right: leaf) right: tree(key: three value: 3 left: leaf right: leaf))} '==' tree(key: one value: 2 left: tree(key: two value: 3 left: leaf right: leaf) right: tree(key: three value: 4 left: leaf right: leaf))}