/* gnu.classpath.tools.doclets.htmldoclet.HtmlPage
Copyright (C) 2004 Free Software Foundation, Inc.
This file is part of GNU Classpath.
GNU Classpath is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.
GNU Classpath is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
You should have received a copy of the GNU General Public License
along with GNU Classpath; see the file COPYING. If not, write to the
Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
02111-1307 USA. */
package gnu.classpath.tools.doclets.htmldoclet;
import gnu.classpath.tools.IOToolkit;
import java.io.BufferedWriter;
import java.io.File;
import java.io.FileOutputStream;
import java.io.FileWriter;
import java.io.InputStream;
import java.io.IOException;
import java.io.OutputStream;
import java.io.OutputStreamWriter;
import java.io.PrintWriter;
import java.io.Reader;
import java.io.Writer;
import java.util.Collection;
import java.util.Collections;
import java.util.HashMap;
import java.util.Iterator;
import java.util.Map;
import com.sun.javadoc.Tag;
/**
* Allows outputting an HTML document without having to build the
* document tree in-memory.
*/
public class HtmlPage
{
private File file;
private PrintWriter out;
private String pathToRoot;
private String docType;
public static final String DOCTYPE_FRAMESET = "";
public static final String DOCTYPE_STRICT = "";
public HtmlPage(File file, String pathToRoot, String encoding)
throws IOException
{
this(file, pathToRoot, encoding, DOCTYPE_STRICT);
}
public HtmlPage(File file, String pathToRoot, String encoding, String docType)
throws IOException
{
this.file = file;
OutputStream fileOut = new FileOutputStream(file);
Writer writer;
if (null != encoding) {
writer = new OutputStreamWriter(fileOut,
encoding);
}
else {
writer = new OutputStreamWriter(fileOut);
}
this.out = new PrintWriter(new BufferedWriter(writer));
this.pathToRoot = pathToRoot;
this.docType = docType;
}
public void beginElement(String elementName)
{
print('<');
print(elementName);
print('>');
}
public void beginElement(String elementName, String attributeName, String attributeValue)
{
print('<');
print(elementName);
print(' ');
print(attributeName);
print('=');
print('\"');
print(attributeValue);
print('\"');
print('>');
}
public void beginElement(String elementName, String[] attributeNames, String[] attributeValues)
{
print('<');
print(elementName);
for (int i=0; i');
}
public void beginElement(String elementName, String attributeName, String attributeValue, String[] attributeNames, String[] attributeValues)
{
print('<');
print(elementName);
print(' ');
print(attributeName);
print('=');
print('\"');
print(attributeValue);
print('\"');
if (null != attributeNames) {
for (int i=0; i');
}
public void atomicElement(String elementName)
{
print('<');
print(elementName);
print("/>");
}
public void atomicElement(String elementName, String attributeName, String attributeValue)
{
print('<');
print(elementName);
print(' ');
print(attributeName);
print('=');
print('\"');
print(attributeValue);
print('\"');
print("/>");
}
public void atomicElement(String elementName, String[] attributeNames, String[] attributeValues)
{
print('<');
print(elementName);
for (int i=0; i");
}
public void endElement(String elementName)
{
print("');
}
public void beginDiv(CssClass cssClass)
{
String[] divAttributeNames = cssClass.getAttributeNames();
String[] divAttributeValues = cssClass.getAttributeValues();
if (null == divAttributeNames) {
divAttributeNames = new String[0];
}
if (null == divAttributeValues) {
divAttributeValues = new String[0];
}
String[] attributeNames = new String[1 + divAttributeNames.length];
String[] attributeValues = new String[1 + divAttributeValues.length];
System.arraycopy(divAttributeNames, 0, attributeNames, 1, divAttributeNames.length);
System.arraycopy(divAttributeValues, 0, attributeValues, 1, divAttributeNames.length);
attributeNames[0] = "class";
attributeValues[0] = cssClass.getName();
beginElement(cssClass.getDivElementName(), attributeNames, attributeValues);
if (null != cssClass.getInnerElementName()) {
beginElement(cssClass.getInnerElementName());
}
}
public void endDiv(CssClass cssClass)
{
if (null != cssClass.getInnerElementName()) {
endElement(cssClass.getInnerElementName());
}
endElement(cssClass.getDivElementName());
}
public void beginSpan(CssClass cssClass)
{
beginElement(cssClass.getSpanElementName(), "class", cssClass.getName());
}
public void endSpan(CssClass cssClass)
{
endElement(cssClass.getSpanElementName());
}
public void hr()
{
atomicElement("hr");
}
public void br()
{
atomicElement("br");
}
public void print(String text)
{
out.print(text);
}
public void print(char c)
{
out.print(c);
}
public void div(CssClass cssClass, String contents)
{
beginDiv(cssClass);
print(contents);
endDiv(cssClass);
}
public void span(CssClass cssClass, String contents)
{
beginSpan(cssClass);
print(contents);
endSpan(cssClass);
}
public void beginPage(String title, String charset, Map stylesheets)
{
beginPage(title, charset, Collections.EMPTY_SET, stylesheets);
}
public void beginPage(String title, String charset,
Collection keywords, Map stylesheets)
{
print("\n");
print(docType);
print("");
beginElement("head");
beginElement("title");
print(title);
endElement("title");
beginElement("script",
new String[] { "src", "type" },
new String[] { pathToRoot + "/resources/gjdoc.js", "text/javascript" });
print("");
endElement("script");
atomicElement("meta",
new String[] { "http-equiv", "content" },
new String[] { "Content-Type", "text/html; charset=" + charset });
atomicElement("meta",
new String[] { "name", "content" },
new String[] { "generator", "GNU Gjdoc Standard Doclet" });
Iterator keywordIt = keywords.iterator();
while (keywordIt.hasNext()) {
String keyword = (String)keywordIt.next();
atomicElement("meta",
new String[] { "name", "content" },
new String[] { "keywords", keyword });
}
Iterator cssIt = stylesheets.keySet().iterator();
while (cssIt.hasNext()) {
String sheetName = (String)cssIt.next();
String[] sheetFiles = (String[])stylesheets.get(sheetName);
for (int i=0; i");
result.append(content);
result.append("");
return result.toString();
}
public File getFile()
{
return this.file;
}
}