FileDocCategorySizeDatePackage
StreamDumpGetter.javaAPI DocExample489Thu May 29 14:06:30 BST 2003com.darwinsys.io

StreamDumpGetter

public class StreamDumpGetter extends Object implements DumpGetter
A DumpGetter that reads from a file.

Fields Summary
private BufferedInputStream
is
Constructors Summary
public StreamDumpGetter(InputStream ois)

		if (ois instanceof BufferedInputStream)
			is = (BufferedInputStream)ois;
		else
			is = new BufferedInputStream(ois);
Methods Summary
public voidclose()

		is.close();
public intget()

		return is.read();