/* (non-Javadoc)
* @see java.awt.print.Printable#print(java.awt.Graphics, java.awt.print.PageFormat, int)
*/
public int print(Graphics g, PageFormat pf, int page) throws PrinterException {
int ret = PAGE_EXISTS;
String line = null;
try {
if (fph.knownPage(page)) {
in.seek(fph.getFileOffset(page));
line = in.readLine();
} else {
long offset = in.getFilePointer();
line = in.readLine();
if (line == null) {
ret = NO_SUCH_PAGE;
} else {
fph.createPage(page);
fph.setFileOffset(page, offset);
}
}
if (ret == PAGE_EXISTS) {
// Seite ausgeben, Grafikkontext vorbereiten
Graphics2D g2 = (Graphics2D) g;
g2.scale(1.0 / RESMUL, 1.0 / RESMUL);
int ypos = (int) pf.getImageableY() * RESMUL;
int xpos = ((int) pf.getImageableX() + 2) * RESMUL;
int yd = 12 * RESMUL;
int ymax = ypos + (int) pf.getImageableHeight() * RESMUL - yd;
// Seitentitel ausgeben
ypos += yd;
g2.setColor(Color.black);
g2.setFont(new Font("Monospaced", Font.BOLD, 10 * RESMUL));
g.drawString(fbname + " Seite " + (page + 1), xpos, ypos);
g.drawLine(
xpos,
ypos + 6 * RESMUL,
xpos + (int) pf.getImageableWidth() * RESMUL,
ypos + 6 * RESMUL);
ypos += 2 * yd;
// Zeilen ausgeben
g2.setColor(new Color(0, 0, 127));
g2.setFont(new Font("Monospaced", Font.PLAIN, 10 * RESMUL));
while (line != null) {
g.drawString(line, xpos, ypos);
ypos += yd;
if (ypos >= ymax) {
break;
}
line = in.readLine();
}
}
} catch (IOException e) {
throw new PrinterException(e.toString());
}
return ret;
}
public static String readArray(String s) {
String output = "[ ";
boolean endOfFile = false;
try {
RandomAccessFile input = new RandomAccessFile(s, "rw");
input.seek(0);
while (!endOfFile) {
try {
output = output + input.readInt() + " ";
} catch (EOFException e) {
endOfFile = true;
output = output + "]";
}
}
} catch (IOException e) {
return e.getMessage();
}
return output;
}