private static SourceCoordinate ReadSourceCoord(string lineStr, string colStr)
{
int line;
int col;
if (!Int32.TryParse(lineStr, out line))
{
throw new FormatException("Invalid Line Number: " + lineStr);
}
if (!Int32.TryParse(colStr, out col))
{
throw new FormatException("Invalid Column Number: " + colStr);
}
return new SourceCoordinate(line, col);
}