prompto.server

Class CodeStoreServlet

java.lang.Object

javax.servlet.GenericServlet

javax.servlet.http.HttpServlet

prompto.server.CleverServlet

prompto.server.ResourceServlet

prompto.server.CodeStoreServlet

All Implemented Interfaces:

Serializable, javax.servlet.Servlet, javax.servlet.ServletConfig

Direct Known Subclasses:

TranspilerServlet

public class CodeStoreServlet
extends ResourceServlet

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
CodeStoreServlet(String welcomePage)

Method Summary

Modifier and Type	Method and Description
protected org.eclipse.jetty.util.resource.Resource	getCodeResource(javax.servlet.http.HttpServletRequest request, String path)
protected org.eclipse.jetty.util.resource.Resource	getResource(javax.servlet.http.HttpServletRequest request, String path)
protected org.eclipse.jetty.util.resource.Resource	getStubResource(javax.servlet.http.HttpServletRequest request, String path)

Methods inherited from class prompto.server.ResourceServlet

getResource, init, service, writeHeaders

Methods inherited from class prompto.server.CleverServlet

getServletName, readParts, setHolder, setMultipartConfig, writeJSONError, writeJsonResponseError, writeJSONResult

Methods inherited from class javax.servlet.http.HttpServlet

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

Methods inherited from class javax.servlet.GenericServlet

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

Methods inherited from class java.lang.Object

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

Constructor Detail

CodeStoreServlet

public CodeStoreServlet(String welcomePage)

Method Detail

getResource

protected org.eclipse.jetty.util.resource.Resource getResource(javax.servlet.http.HttpServletRequest request,
                                                               String path)

Specified by:

getResource in class ResourceServlet

getStubResource

protected org.eclipse.jetty.util.resource.Resource getStubResource(javax.servlet.http.HttpServletRequest request,
                                                                   String path)

getCodeResource

protected org.eclipse.jetty.util.resource.Resource getCodeResource(javax.servlet.http.HttpServletRequest request,
                                                                   String path)