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