import edu.berkeley.sbp.*;
import edu.berkeley.sbp.misc.*;
import edu.berkeley.sbp.util.*;
import edu.berkeley.sbp.*;
import edu.berkeley.sbp.misc.*;
import edu.berkeley.sbp.util.*;
MetaGrammar gram = (MetaGrammar)new Tib.Grammar().walk(res);
//System.out.println(gram);
Union mg = gram.done();
System.out.println("\nparsing " + s[1]);
MetaGrammar gram = (MetaGrammar)new Tib.Grammar().walk(res);
//System.out.println(gram);
Union mg = gram.done();
System.out.println("\nparsing " + s[1]);
public static class HTMLWalker extends ReflectiveWalker {
//public void header() { throw new Error(); }
public String li(Object o) { return "<li>"+o+"</li>"; }
public static class HTMLWalker extends ReflectiveWalker {
//public void header() { throw new Error(); }
public String li(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 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"; }