Return a new buffered reader on the file with the given name.
Return a new buffered reader on the file with the given name.
The encoding
argument gives the character encoding of the
file (default: UTF-8). Throw java.io.FileNotFoundException
if the file cannot be found.
Return a new writer reader on the file with the given name.
Return a new writer reader on the file with the given name.
The encoding
argument gives the character encoding of the
file (default: UTF-8).
Return a new buffered reader on the given string.
Utility wrapper for I/O to isolate Kiama code from some Java I/O details.