import krati.retention.Position;
public class TestSimplePosition extends TestCase {
public void testStringSerialization() {
Position p1 = new SimplePosition(10, 5, 3, new Clock(11,17,23));
Position p2 = new SimplePosition(10, 5, 3, new Clock(11,17,23));
Position p3 = new SimplePosition(2, 4, 6, new Clock(8,10,12));
assertEquals(p1, p2);
assertFalse(p1.equals(p3));
}