public SourceLocation(SourceLocation Begin,SourceLocation End) { fileName = Begin.FileName; beginPosition = Begin.beginPosition; endPosition = End.EndPosition; }
public SourceLocation(string FileName, int BeginLine, int BeginColumn, int EndLine, int EndColumn) { fileName = FileName; beginPosition = new TextPosition(BeginLine, BeginColumn); endPosition = new TextPosition(EndLine, EndColumn); }