openLine
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.
write
const proc: write (inout lineFile: outFile, in string: stri)
-
Write a string to a lineFile.
writeln
const proc: writeln (inout lineFile: outFile)
-
Write end-of-line to a lineFile.
getln
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.
getc
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.
gets
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.