codeql/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServlet.java

// Generated automatically from javax.servlet.http.HttpServlet for testing purposes

package javax.servlet.http;

import javax.servlet.GenericServlet;
import javax.servlet.ServletRequest;
import javax.servlet.ServletResponse;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;

abstract public class HttpServlet extends GenericServlet
{
    protected long getLastModified(HttpServletRequest p0){ return 0; }
    protected void doDelete(HttpServletRequest p0, HttpServletResponse p1){}
    protected void doGet(HttpServletRequest p0, HttpServletResponse p1){}
    protected void doHead(HttpServletRequest p0, HttpServletResponse p1){}
    protected void doOptions(HttpServletRequest p0, HttpServletResponse p1){}
    protected void doPost(HttpServletRequest p0, HttpServletResponse p1){}
    protected void doPut(HttpServletRequest p0, HttpServletResponse p1){}
    protected void doTrace(HttpServletRequest p0, HttpServletResponse p1){}
    protected void service(HttpServletRequest p0, HttpServletResponse p1){}
    public HttpServlet(){}
    public void service(ServletRequest p0, ServletResponse p1){}
}