public void SetSource(string src)
{
if (src == null) src = "";
src_ = src; srcLen_ = src.Length; pos_ = 0;
errors.lineStarts = new SortedList<int, int>();
errors.lineStarts[0] = 1;
}
public string GetSource() { return src_; }