1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
/* SimpleFilePrinter.java */
import java.awt.*;
import java.awt.print.*;
import java.io.*;
public class SimpleFilePrinter
implements Printable
{
//---Konstanten--------------------------------------
private static final int RESMUL = 4;
//---Membervariablen---------------------------------
private PrinterJob pjob;
private PageFormat pageformat;
private FilePrintHelper fph;
private String fname;
private RandomAccessFile in;
//---Konstruktoren-----------------------------------
public SimpleFilePrinter(String fname)
{
this.pjob = PrinterJob.getPrinterJob();
this.fname = fname;
}
//---�ffentliche Methoden----------------------------
public boolean setupPageFormat()
{
PageFormat defaultPF = pjob.defaultPage();
this.pageformat = pjob.pageDialog(defaultPF);
pjob.setPrintable(this, this.pageformat);
return (this.pageformat != defaultPF);
}
public boolean setupJobOptions()
{
return pjob.printDialog();
}
public void printFile()
throws PrinterException, IOException
{
fph = new FilePrintHelper();
in = new RandomAccessFile(fname, "r");
pjob.print();
in.close();
}
//---Implementierung von Printable-------------------
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(fname + ", 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;
}
//---Main--------------------------------------------
public static void main(String[] args)
{
SimpleFilePrinter sfp = new SimpleFilePrinter(args[0]);
if (sfp.setupPageFormat()) {
if (sfp.setupJobOptions()) {
try {
sfp.printFile();
} catch (Exception e) {
System.err.println(e.toString());
System.exit(1);
}
}
}
System.exit(0);
}
}
|
