public void AddSequencePoint (int offset, int line, int col, int endLine, int endCol)
{
SequencePoint s = new SequencePoint ();
s.Offset = offset;
s.Line = line;
s.Col = col;
s.EndLine = endLine;
s.EndCol = endCol;
if (points == null) {
points = new SequencePoint [arrayGrow];
} else if (count >= points.Length) {
SequencePoint[] temp = new SequencePoint [count + arrayGrow];
Array.Copy (points, temp, points.Length);
points = temp;
}
points [count] = s;
count++;
}
