public SourceContextAttribute(string file, int startLine, int endLine) { this.file = file; this.startLine = startLine; this.endLine = endLine; }