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:

Serialized Form

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 Detail

MainServlet

public MainServlet()

Method Detail

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