doPost(req, resp);
}
public void doPost(HttpServletRequest req, HttpServletResponse resp) throws ServletException {
+ /*
try {
try {
System.out.println("a");
Tree<String> gram =
new CharParser(MetaGrammar.make()).parse(new StringReader(req.getParameter("grammar").trim())).expand1();
System.out.println("b");
- MetaGrammar g = (MetaGrammar)new MetaGrammar().walk(gram);
- Union meta = g.done();
+ Union meta = MetaGrammar.make();
Forest<String> out = new CharParser(meta).parse(new StringReader(req.getParameter("input").trim()));
System.out.println(out);
} catch (Exception e) {
throw new ServletException(e);
}
+ */
}
}