get_source_file


Description:

public unowned SourceFile? get_source_file (string filename)

Returns the source file for a given path.

Parameters:

filename

a path to a source file

Returns:

the source file if found