org.metasyntactic.tool.explorer
Class Explorer

java.lang.Object
  |
  +--HttpServlet
        |
        +--org.metasyntactic.tool.explorer.Explorer
All Implemented Interfaces:
Constants

public class Explorer
extends HttpServlet
implements Constants

See Also:
Serialized Form

Field Summary
 
Fields inherited from interface org.metasyntactic.net.web.html.Constants
DOCTYPE_HTML_2_0, DOCTYPE_HTML_3_2, DOCTYPE_HTML_4_0_FRAMESET, DOCTYPE_HTML_4_0_LOOSE, DOCTYPE_HTML_4_0_STRICT
 
Constructor Summary
Explorer()
           
 
Method Summary
 void destroy()
          Destroys the servlet.
protected  void doGet(HttpServletRequest request, HttpServletResponse response)
          Handles the HTTP GET method.
protected  void doPost(HttpServletRequest request, HttpServletResponse response)
          Handles the HTTP POST method.
protected  java.lang.String escapedString(java.lang.Object o)
           
 java.lang.String getServletInfo()
          Returns a short description of the servlet.
 void init(ServletConfig config)
          Initializes the servlet.
static void main(java.lang.String[] args)
           
protected  void processRequest(HttpServletRequest request, HttpServletResponse response)
          Processes requests for both HTTP GET and POST methods.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Explorer

public Explorer()
Method Detail

init

public void init(ServletConfig config)
          throws ServletException
Initializes the servlet.

ServletException

processRequest

protected void processRequest(HttpServletRequest request,
                              HttpServletResponse response)
                       throws ServletException,
                              java.io.IOException
Processes requests for both HTTP GET and POST methods.

Parameters:
request - servlet request
response - servlet response
ServletException
java.io.IOException

destroy

public void destroy()
Destroys the servlet.


main

public static void main(java.lang.String[] args)

escapedString

protected java.lang.String escapedString(java.lang.Object o)

doGet

protected void doGet(HttpServletRequest request,
                     HttpServletResponse response)
              throws ServletException,
                     java.io.IOException
Handles the HTTP GET method.

Parameters:
request - servlet request
response - servlet response
ServletException
java.io.IOException

doPost

protected void doPost(HttpServletRequest request,
                      HttpServletResponse response)
               throws ServletException,
                      java.io.IOException
Handles the HTTP POST method.

Parameters:
request - servlet request
response - servlet response
ServletException
java.io.IOException

getServletInfo

public java.lang.String getServletInfo()
Returns a short description of the servlet.