BufferedReader

Object Hierarchy:

Description:

    var reader = BufferedReader.fromFile (new Path ("/tmp/file.txt"));
    string? line;
    while ((line = reader.readLine ()) != null) {
        print ("%s\n", line);
    }
    reader.close ();

Content:

Static methods:

• public static BufferedReader? fromFile (Path path)
  Creates a BufferedReader that reads from a file.
• public static BufferedReader fromString (string s)
  Creates a BufferedReader that reads from a string.

Methods:

• public void close ()
  Closes the underlying stream. After closing, all read operations return null or '\0'.
• public bool hasNext ()
  Returns whether there is at least one more line to read. This performs a look-ahead read; the peeked line is returned by the next call to readLine().
• public string? readAll ()
  Reads the entire remaining stream as a single string.
• public char readChar ()
  Reads a single byte from the stream as a character. Returns the null character (0) at end of stream.
• public string? readLine ()
  Reads a single line from the stream. Returns null at end of stream or if the reader has been closed.

Inherited Members: