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