1 | void setFilename(String newFilename) {↵ | | 1 | void set↵
|
2 | this.setProperty(FILENAME, newFilename);↵ | | |
|
3 | }↵ | | |
|
|
4 | public String getScript() {↵ | | |
|
5 | ↵ | | 2 | Index(String makeIndex) {↵
|
| | | 3 | setProperty(REPORT_PAGE_INDEX,makeIndex);↵
|
| | | 4 | }↵
|
| | | 5 | ↵
|
| | | 6 | public String getCSS() {↵
|
6 | return this.getPropertyAsString(SCRIPT);↵ | | 7 | return getPropertyAsString(↵
|
7 | }↵ | | |
|
|
8 | ↵ | | 8 | REPORT_PAGE_CSS);↵
|
| | | 9 | }↵
|
| | | 10 | ↵
|
9 | public void setScript(String newScript) {↵ | | 11 | public void setCSS(String ↵
|
10 | this.setProperty(SCRIPT, newScript);↵ | | |
|
11 | }↵ | | |
|
|
12 | public String getParameters() {↵ | | |
|
13 | ↵ | | 12 | css) {↵
|
| | | 13 | setProperty(REPORT_PAGE_CSS,css);↵
|
| | | 14 | }↵
|
| | | 15 | ↵
|
| | | 16 | public String getHeaderURL() {↵
|
14 | return this.getPropertyAsString(PARAMETERS);↵ | | 17 | return getPropertyAsString(REPORT_PAGE_HEADER);↵
|
15 | | | 18 |
|