const type: lineFile

File implementation type which reads baseFile linewise.

const func file: openLine (in file: aFile)

Open a lineFile to filter aFile linewise. Until a line is finished with '\n' or EOF the characters in the line can be corrected with backspace ('\b').

Returns:

the file opened.

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

Write a string to a lineFile.

const proc: writeln (inout lineFile: outFile)

Write end-of-line to a lineFile.

const func string: getln (inout lineFile: inFile)

Read a line from a lineFile. The function accepts lines ending with "\n" or EOF. The line ending characters are not copied into the string. When the function is left the lineFile.bufferChar contains '\n' or EOF.

Returns:

the line read.

const func char: getc (inout lineFile: inFile)

Read a character from a lineFile.

Returns:

the character read, or EOF at the end of the file.

const func string: gets (inout lineFile: inFile, in integer: maxLength)

Read a string with a maximum length from a lineFile.

Returns:

the string read.

Raises:

RANGE_ERROR - The parameter maxLength is negative.