1 | void setDoctitle(String doctitle) {↵ | | |
|
2 | Html h = new Html();↵ | | |
|
3 | h.addText(doctitle);↵ | | |
|
4 | addDoctitle(h);↵ | | |
|
5 | }↵ | | |
|
|
6 | /**↵ | | |
|
7 | * Add a document title to use for the overview page.↵ | | |
|
8 | *↵ | | |
|
9 | * @param text the HTML element containing the document title.↵ | | |
|
10 | */↵ | | |
|
11 | public void addDoctitle(Html text) {↵ | | |
|
12 | doctitle = text;↵ | | |
|
13 | }↵ | | |
|
|
14 | /**↵ | | |
|
15 | * Set the header text to be placed at the top of each output file.↵ | | |
|
16 | *↵ | | |
|
17 | * @param header the header text↵ | | |
|
18 | */↵ | | |
|
19 | public void setHeader(String header) {↵ | | 1 | void setHeader(String header) {↵
|
20 | Html h = new Html();↵ | | 2 | Html h = new Html();↵
|
21 | h.addText(header);↵ | | 3 | h.addText(header);↵
|
22 | addHeader(h);↵ | | 4 | addHeader(h);↵
|
23 | }↵ | | 5 | }↵
|
|
24 | /**↵ | | 6 | /**↵
|
25 | * Set the header text to be placed at the top of each output file.↵ | | 7 | * Set the header text to be placed at the top of each output file.↵
|
26 | *↵ | | 8 | *↵
|
27 | * @param text the header text↵ | | 9 | * @param text the header text↵
|
28 | */↵ | | 10 | */↵
|
29 | public void addHeader(Html text) {↵ | | 11 | public void addHeader(Html text) {↵
|
30 | header = text;↵ | | 12 | header = text;↵
|
31 | }↵ | | 13 | }↵
|
|
32 | /**↵ | | 14 | /**↵
|
33 | * Set the footer text to be placed at the bottom of each output file.↵ | | 15 | * Set the footer text to be placed at the bottom of each output file.↵
|
34 | *↵ | | 16 | *↵
|
35 | * @param footer the footer text.↵ | | 17 | * @param footer the footer text.↵
|
36 | */↵ | | 18 | */↵
|
37 | public void setFooter(String footer) {↵ | | 19 | public void setFooter(String footer) {↵
|
38 | Html h = new Html();↵ | | 20 | Html h = new Html();↵
|
39 | h.addText(footer);↵ | | 21 | h.addText(footer);↵
|
40 | addFooter(h);↵ | | 22 | addFooter(h);↵
|
41 | | | 23 | }↵
|
|
| | | 24 | /**↵
|
| | | 25 | * Set the footer text to be placed at the bottom of each output file.↵
|
| | | 26 | *↵
|
| | | 27 | * @param text the footer text.↵
|
| | | 28 | */↵
|
| | | 29 | public void addFooter(Html text) {↵
|
| | | 30 | footer = text;↵
|
| | | 31 | }↵
|
|
| | | 32 | /**↵
|
| | | 33 | * Set the text to be placed at the bottom of each output file.↵
|
| | | 34 | *↵
|
| | | 35 | * @param bottom the bottom text.↵
|
| | | 36 | */↵
|
| | | 37 | public void setBottom(String bottom) {↵
|
| | | 38 | Html h = new Html();↵
|
| | | 39 | h.addText(bottom);↵
|
| | | 40 | addBottom(h);↵
|
| | | 41 |
|