File	Doc	Category	Size	Date	Package
Pager.java	API Doc	Glassfish v2 API	3956	Fri May 04 22:25:22 BST 2007	com.sun.enterprise.cli.framework

Pager

• java.lang.Object

Fields Summary
private BufferedReader	in
private BufferedWriter	out
private int	pageLength
private String	line

Constructors Summary

Pager(int lines, Reader in, Writer out) Construct an object which will copy one pages worth of lines at a time from the input to the the output. No attempt is made under any circumstances to close the input or output. param lines the number of lines in a page. A number less than 0 means copy all the input to the output. param in the source of the copy operation param out the destination of the copy operation throws IOException if there's a problem reading from, or writing to, the source or destination this.in = new BufferedReader(in); this.out = new BufferedWriter(out); pageLength = lines; nextLine();

Methods Summary
boolean	hasNext() Indicate if there are lines left to be copied return true iff there is at least one line left to be copied return line != null;
private void	nextLine() Get the next line and copy it inot the internal buffer so's we can answer the hasNext() question line = in.readLine();
void	nextPage() Copy the next page worth of lines from input to output for (int i = 0; (pageLength < 0 || i < pageLength) && hasNext(); i++){ out.write(line); out.newLine(); nextLine(); } out.flush();