protected void SetLineNumbers(LineNumberTable line_numbers) { this.line_numbers = line_numbers; }
protected void SetLineNumbers(LineNumberTable line_numbers) { this.line_numbers = line_numbers; }
protected void SetLineNumbers(LineNumberTable line_numbers) { this.line_numbers = line_numbers; }
protected void SetLineNumbers(LineNumberTable line_numbers) { this.line_numbers = line_numbers; }