+ public String li(Object o) { return "<li>"+o+"</li>"; }
+ public String li(Object a, Object o) { return "<li>"+o+"</li>"; }
+ public String ul(String[] li) { return "<ul>"+join(li,"")+"</ul>"; }
+ public String ol(String[] li) { return "<ol>"+join(li,"")+"</ol>"; }
+ public String hr() { return "\n<hr/>\n"; }
+ public String it(Object o) { return "<i>"+o+"</i>"; }
+ public String tt(Object o) { return "<tt>"+o+"</tt>"; }
+ public String underline(Object o) { return "<ul>"+o+"</ul>"; }
+ public String p(Object o) { return "<p>"+o+"</p>"; }
+ public String smallcap(Object o) { return "<span style='font-variant: small-caps'>"+o+"</span>"; }
+ public String blockquote(Object o) { return "<blockquote>"+o+"</blockquote>"; }
+ public String superscript(Object o) { return "<sup>"+o+"</sup>"; }
+ public String subscript(Object o) { return "<sub>"+o+"</sub>"; }
+ public String bold(Object o) { return "<b>"+o+"</b>"; }
+ public String strikethrough(Object o) { throw new Error();/*return "<b>"+o+"</b>";*/ }
+ public Object top(Object o) { return "<html><body>"+o+"</body></html>"; }
+ public Object doc(Object header, Object body) { return body; }
+ public String text(Object[] body) {
+ StringBuffer ret = new StringBuffer();
+ for(Object o : body) { ret.append(o); ret.append(" "); }
+ return ret.toString();
+ }
+ public String body(String[] sections) { return join(sections, "\n\n"); }
+ public String domain(String[] parts) { return join(parts, "."); }
+ public String ip(String[] parts) { return join(parts, "."); }
+ public String emailaddr(String user, String host) {
+ return link(user+"@"+host, "mailto:"+user+"@"+host);
+ }
+ //public String url(String method) {
+ public String link(Object text, Object target) {
+ return "<a href='"+target+"'>"+text+"</a>";
+ }
+ public String section(Object header, Object[] body) {
+ StringBuffer ret = new StringBuffer();
+ ret.append(header);
+ ret.append(" ");
+ for(Object o : body) ret.append(o);
+ return ret.toString();
+ }
+ private String escapify(Object o) {
+ String s = o==null ? "" : o.toString();