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 FormEmitter {
004    private FormEmitter() {}
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    contentHandler.startPrefixMapping("", "http://www.w3.org/1999/xhtml");
008    __attrs__.clear();
009    contentHandler.startElement("http://www.w3.org/1999/xhtml", "fieldset", "fieldset", __attrs__);
010    __attrs__.clear();
011    contentHandler.startElement("http://www.w3.org/1999/xhtml", "legend", "legend", __attrs__);
012    contentHandler.characters(__chars__, 0, 15);
013    contentHandler.endElement("http://www.w3.org/1999/xhtml", "legend", "legend");
014    __attrs__.clear();
015    contentHandler.startElement("http://www.w3.org/1999/xhtml", "table", "table", __attrs__);
016    __attrs__.clear();
017    contentHandler.startElement("http://www.w3.org/1999/xhtml", "tbody", "tbody", __attrs__);
018    __attrs__.clear();
019    __attrs__.addAttribute("", "title", "title", "CDATA", "IRI (http or https) of the document to be checked. (Leave blank to bookmark settings.)");
020    contentHandler.startElement("http://www.w3.org/1999/xhtml", "tr", "tr", __attrs__);
021    __attrs__.clear();
022    contentHandler.startElement("http://www.w3.org/1999/xhtml", "th", "th", __attrs__);
023    __attrs__.clear();
024    __attrs__.addAttribute("", "for", "for", "CDATA", "doc");
025    contentHandler.startElement("http://www.w3.org/1999/xhtml", "label", "label", __attrs__);
026    contentHandler.characters(__chars__, 15, 8);
027    contentHandler.endElement("http://www.w3.org/1999/xhtml", "label", "label");
028    contentHandler.endElement("http://www.w3.org/1999/xhtml", "th", "th");
029    __attrs__.clear();
030    contentHandler.startElement("http://www.w3.org/1999/xhtml", "td", "td", __attrs__);
031    t.emitDocField(); 
032    contentHandler.endElement("http://www.w3.org/1999/xhtml", "td", "td");
033    contentHandler.endElement("http://www.w3.org/1999/xhtml", "tr", "tr");
034    __attrs__.clear();
035    __attrs__.addAttribute("", "title", "title", "CDATA", "Space-separated list of schema IRIs. (Leave blank to let the service guess.)");
036    contentHandler.startElement("http://www.w3.org/1999/xhtml", "tr", "tr", __attrs__);
037    __attrs__.clear();
038    contentHandler.startElement("http://www.w3.org/1999/xhtml", "th", "th", __attrs__);
039    __attrs__.clear();
040    __attrs__.addAttribute("", "for", "for", "CDATA", "schema");
041    contentHandler.startElement("http://www.w3.org/1999/xhtml", "label", "label", __attrs__);
042    contentHandler.characters(__chars__, 23, 7);
043    contentHandler.endElement("http://www.w3.org/1999/xhtml", "label", "label");
044    contentHandler.endElement("http://www.w3.org/1999/xhtml", "th", "th");
045    __attrs__.clear();
046    contentHandler.startElement("http://www.w3.org/1999/xhtml", "td", "td", __attrs__);
047    t.emitSchemaField(); 
048    contentHandler.endElement("http://www.w3.org/1999/xhtml", "td", "td");
049    contentHandler.endElement("http://www.w3.org/1999/xhtml", "tr", "tr");
050    __attrs__.clear();
051    __attrs__.addAttribute("", "title", "title", "CDATA", "Selecting a preset overrides the schema field above.");
052    contentHandler.startElement("http://www.w3.org/1999/xhtml", "tr", "tr", __attrs__);
053    __attrs__.clear();
054    contentHandler.startElement("http://www.w3.org/1999/xhtml", "th", "th", __attrs__);
055    __attrs__.clear();
056    __attrs__.addAttribute("", "for", "for", "CDATA", "preset");
057    contentHandler.startElement("http://www.w3.org/1999/xhtml", "label", "label", __attrs__);
058    contentHandler.characters(__chars__, 30, 6);
059    contentHandler.endElement("http://www.w3.org/1999/xhtml", "label", "label");
060    contentHandler.endElement("http://www.w3.org/1999/xhtml", "th", "th");
061    __attrs__.clear();
062    contentHandler.startElement("http://www.w3.org/1999/xhtml", "td", "td", __attrs__);
063    __attrs__.clear();
064    __attrs__.addAttribute("", "id", "id", "CDATA", "preset");
065    __attrs__.addAttribute("", "name", "name", "CDATA", "preset");
066    __attrs__.addAttribute("", "onchange", "onchange", "CDATA", "presetChanged()");
067    contentHandler.startElement("http://www.w3.org/1999/xhtml", "select", "select", __attrs__);
068    __attrs__.clear();
069    __attrs__.addAttribute("", "value", "value", "CDATA", "");
070    contentHandler.startElement("http://www.w3.org/1999/xhtml", "option", "option", __attrs__);
071    contentHandler.characters(__chars__, 36, 4);
072    contentHandler.endElement("http://www.w3.org/1999/xhtml", "option", "option");
073    t.emitPresetOptions(); 
074                                                    
075    contentHandler.endElement("http://www.w3.org/1999/xhtml", "select", "select");
076    contentHandler.endElement("http://www.w3.org/1999/xhtml", "td", "td");
077    contentHandler.endElement("http://www.w3.org/1999/xhtml", "tr", "tr");
078    __attrs__.clear();
079    __attrs__.addAttribute("", "title", "title", "CDATA", "The parser to use. This selection also affect the Accept HTTP request header that is sent. The HTML 4.01 parser options mean the HTML5 parser in a compatibility mode\u2014not an SGML parser.");
080    contentHandler.startElement("http://www.w3.org/1999/xhtml", "tr", "tr", __attrs__);
081    __attrs__.clear();
082    contentHandler.startElement("http://www.w3.org/1999/xhtml", "th", "th", __attrs__);
083    __attrs__.clear();
084    __attrs__.addAttribute("", "for", "for", "CDATA", "parser");
085    contentHandler.startElement("http://www.w3.org/1999/xhtml", "label", "label", __attrs__);
086    contentHandler.characters(__chars__, 40, 6);
087    contentHandler.endElement("http://www.w3.org/1999/xhtml", "label", "label");
088    contentHandler.endElement("http://www.w3.org/1999/xhtml", "th", "th");
089    __attrs__.clear();
090    contentHandler.startElement("http://www.w3.org/1999/xhtml", "td", "td", __attrs__);
091    __attrs__.clear();
092    __attrs__.addAttribute("", "id", "id", "CDATA", "parser");
093    __attrs__.addAttribute("", "name", "name", "CDATA", "parser");
094    __attrs__.addAttribute("", "onchange", "onchange", "CDATA", "parserChanged()");
095    contentHandler.startElement("http://www.w3.org/1999/xhtml", "select", "select", __attrs__);
096    t.emitParserOptions(); 
097                                                    
098    contentHandler.endElement("http://www.w3.org/1999/xhtml", "select", "select");
099    contentHandler.endElement("http://www.w3.org/1999/xhtml", "td", "td");
100    contentHandler.endElement("http://www.w3.org/1999/xhtml", "tr", "tr");
101    __attrs__.clear();
102    __attrs__.addAttribute("", "title", "title", "CDATA", "Being lax about the HTTP Content-Type means treating text/plain as XML and ignoring the US-ASCII default of the text/* XML content types.");
103    contentHandler.startElement("http://www.w3.org/1999/xhtml", "tr", "tr", __attrs__);
104    __attrs__.clear();
105    contentHandler.startElement("http://www.w3.org/1999/xhtml", "th", "th", __attrs__);
106    contentHandler.endElement("http://www.w3.org/1999/xhtml", "th", "th");
107    __attrs__.clear();
108    contentHandler.startElement("http://www.w3.org/1999/xhtml", "td", "td", __attrs__);
109    __attrs__.clear();
110    __attrs__.addAttribute("", "for", "for", "CDATA", "laxtype");
111    contentHandler.startElement("http://www.w3.org/1999/xhtml", "label", "label", __attrs__);
112    t.emitLaxTypeField(); 
113                                                    
114    contentHandler.characters(__chars__, 46, 31);
115    contentHandler.endElement("http://www.w3.org/1999/xhtml", "label", "label");
116    contentHandler.endElement("http://www.w3.org/1999/xhtml", "td", "td");
117    contentHandler.endElement("http://www.w3.org/1999/xhtml", "tr", "tr");
118    __attrs__.clear();
119    contentHandler.startElement("http://www.w3.org/1999/xhtml", "tr", "tr", __attrs__);
120    __attrs__.clear();
121    contentHandler.startElement("http://www.w3.org/1999/xhtml", "th", "th", __attrs__);
122    contentHandler.endElement("http://www.w3.org/1999/xhtml", "th", "th");
123    __attrs__.clear();
124    contentHandler.startElement("http://www.w3.org/1999/xhtml", "td", "td", __attrs__);
125    __attrs__.clear();
126    __attrs__.addAttribute("", "name", "name", "CDATA", "submit");
127    __attrs__.addAttribute("", "value", "value", "CDATA", "Validate");
128    __attrs__.addAttribute("", "type", "type", "CDATA", "submit");
129    __attrs__.addAttribute("", "id", "id", "CDATA", "submit");
130    contentHandler.startElement("http://www.w3.org/1999/xhtml", "input", "input", __attrs__);
131    contentHandler.endElement("http://www.w3.org/1999/xhtml", "input", "input");
132    contentHandler.endElement("http://www.w3.org/1999/xhtml", "td", "td");
133    contentHandler.endElement("http://www.w3.org/1999/xhtml", "tr", "tr");
134    contentHandler.endElement("http://www.w3.org/1999/xhtml", "tbody", "tbody");
135    contentHandler.endElement("http://www.w3.org/1999/xhtml", "table", "table");
136    contentHandler.endElement("http://www.w3.org/1999/xhtml", "fieldset", "fieldset");
137    contentHandler.endPrefixMapping("");
138    }
139    private static final char[] __chars__ = { 'V', 'a', 'l', 'i', 'd', 'a', 't', 'o', 'r', ' ', 'I', 'n', 'p', 'u', 't', 'D', 'o', 'c', 'u', 'm', 'e', 'n', 't', 'S', 'c', 'h', 'e', 'm', 'a', 's', 'P', 'r', 'e', 's', 'e', 't', 'N', 'o', 'n', 'e', 'P', 'a', 'r', 's', 'e', 'r', ' ', 'B', 'e', ' ', 'l', 'a', 'x', ' ', 'a', 'b', 'o', 'u', 't', ' ', 'H', 'T', 'T', 'P', ' ', 'C', 'o', 'n', 't', 'e', 'n', 't', '-', 'T', 'y', 'p', 'e' };
140    }