Package com.articulate.sigma

Class EditorServlet

java.lang.Object
javax.servlet.GenericServlet
javax.servlet.http.HttpServlet
com.articulate.sigma.EditorServlet
All Implemented Interfaces:
Serializable, javax.servlet.Servlet, javax.servlet.ServletConfig
@WebServlet("/EditorServlet") public class EditorServlet extends javax.servlet.http.HttpServlet
Unified Editor Servlet for both .kif and .tptp code/files. Handles format, check, and user file operations (save/load/list/translate).
See Also:

  • Constructor Summary

    Constructors
    Constructor
    Description
    EditorServlet()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected void
    doPost(javax.servlet.http.HttpServletRequest req, javax.servlet.http.HttpServletResponse resp)
     

    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 Details

    • EditorServlet

      public EditorServlet()

  • Method Details

    • doPost

      protected void doPost(javax.servlet.http.HttpServletRequest req, javax.servlet.http.HttpServletResponse resp) throws IOException, javax.servlet.ServletException
      Overrides:
      doPost in class javax.servlet.http.HttpServlet
      Throws:
      IOException
      javax.servlet.ServletException