Package org.palladiosimulator.protocom.framework.java.ee.main

Class MainServlet

java.lang.Object
javax.servlet.GenericServlet
javax.servlet.http.HttpServlet
org.palladiosimulator.protocom.framework.java.ee.main.MainServlet
All Implemented Interfaces:
Serializable, javax.servlet.Servlet, javax.servlet.ServletConfig
@WebServlet("") public abstract class MainServlet extends javax.servlet.http.HttpServlet
See Also:

  • Constructor Summary

    Constructors
    Constructor
    Description
    MainServlet()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected void
    doGet(javax.servlet.http.HttpServletRequest request, javax.servlet.http.HttpServletResponse response)
     
    protected abstract void
    initPrototype(PrototypeBridge bridge)
    Initializes the prototype.
    static void
    setStoExSeed(long seed)
    Sets the seed for the StoEx evaluator.

    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 Details

    • MainServlet

      public MainServlet()

  • Method Details

    • setStoExSeed

      public static void setStoExSeed(long seed)
      Sets the seed for the StoEx evaluator.
      Parameters:
      seed - the seed

    • initPrototype

      protected abstract void initPrototype(PrototypeBridge bridge)
      Initializes the prototype.
      Parameters:
      bridge - the bridge in which the prototype data will be stored

    • doGet

      protected void doGet(javax.servlet.http.HttpServletRequest request, javax.servlet.http.HttpServletResponse response) throws javax.servlet.ServletException, IOException
      Overrides:
      doGet in class javax.servlet.http.HttpServlet
      Throws:
      javax.servlet.ServletException
      IOException