% $Id: PositionTest.oz,v 1.1 2012/01/06 17:11:09 leavens Exp $ \insert 'Position.oz' \insert 'TestingNoStop.oz' {StartTesting 'PositionTest $Revision: 1.1 $'} {Test {MakeLongPos pos(f1 1 1) pos(f2 2 2)} '==' pos(f1 1 1 f2 2 2)} {TestString {VirtualString.toString {PositionMsg pos(f1 1 1)}} '==' "File \"f1\", line 1, column 1"} {TestString {VirtualString.toString {PositionMsg pos(f1 1 1 f1 2 2)}} '==' "File \"f1\", line 1, column 1 to line 2, column 2"} {TestString {VirtualString.toString {PositionMsg pos(f1 1 1 f2 2 2)}} '==' "File \"f1\", line 1, column 1 to File \"f2\", line 2, column 2"} {Test {StartingPos {MakeLongPos pos(f3 3 3) pos(f3 4 1)}} '==' pos(f3 3 3)} {Test {EndingPos {MakeLongPos pos(f3 3 3) pos(f3 4 1)}} '==' pos(f3 4 1)} {Test {EndingPos pos(f3 3 3)} '==' pos(f3 3 3)} {DoneTesting}