+ public static class OL extends List { public String tag() { return "ol"; } }
+ public static class UL extends List { public String tag() { return "ul"; } }
+
+
+ // Main //////////////////////////////////////////////////////////////////////////////
+
+ public static void main(String[] s) throws Exception {
+ try {
+ System.out.println("parsing " + s[0]);
+ Tree<String> res = new CharParser(MetaGrammar.make()).parse(new FileInputStream(s[0])).expand1();
+ MetaGrammar gram = new Tib.Grammar(TibDoc.class);
+ gram = (MetaGrammar)gram.walk(res);
+ //System.out.println(gram);
+ Union mg = gram.done();
+
+ System.out.println("\nparsing " + s[1]);
+ Forest f = new CharParser(mg).parse(new Tib(new FileInputStream(s[1])));
+ //((Tree)new StringifyWalker().walk(f.expand1())).toPrettyString()
+ System.out.println();
+ System.out.println(f.expand1().toPrettyString());
+ System.out.println();
+ Doc doc = (Doc)new ReflectiveGrammar(TibDoc.class).build(f.expand1());
+ System.out.println(doc);
+ System.out.println();
+ System.out.println();
+ System.out.println();
+ System.out.println();
+ StringBuffer sb = new StringBuffer();
+ doc.toHTML(new ToHTML.HTML(sb));
+ System.out.println(sb);
+ /*
+ String st = new HTMLWalker().walk(f.expand1()).toString();
+ System.out.println(st);
+ FileOutputStream fos = new FileOutputStream("out.html");
+ PrintWriter p = new PrintWriter(new OutputStreamWriter(fos));
+ p.println(st);
+ p.flush();
+ p.close();
+ */
+ } catch (Ambiguous a) {
+ FileOutputStream fos = new FileOutputStream("/Users/megacz/Desktop/out.dot");
+ PrintWriter p = new PrintWriter(new OutputStreamWriter(fos));
+ GraphViz gv = new GraphViz();
+ a.ambiguity.toGraphViz(gv);
+ gv.dump(p);
+ p.flush();
+ p.close();
+ a.printStackTrace();
+
+ } catch (Exception e) {
+ e.printStackTrace();
+ }
+ }
+