set_input_file


Description:

public void set_input_file (FileStream file)

Set a file input.

file should be a file object open for reading. The application is responsible for closing the file.

Parameters:

file

An open file.