public class XtextResourcesServlet
extends javax.servlet.http.HttpServlet
| Constructor and Description |
|---|
XtextResourcesServlet() |
| Modifier and Type | Method and Description |
|---|---|
void |
doGet(javax.servlet.http.HttpServletRequest request,
javax.servlet.http.HttpServletResponse response) |
protected java.io.InputStream |
getResourceAsStream(java.lang.String resourceURI) |
void |
init(javax.servlet.ServletConfig config) |
doDelete, doHead, doOptions, doPost, doPut, doTrace, getLastModified, service, servicepublic void init(javax.servlet.ServletConfig config)
throws javax.servlet.ServletException
init in interface javax.servlet.Servletinit in class javax.servlet.GenericServletjavax.servlet.ServletExceptionpublic void doGet(javax.servlet.http.HttpServletRequest request,
javax.servlet.http.HttpServletResponse response)
doGet in class javax.servlet.http.HttpServletprotected java.io.InputStream getResourceAsStream(java.lang.String resourceURI)