OutputFileTerminal class
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 |
Properties
| Name | Description |
|---|
file_name | Gets/sets the file name. |
writer | Gets the writer for the output terminal. |
Methods
| Name | Description |
|---|
write_file() | Finalizes the log, e.g., writes it to file. |
See Also