public SourceRange(int start_line, int end_line, int start_col, int end_col) { this.StartLine = start_line; this.EndLine = end_line; this.StartColumn = start_col; this.EndColumn = end_col; }