org.symcomp.webwupsi
Class Wupslet

java.lang.Object
  javax.servlet.GenericServlet
      javax.servlet.http.HttpServlet
          org.symcomp.webwupsi.Wupslet

All Implemented Interfaces:

java.io.Serializable, javax.servlet.Servlet, javax.servlet.ServletConfig

public class Wupslet
extends javax.servlet.http.HttpServlet

This is the Servlet that is responsible for handling the 'compute' action

See Also:

Serialized Form

Constructor Summary

Wupslet()

Wupslet(Wupsifer w)

Method Summary

protected void

doGet(javax.servlet.http.HttpServletRequest request, javax.servlet.http.HttpServletResponse response) Entry point of all the handled actions

Methods inherited from class javax.servlet.http.HttpServlet

doDelete, doHead, doOptions, doPost, 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

Wupslet

public Wupslet()

Wupslet

public Wupslet(Wupsifer w)

Method Detail

doGet

protected void doGet(javax.servlet.http.HttpServletRequest request,
                     javax.servlet.http.HttpServletResponse response)
              throws javax.servlet.ServletException,
                     java.io.IOException

Entry point of all the handled actions

Overrides:

doGet in class javax.servlet.http.HttpServlet

Parameters:

target -

request -

response -

dispatch -

Throws:

java.io.IOException

javax.servlet.ServletException