add_source_file


Description:

public void add_source_file (SourceFile file)

Adds the specified file to the list of source files.

Parameters:

file

a source file