dk.brics.grammar.main
Class MainServlet

java.lang.Object
  javax.servlet.GenericServlet
      javax.servlet.http.HttpServlet
          dk.brics.grammar.main.MainServlet

All Implemented Interfaces:

Serializable, javax.servlet.Servlet, javax.servlet.ServletConfig

public class MainServlet
extends javax.servlet.http.HttpServlet

Servlet for parsing and grammar ambiguity checking.

See Also:

Main, Serialized Form

Constructor Summary

MainServlet()
Constructs a new servlet.

Method Summary

protected void

doPost(javax.servlet.http.HttpServletRequest request, javax.servlet.http.HttpServletResponse response)

Methods inherited from class javax.servlet.http.HttpServlet

doDelete, doGet, doHead, doOptions, doPut, doTrace, getLastModified, service, service

Methods inherited from class javax.servlet.GenericServlet

destroy, getInitParameter, getInitParameterNames, getServletConfig, getServletContext, getServletInfo, getServletName, init, init, log, log

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MainServlet

public MainServlet()

Constructs a new servlet.

Method Detail

doPost

protected void doPost(javax.servlet.http.HttpServletRequest request,
                      javax.servlet.http.HttpServletResponse response)
               throws IOException

Overrides:

doPost in class javax.servlet.http.HttpServlet

Throws:

IOException