get_source_line


Description:

public string? get_source_line (int lineno)

Returns the requested line from this file, loading it if needed.

Parameters:

lineno

1-based line number

Returns:

the specified source line