const type: teeFile

File implementation type to write to several destination files at once.

const func file: openTee (in array file: destFiles)

Open a tee file to write to the destination files given in destFiles.

Parameters:

destFiles - Array with destination files.

Returns:

the teeFile opened.

const func file: openTee (in file: destFile1, in file: destFile2)

Open a tee file to write to the destination files destFile1 and destFile2.

Parameters:

destFile1 - First destination file.

destFile2 - Second destination file.

Returns:

the teeFile opened.

const proc: write (inout teeFile: outFile, in string: stri)

Write the string stri to outFile. The characters are forwarded to all destination files.

const proc: writeln (inout teeFile: outFile)

Write end-of-line to outFile. The end-of-line is forwarded to all destination files.

const proc: flush (inout teeFile: outFile)

Forces that all buffered data of outFile is sent to its destination. This causes that all destination files are flushed.