public SourceRange( string fileName, SourcePos start, SourcePos end) { this.fileName = fileName; this.start = start; this.end = end; }
public SourceRange( string fileName, SourcePos pos) : this(fileName, pos, pos) { }