X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FParserServlet.java;h=44b3f840980a1258a37be59f32e96127dadafbfb;hb=0620c2d97d6df986d74dbe13160afb1435096431;hp=47f8e5895162556af0b02300dbb3f204115f60c2;hpb=a96edcbb9051f33f65256dcd5adcbae6925956eb;p=sbp.git

diff --git a/src/edu/berkeley/sbp/misc/ParserServlet.java b/src/edu/berkeley/sbp/misc/ParserServlet.java
index 47f8e58..44b3f84 100644
--- a/src/edu/berkeley/sbp/misc/ParserServlet.java
+++ b/src/edu/berkeley/sbp/misc/ParserServlet.java
@@ -1,21 +1,25 @@
+// Copyright 2006 all rights reserved; see LICENSE file for BSD-style license
+
 package edu.berkeley.sbp.misc;
 import edu.berkeley.sbp.util.*;
 import edu.berkeley.sbp.*;
 import edu.berkeley.sbp.chr.*;
 import java.util.*;
 import java.io.*;
-import javax.servlet.*;
-import javax.servlet.http.*;
+//import javax.servlet.*;
+//import javax.servlet.http.*;
 import java.io.*;
 import java.net.*;
 import java.util.*;
 
-public class ParserServlet extends HttpServlet {
-
+public class ParserServlet /*extends HttpServlet*/ {
+  /*
     public void doGet(HttpServletRequest req, HttpServletResponse resp) throws ServletException {
         doPost(req, resp);
     }
     public void doPost(HttpServletRequest req, HttpServletResponse resp) throws ServletException {
+  */
+        /*
         try {
         try {
             System.out.println("a");
@@ -23,8 +27,7 @@ public class ParserServlet extends HttpServlet {
             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);
             
@@ -70,6 +73,7 @@ public class ParserServlet extends HttpServlet {
         } catch (Exception e) {
             throw new ServletException(e);
         }
-    }
+        */
+  //}
 
 }