set_output_file

Description:

public void set_output_file (FileStream file)

Set a file output.

file should be a file object open for writing.

file	An open file.
emitter	An emitter object.