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

ConstructorDescription
initCreates new instance.

Properties

PropertyDescription
file_nameGets/sets the file name.
writerGets the writer for the output terminal.

Methods

MethodDescription
write_fileFinalizes the log, e.g., writes it to file.

See Also