Package jadex.web.tools.jadexdoc

Class JadexdocServlet

  • All Implemented Interfaces:
    java.io.Serializable, javax.servlet.Servlet, javax.servlet.ServletConfig
    public class JadexdocServlet
extends javax.servlet.http.HttpServlet
    Front controller servlet for jadexdoc application.
    See Also:
    Serialized Form

    • Constructor Summary

      Constructors 
      Constructor Description
      JadexdocServlet()  

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void destroy()
      Shut down the platform on exit.
      protected void doGet​(javax.servlet.http.HttpServletRequest request, javax.servlet.http.HttpServletResponse response)
      Called on each web request.
      static java.lang.String getContentUrl​(javax.servlet.http.HttpServletRequest req)
      Get model content request.
      static java.lang.String getModelsUrl​(javax.servlet.http.HttpServletRequest req)
      Get model list request.
      void init()
      Init the servlet by starting the Jadex platform.
      IFuture<IModelInfo> loadModel​(java.lang.String file)
      Asynchronously load a model.
      protected IIntermediateFuture<IModelInfo> loadModels()
      Asynchronously load all models.
      protected java.util.Set<java.io.File> scanForModels​(java.util.List<java.net.URL> urls)
      Scan classpath URLs for loadable models.

      • Methods inherited from class javax.servlet.http.HttpServlet

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

      • Methods inherited from class javax.servlet.GenericServlet

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

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • JadexdocServlet

        public JadexdocServlet()

    • Method Detail

      • init

        public void init()
          throws javax.servlet.ServletException
        Init the servlet by starting the Jadex platform.
        Overrides:
        init in class javax.servlet.GenericServlet
        Throws:
        javax.servlet.ServletException

      • destroy

        public void destroy()
        Shut down the platform on exit.
        Specified by:
        destroy in interface javax.servlet.Servlet
        Overrides:
        destroy in class javax.servlet.GenericServlet

      • doGet

        protected void doGet​(javax.servlet.http.HttpServletRequest request,
                     javax.servlet.http.HttpServletResponse response)
              throws javax.servlet.ServletException,
                     java.io.IOException
        Called on each web request.
        Overrides:
        doGet in class javax.servlet.http.HttpServlet
        Throws:
        javax.servlet.ServletException
        java.io.IOException

      • loadModel

        public IFuture<IModelInfo> loadModel​(java.lang.String file)
        Asynchronously load a model.

      • scanForModels

        protected java.util.Set<java.io.File> scanForModels​(java.util.List<java.net.URL> urls)
        Scan classpath URLs for loadable models.

      • getContentUrl

        public static java.lang.String getContentUrl​(javax.servlet.http.HttpServletRequest req)
        Get model content request.

      • getModelsUrl

        public static java.lang.String getModelsUrl​(javax.servlet.http.HttpServletRequest req)
        Get model list request.