Method getReader

examples/src/main/java/File.java:315–324

Get the LineNumberReader for this file, creating it if necessary. This method ensures that we're not already writing to this file before allowing read access. If no reader exists, it creates one using either the specified file or System.in if no file was specified. @return the LineNumberReader

()

     * @throws FileNotFoundException if the specified file cannot be found or opened
     */
    private LineNumberReader getReader() throws FileNotFoundException {
        if (writer != null) {
            throw Context.reportRuntimeError("already writing file \"" + name + "\"");
        }
        if (reader == null)
            reader =
                    new LineNumberReader(
                            file == null ? new InputStreamReader(System.in) : new FileReader(file));
        return reader;
    }

    /**
     * Perform the common functionality for write and writeLine methods.