OutputFileTerminal class

Implements a terminal whose output is to be written to a file in some working directory.

The OutputFileTerminal type exposes the following members:

Constructors

Name	Description
`OutputFileTerminal(working_directory)`	Initializes a new instance of the OutputFileTerminal class

Name	Description
`writer`	Gets the writer for the output terminal.