% $Id: UniqueNamesTest.oz,v 1.3 2012/01/03 15:20:19 leavens Exp $ \insert 'UniqueNames.oz' \insert 'TestingNoStop.oz' %% from the course library {StartTesting 'UniqueNamesTest $Revision: 1.3 $'} local un(uniquename:UniqueName extendname:ExtendName) = {UniqueNames &e} in {Assert {UniqueName} == 'e0'} {Assert {UniqueName} == 'e1'} local E2 = {UniqueName} in {Test E2 '==' 'e2'} {Test {ExtendName E2} '==' 'e2_3'} {Test {ExtendName E2} '==' 'e2_4'} {Test {UniqueName} '==' 'e5'} {Test {ExtendName {UniqueName}} '==' 'e6_7'} {Test {ExtendName {ExtendName {UniqueName}}} '==' 'e8_9_10'} end end {DoneTesting}