void DefineSequencePoints(Collection<SequencePoint> sequence_points)
{
for (int i = 0; i < sequence_points.Count; i++) {
var sequence_point = sequence_points [i];
writer.DefineSequencePoints (
GetDocument (sequence_point.Document),
new [] { sequence_point.Offset },
new [] { sequence_point.StartLine },
new [] { sequence_point.StartColumn },
new [] { sequence_point.EndLine },
new [] { sequence_point.EndColumn });
}
}