34 |
import java.io.Reader; |
import java.io.Reader; |
35 |
import java.io.Writer; |
import java.io.Writer; |
36 |
|
|
37 |
|
import java.util.Collection; |
38 |
|
import java.util.Collections; |
39 |
|
import java.util.Iterator; |
40 |
|
|
41 |
import com.sun.javadoc.Tag; |
import com.sun.javadoc.Tag; |
42 |
|
|
43 |
/** |
/** |
264 |
|
|
265 |
public void beginPage(String title, String charset) |
public void beginPage(String title, String charset) |
266 |
{ |
{ |
267 |
|
beginPage(title, charset, Collections.EMPTY_SET); |
268 |
|
} |
269 |
|
|
270 |
|
public void beginPage(String title, String charset, Collection keywords) |
271 |
|
{ |
272 |
print("<?xml version=\"1.0\" encoding=\"" + charset + "\"?>\n"); |
print("<?xml version=\"1.0\" encoding=\"" + charset + "\"?>\n"); |
273 |
print(docType); |
print(docType); |
274 |
print("<html xmlns=\"http://www.w3.org/1999/xhtml\" lang=\"en\" xml:lang=\"en\">"); |
print("<html xmlns=\"http://www.w3.org/1999/xhtml\" lang=\"en\" xml:lang=\"en\">"); |
287 |
atomicElement("meta", |
atomicElement("meta", |
288 |
new String[] { "name", "content" }, |
new String[] { "name", "content" }, |
289 |
new String[] { "generator", "GNU Gjdoc Standard Doclet" }); |
new String[] { "generator", "GNU Gjdoc Standard Doclet" }); |
290 |
|
Iterator keywordIt = keywords.iterator(); |
291 |
|
while (keywordIt.hasNext()) { |
292 |
|
String keyword = (String)keywordIt.next(); |
293 |
|
atomicElement("meta", |
294 |
|
new String[] { "name", "content" }, |
295 |
|
new String[] { "keywords", keyword }); |
296 |
|
} |
297 |
atomicElement("link", |
atomicElement("link", |
298 |
new String[] { "rel", "type", "href", "title" }, |
new String[] { "rel", "type", "href", "title" }, |
299 |
new String[] { "stylesheet", "text/css", |
new String[] { "stylesheet", "text/css", |