001    /* This code was generated by fi.iki.hsivonen.xml.SaxCompiler. Please regenerate instead of editing. */
002    package fi.iki.hsivonen.verifierservlet;
003    public final class PageEmitter {
004    private PageEmitter() {}
005    public static void emit(org.xml.sax.ContentHandler contentHandler, fi.iki.hsivonen.verifierservlet.VerifierServletTransaction t) throws org.xml.sax.SAXException {
006    org.xml.sax.helpers.AttributesImpl __attrs__ = new org.xml.sax.helpers.AttributesImpl();
007    try {
008    contentHandler.startDocument();
009    contentHandler.startPrefixMapping("", "http://www.w3.org/1999/xhtml");
010    __attrs__.clear();
011    contentHandler.startElement("http://www.w3.org/1999/xhtml", "html", "html", __attrs__);
012    __attrs__.clear();
013    contentHandler.startElement("http://www.w3.org/1999/xhtml", "head", "head", __attrs__);
014    __attrs__.clear();
015    __attrs__.addAttribute("", "rel", "rel", "CDATA", "stylesheet");
016    __attrs__.addAttribute("", "href", "href", "CDATA", "http://hsivonen.iki.fi/style/validator.css");
017    contentHandler.startElement("http://www.w3.org/1999/xhtml", "link", "link", __attrs__);
018    contentHandler.endElement("http://www.w3.org/1999/xhtml", "link", "link");
019    __attrs__.clear();
020    __attrs__.addAttribute("", "type", "type", "CDATA", "text/javascript");
021    __attrs__.addAttribute("", "src", "src", "CDATA", "http://hsivonen.iki.fi/script/validator.js");
022    contentHandler.startElement("http://www.w3.org/1999/xhtml", "script", "script", __attrs__);
023    contentHandler.endElement("http://www.w3.org/1999/xhtml", "script", "script");
024    __attrs__.clear();
025    contentHandler.startElement("http://www.w3.org/1999/xhtml", "title", "title", __attrs__);
026    t.emitTitle(false); 
027    contentHandler.endElement("http://www.w3.org/1999/xhtml", "title", "title");
028    contentHandler.endElement("http://www.w3.org/1999/xhtml", "head", "head");
029    __attrs__.clear();
030    __attrs__.addAttribute("", "onload", "onload", "CDATA", "boot()");
031    contentHandler.startElement("http://www.w3.org/1999/xhtml", "body", "body", __attrs__);
032    __attrs__.clear();
033    contentHandler.startElement("http://www.w3.org/1999/xhtml", "h1", "h1", __attrs__);
034    t.emitTitle(true); 
035    contentHandler.endElement("http://www.w3.org/1999/xhtml", "h1", "h1");
036    t.emitForm(); t.validate(); 
037    __attrs__.clear();
038    contentHandler.startElement("http://www.w3.org/1999/xhtml", "hr", "hr", __attrs__);
039    contentHandler.endElement("http://www.w3.org/1999/xhtml", "hr", "hr");
040    __attrs__.clear();
041    contentHandler.startElement("http://www.w3.org/1999/xhtml", "div", "div", __attrs__);
042    __attrs__.clear();
043    __attrs__.addAttribute("", "href", "href", "CDATA", "http://hsivonen.iki.fi/validator-about/");
044    contentHandler.startElement("http://www.w3.org/1999/xhtml", "a", "a", __attrs__);
045    contentHandler.characters(__chars__, 0, 18);
046    contentHandler.endElement("http://www.w3.org/1999/xhtml", "a", "a");
047    contentHandler.endElement("http://www.w3.org/1999/xhtml", "div", "div");
048    contentHandler.endElement("http://www.w3.org/1999/xhtml", "body", "body");
049    contentHandler.endElement("http://www.w3.org/1999/xhtml", "html", "html");
050    contentHandler.endPrefixMapping("");
051    } finally {
052    contentHandler.endDocument();
053    }
054    }
055    private static final char[] __chars__ = { 'A', 'b', 'o', 'u', 't', ' ', 't', 'h', 'i', 's', ' ', 's', 'e', 'r', 'v', 'i', 'c', 'e' };
056    }