pop.utilities
Class FileTools

java.lang.Object
  |
  +--pop.utilities.FileTools

public class FileTools

extends java.lang.Object

Some tools for dealing with data files.

Constructor Summary

FileTools()

Method Summary

static void	bad_format() Throws a FileFormatException with a generic message.
static void	bad_format(java.lang.String msg) Throws a FileFormatException with specified message.
static java.io.BufferedReader	open_input_file(java.lang.String filename) Returns BufferedReader object associated with indicated filename.
static java.lang.String	read_a_line(java.io.BufferedReader r) Returns the next record from a BufferedReader object.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FileTools

public FileTools()

Method Detail

open_input_file

public static java.io.BufferedReader open_input_file(java.lang.String filename)

Returns BufferedReader object associated with indicated filename. Note: returns null if problem opening file.

read_a_line

public static java.lang.String read_a_line(java.io.BufferedReader r)

Returns the next record from a BufferedReader object. Note: returns null if there is a problem reading the record.

bad_format

public static void bad_format(java.lang.String msg)

Throws a FileFormatException with specified message.

bad_format

public static void bad_format()

Throws a FileFormatException with a generic message.