+ //public void header() { throw new Error(); }
+ public String ul(Object o) { return "<ul>"+o+"</ul>"; }
+ private Tree<String> lone(String s) {
+ StringBuffer sb = new StringBuffer();
+ for(int i=0; i<s.length(); i++) {
+ switch(s.charAt(i)) {
+ case '&': sb.append("&"); break;
+ case '<': sb.append("<"); break;
+ case '>': sb.append(">"); break;
+ case '\'': sb.append("'"); break;
+ case '\"': sb.append("""); break;
+ default: sb.append(s.charAt(i)); break;
+ }
+ }
+ return new Tree<String>(null, sb.toString(), new Tree[0]);
+ }