public override string ToString() { return string.Format("{0},{1},{2},{3}", OriginalStartPosition, OriginalEndPosition, MappingStartPosition, MappingEndPosition); } }