36 |
|
|
37 |
import java.util.Collection; |
import java.util.Collection; |
38 |
import java.util.Collections; |
import java.util.Collections; |
39 |
|
import java.util.HashMap; |
40 |
import java.util.Iterator; |
import java.util.Iterator; |
41 |
|
import java.util.Map; |
42 |
|
|
43 |
import com.sun.javadoc.Tag; |
import com.sun.javadoc.Tag; |
44 |
|
|
266 |
endSpan(cssClass); |
endSpan(cssClass); |
267 |
} |
} |
268 |
|
|
269 |
public void beginPage(String title, String charset) |
public void beginPage(String title, String charset, Map stylesheets) |
270 |
{ |
{ |
271 |
beginPage(title, charset, Collections.EMPTY_SET); |
beginPage(title, charset, Collections.EMPTY_SET, stylesheets); |
272 |
} |
} |
273 |
|
|
274 |
public void beginPage(String title, String charset, Collection keywords) |
public void beginPage(String title, String charset, |
275 |
|
Collection keywords, Map stylesheets) |
276 |
{ |
{ |
277 |
print("<?xml version=\"1.0\" encoding=\"" + charset + "\"?>\n"); |
print("<?xml version=\"1.0\" encoding=\"" + charset + "\"?>\n"); |
278 |
print(docType); |
print(docType); |
299 |
new String[] { "name", "content" }, |
new String[] { "name", "content" }, |
300 |
new String[] { "keywords", keyword }); |
new String[] { "keywords", keyword }); |
301 |
} |
} |
302 |
atomicElement("link", |
|
303 |
new String[] { "rel", "type", "href", "title" }, |
Iterator cssIt = stylesheets.keySet().iterator(); |
304 |
new String[] { "stylesheet", "text/css", |
while (cssIt.hasNext()) { |
305 |
pathToRoot + "/resources/gjdochtml-clean-layout.css", |
String sheetName = (String)cssIt.next(); |
306 |
"GNU Clean" }); |
String[] sheetFiles = (String[])stylesheets.get(sheetName); |
307 |
atomicElement("link", |
|
308 |
new String[] { "rel", "type", "href", "title" }, |
for (int i=0; i<sheetFiles.length; ++i) { |
309 |
new String[] { "stylesheet", "text/css", |
String sheetFile = sheetFiles[i]; |
310 |
pathToRoot + "/resources/gjdochtml-clean-color1.css", |
atomicElement("link", |
311 |
"GNU Clean" }); |
new String[] { "rel", "type", "href", "title" }, |
312 |
|
new String[] { "stylesheet", "text/css", |
313 |
|
pathToRoot + "/" + sheetFile, sheetName }); |
314 |
|
} |
315 |
|
} |
316 |
|
|
317 |
endElement("head"); |
endElement("head"); |
318 |
} |
} |
319 |
|
|