diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/AsyncContext.java b/java/ql/test/stubs/javafx-web/javax/servlet/AsyncContext.java deleted file mode 100644 index 70a39f55ac9..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/AsyncContext.java +++ /dev/null @@ -1,31 +0,0 @@ -// Generated automatically from javax.servlet.AsyncContext for testing purposes - -package javax.servlet; - -import javax.servlet.AsyncListener; -import javax.servlet.ServletContext; -import javax.servlet.ServletRequest; -import javax.servlet.ServletResponse; - -public interface AsyncContext -{ - T createListener(java.lang.Class p0); - ServletRequest getRequest(); - ServletResponse getResponse(); - boolean hasOriginalRequestAndResponse(); - long getTimeout(); - static String ASYNC_CONTEXT_PATH = null; - static String ASYNC_MAPPING = null; - static String ASYNC_PATH_INFO = null; - static String ASYNC_QUERY_STRING = null; - static String ASYNC_REQUEST_URI = null; - static String ASYNC_SERVLET_PATH = null; - void addListener(AsyncListener p0); - void addListener(AsyncListener p0, ServletRequest p1, ServletResponse p2); - void complete(); - void dispatch(); - void dispatch(ServletContext p0, String p1); - void dispatch(String p0); - void setTimeout(long p0); - void start(Runnable p0); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/AsyncEvent.java b/java/ql/test/stubs/javafx-web/javax/servlet/AsyncEvent.java deleted file mode 100644 index d7cb9c2b175..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/AsyncEvent.java +++ /dev/null @@ -1,20 +0,0 @@ -// Generated automatically from javax.servlet.AsyncEvent for testing purposes - -package javax.servlet; - -import javax.servlet.AsyncContext; -import javax.servlet.ServletRequest; -import javax.servlet.ServletResponse; - -public class AsyncEvent -{ - protected AsyncEvent() {} - public AsyncContext getAsyncContext(){ return null; } - public AsyncEvent(AsyncContext p0){} - public AsyncEvent(AsyncContext p0, ServletRequest p1, ServletResponse p2){} - public AsyncEvent(AsyncContext p0, ServletRequest p1, ServletResponse p2, Throwable p3){} - public AsyncEvent(AsyncContext p0, Throwable p1){} - public ServletRequest getSuppliedRequest(){ return null; } - public ServletResponse getSuppliedResponse(){ return null; } - public Throwable getThrowable(){ return null; } -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/AsyncListener.java b/java/ql/test/stubs/javafx-web/javax/servlet/AsyncListener.java deleted file mode 100644 index 2723482f668..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/AsyncListener.java +++ /dev/null @@ -1,14 +0,0 @@ -// Generated automatically from javax.servlet.AsyncListener for testing purposes - -package javax.servlet; - -import java.util.EventListener; -import javax.servlet.AsyncEvent; - -public interface AsyncListener extends EventListener -{ - void onComplete(AsyncEvent p0); - void onError(AsyncEvent p0); - void onStartAsync(AsyncEvent p0); - void onTimeout(AsyncEvent p0); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/DispatcherType.java b/java/ql/test/stubs/javafx-web/javax/servlet/DispatcherType.java deleted file mode 100644 index 2b7b44f328d..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/DispatcherType.java +++ /dev/null @@ -1,10 +0,0 @@ -// Generated automatically from javax.servlet.DispatcherType for testing purposes - -package javax.servlet; - - -public enum DispatcherType -{ - ASYNC, ERROR, FORWARD, INCLUDE, REQUEST; - private DispatcherType() {} -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/Filter.java b/java/ql/test/stubs/javafx-web/javax/servlet/Filter.java deleted file mode 100644 index 64b9f9d73a8..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/Filter.java +++ /dev/null @@ -1,15 +0,0 @@ -// Generated automatically from javax.servlet.Filter for testing purposes - -package javax.servlet; - -import javax.servlet.FilterChain; -import javax.servlet.FilterConfig; -import javax.servlet.ServletRequest; -import javax.servlet.ServletResponse; - -public interface Filter -{ - default void destroy(){} - default void init(FilterConfig p0){} - void doFilter(ServletRequest p0, ServletResponse p1, FilterChain p2); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/FilterChain.java b/java/ql/test/stubs/javafx-web/javax/servlet/FilterChain.java deleted file mode 100644 index f64ab722684..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/FilterChain.java +++ /dev/null @@ -1,11 +0,0 @@ -// Generated automatically from javax.servlet.FilterChain for testing purposes - -package javax.servlet; - -import javax.servlet.ServletRequest; -import javax.servlet.ServletResponse; - -public interface FilterChain -{ - void doFilter(ServletRequest p0, ServletResponse p1); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/FilterConfig.java b/java/ql/test/stubs/javafx-web/javax/servlet/FilterConfig.java deleted file mode 100644 index 0e140c6680c..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/FilterConfig.java +++ /dev/null @@ -1,14 +0,0 @@ -// Generated automatically from javax.servlet.FilterConfig for testing purposes - -package javax.servlet; - -import java.util.Enumeration; -import javax.servlet.ServletContext; - -public interface FilterConfig -{ - Enumeration getInitParameterNames(); - ServletContext getServletContext(); - String getFilterName(); - String getInitParameter(String p0); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/FilterRegistration.java b/java/ql/test/stubs/javafx-web/javax/servlet/FilterRegistration.java deleted file mode 100644 index 6ad0739ceb6..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/FilterRegistration.java +++ /dev/null @@ -1,19 +0,0 @@ -// Generated automatically from javax.servlet.FilterRegistration for testing purposes - -package javax.servlet; - -import java.util.Collection; -import java.util.EnumSet; -import javax.servlet.DispatcherType; -import javax.servlet.Registration; - -public interface FilterRegistration extends Registration -{ - Collection getServletNameMappings(); - Collection getUrlPatternMappings(); - static public interface Dynamic extends FilterRegistration, Registration.Dynamic - { - } - void addMappingForServletNames(EnumSet p0, boolean p1, String... p2); - void addMappingForUrlPatterns(EnumSet p0, boolean p1, String... p2); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/GenericServlet.java b/java/ql/test/stubs/javafx-web/javax/servlet/GenericServlet.java deleted file mode 100644 index 5f7bdcda487..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/GenericServlet.java +++ /dev/null @@ -1,28 +0,0 @@ -// Generated automatically from javax.servlet.GenericServlet for testing purposes - -package javax.servlet; - -import java.io.Serializable; -import java.util.Enumeration; -import javax.servlet.Servlet; -import javax.servlet.ServletConfig; -import javax.servlet.ServletContext; -import javax.servlet.ServletRequest; -import javax.servlet.ServletResponse; - -abstract public class GenericServlet implements Serializable, Servlet, ServletConfig -{ - public Enumeration getInitParameterNames(){ return null; } - public GenericServlet(){} - public ServletConfig getServletConfig(){ return null; } - public ServletContext getServletContext(){ return null; } - public String getInitParameter(String p0){ return null; } - public String getServletInfo(){ return null; } - public String getServletName(){ return null; } - public abstract void service(ServletRequest p0, ServletResponse p1); - public void destroy(){} - public void init(){} - public void init(ServletConfig p0){} - public void log(String p0){} - public void log(String p0, Throwable p1){} -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/HttpConstraintElement.java b/java/ql/test/stubs/javafx-web/javax/servlet/HttpConstraintElement.java deleted file mode 100644 index 6598aa47cc5..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/HttpConstraintElement.java +++ /dev/null @@ -1,16 +0,0 @@ -// Generated automatically from javax.servlet.HttpConstraintElement for testing purposes - -package javax.servlet; - -import javax.servlet.annotation.ServletSecurity; - -public class HttpConstraintElement -{ - public HttpConstraintElement(){} - public HttpConstraintElement(ServletSecurity.EmptyRoleSemantic p0){} - public HttpConstraintElement(ServletSecurity.EmptyRoleSemantic p0, ServletSecurity.TransportGuarantee p1, String... p2){} - public HttpConstraintElement(ServletSecurity.TransportGuarantee p0, String... p1){} - public ServletSecurity.EmptyRoleSemantic getEmptyRoleSemantic(){ return null; } - public ServletSecurity.TransportGuarantee getTransportGuarantee(){ return null; } - public String[] getRolesAllowed(){ return null; } -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/HttpMethodConstraintElement.java b/java/ql/test/stubs/javafx-web/javax/servlet/HttpMethodConstraintElement.java deleted file mode 100644 index ddb52527004..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/HttpMethodConstraintElement.java +++ /dev/null @@ -1,13 +0,0 @@ -// Generated automatically from javax.servlet.HttpMethodConstraintElement for testing purposes - -package javax.servlet; - -import javax.servlet.HttpConstraintElement; - -public class HttpMethodConstraintElement extends HttpConstraintElement -{ - protected HttpMethodConstraintElement() {} - public HttpMethodConstraintElement(String p0){} - public HttpMethodConstraintElement(String p0, HttpConstraintElement p1){} - public String getMethodName(){ return null; } -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/MultipartConfigElement.java b/java/ql/test/stubs/javafx-web/javax/servlet/MultipartConfigElement.java deleted file mode 100644 index 8470d9a5317..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/MultipartConfigElement.java +++ /dev/null @@ -1,17 +0,0 @@ -// Generated automatically from javax.servlet.MultipartConfigElement for testing purposes - -package javax.servlet; - -import javax.servlet.annotation.MultipartConfig; - -public class MultipartConfigElement -{ - protected MultipartConfigElement() {} - public MultipartConfigElement(MultipartConfig p0){} - public MultipartConfigElement(String p0){} - public MultipartConfigElement(String p0, long p1, long p2, int p3){} - public String getLocation(){ return null; } - public int getFileSizeThreshold(){ return 0; } - public long getMaxFileSize(){ return 0; } - public long getMaxRequestSize(){ return 0; } -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/ReadListener.java b/java/ql/test/stubs/javafx-web/javax/servlet/ReadListener.java deleted file mode 100644 index 367594ef7da..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/ReadListener.java +++ /dev/null @@ -1,12 +0,0 @@ -// Generated automatically from javax.servlet.ReadListener for testing purposes - -package javax.servlet; - -import java.util.EventListener; - -public interface ReadListener extends EventListener -{ - void onAllDataRead(); - void onDataAvailable(); - void onError(Throwable p0); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/Registration.java b/java/ql/test/stubs/javafx-web/javax/servlet/Registration.java deleted file mode 100644 index 5d4095813ef..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/Registration.java +++ /dev/null @@ -1,20 +0,0 @@ -// Generated automatically from javax.servlet.Registration for testing purposes - -package javax.servlet; - -import java.util.Map; -import java.util.Set; - -public interface Registration -{ - Map getInitParameters(); - Set setInitParameters(Map p0); - String getClassName(); - String getInitParameter(String p0); - String getName(); - boolean setInitParameter(String p0, String p1); - static public interface Dynamic extends Registration - { - void setAsyncSupported(boolean p0); - } -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/RequestDispatcher.java b/java/ql/test/stubs/javafx-web/javax/servlet/RequestDispatcher.java deleted file mode 100644 index ad017e4f501..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/RequestDispatcher.java +++ /dev/null @@ -1,30 +0,0 @@ -// Generated automatically from javax.servlet.RequestDispatcher for testing purposes - -package javax.servlet; - -import javax.servlet.ServletRequest; -import javax.servlet.ServletResponse; - -public interface RequestDispatcher -{ - static String ERROR_EXCEPTION = null; - static String ERROR_EXCEPTION_TYPE = null; - static String ERROR_MESSAGE = null; - static String ERROR_REQUEST_URI = null; - static String ERROR_SERVLET_NAME = null; - static String ERROR_STATUS_CODE = null; - static String FORWARD_CONTEXT_PATH = null; - static String FORWARD_MAPPING = null; - static String FORWARD_PATH_INFO = null; - static String FORWARD_QUERY_STRING = null; - static String FORWARD_REQUEST_URI = null; - static String FORWARD_SERVLET_PATH = null; - static String INCLUDE_CONTEXT_PATH = null; - static String INCLUDE_MAPPING = null; - static String INCLUDE_PATH_INFO = null; - static String INCLUDE_QUERY_STRING = null; - static String INCLUDE_REQUEST_URI = null; - static String INCLUDE_SERVLET_PATH = null; - void forward(ServletRequest p0, ServletResponse p1); - void include(ServletRequest p0, ServletResponse p1); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/Servlet.java b/java/ql/test/stubs/javafx-web/javax/servlet/Servlet.java deleted file mode 100644 index 231c011a6f8..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/Servlet.java +++ /dev/null @@ -1,16 +0,0 @@ -// Generated automatically from javax.servlet.Servlet for testing purposes - -package javax.servlet; - -import javax.servlet.ServletConfig; -import javax.servlet.ServletRequest; -import javax.servlet.ServletResponse; - -public interface Servlet -{ - ServletConfig getServletConfig(); - String getServletInfo(); - void destroy(); - void init(ServletConfig p0); - void service(ServletRequest p0, ServletResponse p1); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/ServletConfig.java b/java/ql/test/stubs/javafx-web/javax/servlet/ServletConfig.java deleted file mode 100644 index c483c16ac4e..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/ServletConfig.java +++ /dev/null @@ -1,14 +0,0 @@ -// Generated automatically from javax.servlet.ServletConfig for testing purposes - -package javax.servlet; - -import java.util.Enumeration; -import javax.servlet.ServletContext; - -public interface ServletConfig -{ - Enumeration getInitParameterNames(); - ServletContext getServletContext(); - String getInitParameter(String p0); - String getServletName(); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/ServletContext.java b/java/ql/test/stubs/javafx-web/javax/servlet/ServletContext.java deleted file mode 100644 index 812393f61e9..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/ServletContext.java +++ /dev/null @@ -1,83 +0,0 @@ -// Generated automatically from javax.servlet.ServletContext for testing purposes - -package javax.servlet; - -import java.io.InputStream; -import java.net.URL; -import java.util.Enumeration; -import java.util.EventListener; -import java.util.Map; -import java.util.Set; -import javax.servlet.Filter; -import javax.servlet.FilterRegistration; -import javax.servlet.RequestDispatcher; -import javax.servlet.Servlet; -import javax.servlet.ServletRegistration; -import javax.servlet.SessionCookieConfig; -import javax.servlet.SessionTrackingMode; -import javax.servlet.descriptor.JspConfigDescriptor; - -public interface ServletContext -{ - T createListener(java.lang.Class p0); - void addListener(T p0); - T createFilter(java.lang.Class p0); - T createServlet(java.lang.Class p0); - ClassLoader getClassLoader(); - Enumeration getServlets(); - Enumeration getAttributeNames(); - Enumeration getInitParameterNames(); - Enumeration getServletNames(); - FilterRegistration getFilterRegistration(String p0); - FilterRegistration.Dynamic addFilter(String p0, Class p1); - FilterRegistration.Dynamic addFilter(String p0, Filter p1); - FilterRegistration.Dynamic addFilter(String p0, String p1); - InputStream getResourceAsStream(String p0); - JspConfigDescriptor getJspConfigDescriptor(); - Map getFilterRegistrations(); - Map getServletRegistrations(); - Object getAttribute(String p0); - RequestDispatcher getNamedDispatcher(String p0); - RequestDispatcher getRequestDispatcher(String p0); - Servlet getServlet(String p0); - ServletContext getContext(String p0); - ServletRegistration getServletRegistration(String p0); - ServletRegistration.Dynamic addJspFile(String p0, String p1); - ServletRegistration.Dynamic addServlet(String p0, Class p1); - ServletRegistration.Dynamic addServlet(String p0, Servlet p1); - ServletRegistration.Dynamic addServlet(String p0, String p1); - SessionCookieConfig getSessionCookieConfig(); - Set getDefaultSessionTrackingModes(); - Set getEffectiveSessionTrackingModes(); - Set getResourcePaths(String p0); - String getContextPath(); - String getInitParameter(String p0); - String getMimeType(String p0); - String getRealPath(String p0); - String getRequestCharacterEncoding(); - String getResponseCharacterEncoding(); - String getServerInfo(); - String getServletContextName(); - String getVirtualServerName(); - URL getResource(String p0); - boolean setInitParameter(String p0, String p1); - int getEffectiveMajorVersion(); - int getEffectiveMinorVersion(); - int getMajorVersion(); - int getMinorVersion(); - int getSessionTimeout(); - static String ORDERED_LIBS = null; - static String TEMPDIR = null; - void addListener(Class p0); - void addListener(String p0); - void declareRoles(String... p0); - void log(Exception p0, String p1); - void log(String p0); - void log(String p0, Throwable p1); - void removeAttribute(String p0); - void setAttribute(String p0, Object p1); - void setRequestCharacterEncoding(String p0); - void setResponseCharacterEncoding(String p0); - void setSessionTimeout(int p0); - void setSessionTrackingModes(Set p0); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/ServletInputStream.java b/java/ql/test/stubs/javafx-web/javax/servlet/ServletInputStream.java deleted file mode 100644 index 31034066970..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/ServletInputStream.java +++ /dev/null @@ -1,15 +0,0 @@ -// Generated automatically from javax.servlet.ServletInputStream for testing purposes - -package javax.servlet; - -import java.io.InputStream; -import javax.servlet.ReadListener; - -abstract public class ServletInputStream extends InputStream -{ - protected ServletInputStream(){} - public abstract boolean isFinished(); - public abstract boolean isReady(); - public abstract void setReadListener(ReadListener p0); - public int readLine(byte[] p0, int p1, int p2){ return 0; } -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/ServletOutputStream.java b/java/ql/test/stubs/javafx-web/javax/servlet/ServletOutputStream.java deleted file mode 100644 index 52a2162c9eb..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/ServletOutputStream.java +++ /dev/null @@ -1,28 +0,0 @@ -// Generated automatically from javax.servlet.ServletOutputStream for testing purposes - -package javax.servlet; - -import java.io.OutputStream; -import javax.servlet.WriteListener; - -abstract public class ServletOutputStream extends OutputStream -{ - protected ServletOutputStream(){} - public abstract boolean isReady(); - public abstract void setWriteListener(WriteListener p0); - public void print(String p0){} - public void print(boolean p0){} - public void print(char p0){} - public void print(double p0){} - public void print(float p0){} - public void print(int p0){} - public void print(long p0){} - public void println(){} - public void println(String p0){} - public void println(boolean p0){} - public void println(char p0){} - public void println(double p0){} - public void println(float p0){} - public void println(int p0){} - public void println(long p0){} -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/ServletRegistration.java b/java/ql/test/stubs/javafx-web/javax/servlet/ServletRegistration.java deleted file mode 100644 index a1cc66f2d19..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/ServletRegistration.java +++ /dev/null @@ -1,23 +0,0 @@ -// Generated automatically from javax.servlet.ServletRegistration for testing purposes - -package javax.servlet; - -import java.util.Collection; -import java.util.Set; -import javax.servlet.MultipartConfigElement; -import javax.servlet.Registration; -import javax.servlet.ServletSecurityElement; - -public interface ServletRegistration extends Registration -{ - Collection getMappings(); - Set addMapping(String... p0); - String getRunAsRole(); - static public interface Dynamic extends Registration.Dynamic, ServletRegistration - { - Set setServletSecurity(ServletSecurityElement p0); - void setLoadOnStartup(int p0); - void setMultipartConfig(MultipartConfigElement p0); - void setRunAsRole(String p0); - } -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/ServletRequest.java b/java/ql/test/stubs/javafx-web/javax/servlet/ServletRequest.java deleted file mode 100644 index fc0db462cc0..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/ServletRequest.java +++ /dev/null @@ -1,55 +0,0 @@ -// Generated automatically from javax.servlet.ServletRequest for testing purposes - -package javax.servlet; - -import java.io.BufferedReader; -import java.util.Enumeration; -import java.util.Locale; -import java.util.Map; -import javax.servlet.AsyncContext; -import javax.servlet.DispatcherType; -import javax.servlet.RequestDispatcher; -import javax.servlet.ServletContext; -import javax.servlet.ServletInputStream; -import javax.servlet.ServletResponse; - -public interface ServletRequest -{ - AsyncContext getAsyncContext(); - AsyncContext startAsync(); - AsyncContext startAsync(ServletRequest p0, ServletResponse p1); - BufferedReader getReader(); - DispatcherType getDispatcherType(); - Enumeration getLocales(); - Enumeration getAttributeNames(); - Enumeration getParameterNames(); - Locale getLocale(); - Map getParameterMap(); - Object getAttribute(String p0); - RequestDispatcher getRequestDispatcher(String p0); - ServletContext getServletContext(); - ServletInputStream getInputStream(); - String getCharacterEncoding(); - String getContentType(); - String getLocalAddr(); - String getLocalName(); - String getParameter(String p0); - String getProtocol(); - String getRealPath(String p0); - String getRemoteAddr(); - String getRemoteHost(); - String getScheme(); - String getServerName(); - String[] getParameterValues(String p0); - boolean isAsyncStarted(); - boolean isAsyncSupported(); - boolean isSecure(); - int getContentLength(); - int getLocalPort(); - int getRemotePort(); - int getServerPort(); - long getContentLengthLong(); - void removeAttribute(String p0); - void setAttribute(String p0, Object p1); - void setCharacterEncoding(String p0); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/ServletResponse.java b/java/ql/test/stubs/javafx-web/javax/servlet/ServletResponse.java deleted file mode 100644 index db6610bc15d..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/ServletResponse.java +++ /dev/null @@ -1,27 +0,0 @@ -// Generated automatically from javax.servlet.ServletResponse for testing purposes - -package javax.servlet; - -import java.io.PrintWriter; -import java.util.Locale; -import javax.servlet.ServletOutputStream; - -public interface ServletResponse -{ - Locale getLocale(); - PrintWriter getWriter(); - ServletOutputStream getOutputStream(); - String getCharacterEncoding(); - String getContentType(); - boolean isCommitted(); - int getBufferSize(); - void flushBuffer(); - void reset(); - void resetBuffer(); - void setBufferSize(int p0); - void setCharacterEncoding(String p0); - void setContentLength(int p0); - void setContentLengthLong(long p0); - void setContentType(String p0); - void setLocale(Locale p0); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/ServletSecurityElement.java b/java/ql/test/stubs/javafx-web/javax/servlet/ServletSecurityElement.java deleted file mode 100644 index def47937391..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/ServletSecurityElement.java +++ /dev/null @@ -1,19 +0,0 @@ -// Generated automatically from javax.servlet.ServletSecurityElement for testing purposes - -package javax.servlet; - -import java.util.Collection; -import javax.servlet.HttpConstraintElement; -import javax.servlet.HttpMethodConstraintElement; -import javax.servlet.annotation.ServletSecurity; - -public class ServletSecurityElement extends HttpConstraintElement -{ - public Collection getHttpMethodConstraints(){ return null; } - public Collection getMethodNames(){ return null; } - public ServletSecurityElement(){} - public ServletSecurityElement(Collection p0){} - public ServletSecurityElement(HttpConstraintElement p0){} - public ServletSecurityElement(HttpConstraintElement p0, Collection p1){} - public ServletSecurityElement(ServletSecurity p0){} -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/SessionCookieConfig.java b/java/ql/test/stubs/javafx-web/javax/servlet/SessionCookieConfig.java deleted file mode 100644 index 4cae9a11f30..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/SessionCookieConfig.java +++ /dev/null @@ -1,22 +0,0 @@ -// Generated automatically from javax.servlet.SessionCookieConfig for testing purposes - -package javax.servlet; - - -public interface SessionCookieConfig -{ - String getComment(); - String getDomain(); - String getName(); - String getPath(); - boolean isHttpOnly(); - boolean isSecure(); - int getMaxAge(); - void setComment(String p0); - void setDomain(String p0); - void setHttpOnly(boolean p0); - void setMaxAge(int p0); - void setName(String p0); - void setPath(String p0); - void setSecure(boolean p0); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/SessionTrackingMode.java b/java/ql/test/stubs/javafx-web/javax/servlet/SessionTrackingMode.java deleted file mode 100644 index 684ac40c56f..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/SessionTrackingMode.java +++ /dev/null @@ -1,10 +0,0 @@ -// Generated automatically from javax.servlet.SessionTrackingMode for testing purposes - -package javax.servlet; - - -public enum SessionTrackingMode -{ - COOKIE, SSL, URL; - private SessionTrackingMode() {} -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/WriteListener.java b/java/ql/test/stubs/javafx-web/javax/servlet/WriteListener.java deleted file mode 100644 index 24fe504271c..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/WriteListener.java +++ /dev/null @@ -1,11 +0,0 @@ -// Generated automatically from javax.servlet.WriteListener for testing purposes - -package javax.servlet; - -import java.util.EventListener; - -public interface WriteListener extends EventListener -{ - void onError(Throwable p0); - void onWritePossible(); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/annotation/HttpConstraint.java b/java/ql/test/stubs/javafx-web/javax/servlet/annotation/HttpConstraint.java deleted file mode 100644 index f47efc62744..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/annotation/HttpConstraint.java +++ /dev/null @@ -1,18 +0,0 @@ -// Generated automatically from javax.servlet.annotation.HttpConstraint for testing purposes - -package javax.servlet.annotation; - -import java.lang.annotation.Annotation; -import java.lang.annotation.Documented; -import java.lang.annotation.Retention; -import java.lang.annotation.RetentionPolicy; -import javax.servlet.annotation.ServletSecurity; - -@Documented -@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME) -public @interface HttpConstraint -{ - ServletSecurity.EmptyRoleSemantic value(); - ServletSecurity.TransportGuarantee transportGuarantee(); - String[] rolesAllowed(); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/annotation/HttpMethodConstraint.java b/java/ql/test/stubs/javafx-web/javax/servlet/annotation/HttpMethodConstraint.java deleted file mode 100644 index 288f4651018..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/annotation/HttpMethodConstraint.java +++ /dev/null @@ -1,19 +0,0 @@ -// Generated automatically from javax.servlet.annotation.HttpMethodConstraint for testing purposes - -package javax.servlet.annotation; - -import java.lang.annotation.Annotation; -import java.lang.annotation.Documented; -import java.lang.annotation.Retention; -import java.lang.annotation.RetentionPolicy; -import javax.servlet.annotation.ServletSecurity; - -@Documented -@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME) -public @interface HttpMethodConstraint -{ - ServletSecurity.EmptyRoleSemantic emptyRoleSemantic(); - ServletSecurity.TransportGuarantee transportGuarantee(); - String value(); - String[] rolesAllowed(); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/annotation/MultipartConfig.java b/java/ql/test/stubs/javafx-web/javax/servlet/annotation/MultipartConfig.java deleted file mode 100644 index baccad3e199..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/annotation/MultipartConfig.java +++ /dev/null @@ -1,19 +0,0 @@ -// Generated automatically from javax.servlet.annotation.MultipartConfig for testing purposes - -package javax.servlet.annotation; - -import java.lang.annotation.Annotation; -import java.lang.annotation.ElementType; -import java.lang.annotation.Retention; -import java.lang.annotation.RetentionPolicy; -import java.lang.annotation.Target; - -@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME) -@Target(value={java.lang.annotation.ElementType.TYPE}) -public @interface MultipartConfig -{ - String location(); - int fileSizeThreshold(); - long maxFileSize(); - long maxRequestSize(); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/annotation/ServletSecurity.java b/java/ql/test/stubs/javafx-web/javax/servlet/annotation/ServletSecurity.java deleted file mode 100644 index 021b6c64c2a..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/annotation/ServletSecurity.java +++ /dev/null @@ -1,33 +0,0 @@ -// Generated automatically from javax.servlet.annotation.ServletSecurity for testing purposes - -package javax.servlet.annotation; - -import java.lang.annotation.Annotation; -import java.lang.annotation.Documented; -import java.lang.annotation.ElementType; -import java.lang.annotation.Inherited; -import java.lang.annotation.Retention; -import java.lang.annotation.RetentionPolicy; -import java.lang.annotation.Target; -import javax.servlet.annotation.HttpConstraint; -import javax.servlet.annotation.HttpMethodConstraint; - -@Documented -@Inherited -@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME) -@Target(value={java.lang.annotation.ElementType.TYPE}) -public @interface ServletSecurity -{ - HttpConstraint value(); - HttpMethodConstraint[] httpMethodConstraints(); - static public enum EmptyRoleSemantic - { - DENY, PERMIT; - private EmptyRoleSemantic() {} - } - static public enum TransportGuarantee - { - CONFIDENTIAL, NONE; - private TransportGuarantee() {} - } -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/descriptor/JspConfigDescriptor.java b/java/ql/test/stubs/javafx-web/javax/servlet/descriptor/JspConfigDescriptor.java deleted file mode 100644 index 8d93a4318d7..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/descriptor/JspConfigDescriptor.java +++ /dev/null @@ -1,13 +0,0 @@ -// Generated automatically from javax.servlet.descriptor.JspConfigDescriptor for testing purposes - -package javax.servlet.descriptor; - -import java.util.Collection; -import javax.servlet.descriptor.JspPropertyGroupDescriptor; -import javax.servlet.descriptor.TaglibDescriptor; - -public interface JspConfigDescriptor -{ - Collection getJspPropertyGroups(); - Collection getTaglibs(); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/descriptor/JspPropertyGroupDescriptor.java b/java/ql/test/stubs/javafx-web/javax/servlet/descriptor/JspPropertyGroupDescriptor.java deleted file mode 100644 index dd852fa1088..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/descriptor/JspPropertyGroupDescriptor.java +++ /dev/null @@ -1,21 +0,0 @@ -// Generated automatically from javax.servlet.descriptor.JspPropertyGroupDescriptor for testing purposes - -package javax.servlet.descriptor; - -import java.util.Collection; - -public interface JspPropertyGroupDescriptor -{ - Collection getIncludeCodas(); - Collection getIncludePreludes(); - Collection getUrlPatterns(); - String getBuffer(); - String getDefaultContentType(); - String getDeferredSyntaxAllowedAsLiteral(); - String getElIgnored(); - String getErrorOnUndeclaredNamespace(); - String getIsXml(); - String getPageEncoding(); - String getScriptingInvalid(); - String getTrimDirectiveWhitespaces(); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/descriptor/TaglibDescriptor.java b/java/ql/test/stubs/javafx-web/javax/servlet/descriptor/TaglibDescriptor.java deleted file mode 100644 index c3dd5c10473..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/descriptor/TaglibDescriptor.java +++ /dev/null @@ -1,10 +0,0 @@ -// Generated automatically from javax.servlet.descriptor.TaglibDescriptor for testing purposes - -package javax.servlet.descriptor; - - -public interface TaglibDescriptor -{ - String getTaglibLocation(); - String getTaglibURI(); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/http/Cookie.java b/java/ql/test/stubs/javafx-web/javax/servlet/http/Cookie.java deleted file mode 100644 index b5a180029be..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/http/Cookie.java +++ /dev/null @@ -1,29 +0,0 @@ -// Generated automatically from javax.servlet.http.Cookie for testing purposes - -package javax.servlet.http; - -import java.io.Serializable; - -public class Cookie implements Cloneable, Serializable -{ - protected Cookie() {} - public Cookie(String p0, String p1){} - public Object clone(){ return null; } - public String getComment(){ return null; } - public String getDomain(){ return null; } - public String getName(){ return null; } - public String getPath(){ return null; } - public String getValue(){ return null; } - public boolean getSecure(){ return false; } - public boolean isHttpOnly(){ return false; } - public int getMaxAge(){ return 0; } - public int getVersion(){ return 0; } - public void setComment(String p0){} - public void setDomain(String p0){} - public void setHttpOnly(boolean p0){} - public void setMaxAge(int p0){} - public void setPath(String p0){} - public void setSecure(boolean p0){} - public void setValue(String p0){} - public void setVersion(int p0){} -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServlet.java b/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServlet.java deleted file mode 100644 index 1247f956d78..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServlet.java +++ /dev/null @@ -1,24 +0,0 @@ -// 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){} -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServletMapping.java b/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServletMapping.java deleted file mode 100644 index 1b597f27773..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServletMapping.java +++ /dev/null @@ -1,13 +0,0 @@ -// Generated automatically from javax.servlet.http.HttpServletMapping for testing purposes - -package javax.servlet.http; - -import javax.servlet.http.MappingMatch; - -public interface HttpServletMapping -{ - MappingMatch getMappingMatch(); - String getMatchValue(); - String getPattern(); - String getServletName(); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServletRequest.java b/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServletRequest.java deleted file mode 100644 index 8612c34fb69..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServletRequest.java +++ /dev/null @@ -1,60 +0,0 @@ -// Generated automatically from javax.servlet.http.HttpServletRequest for testing purposes - -package javax.servlet.http; - -import java.security.Principal; -import java.util.Collection; -import java.util.Enumeration; -import java.util.Map; -import javax.servlet.ServletRequest; -import javax.servlet.http.Cookie; -import javax.servlet.http.HttpServletMapping; -import javax.servlet.http.HttpServletResponse; -import javax.servlet.http.HttpSession; -import javax.servlet.http.HttpUpgradeHandler; -import javax.servlet.http.Part; -import javax.servlet.http.PushBuilder; - -public interface HttpServletRequest extends ServletRequest -{ - T upgrade(java.lang.Class p0); - Collection getParts(); - Cookie[] getCookies(); - Enumeration getHeaderNames(); - Enumeration getHeaders(String p0); - HttpSession getSession(); - HttpSession getSession(boolean p0); - Part getPart(String p0); - Principal getUserPrincipal(); - String changeSessionId(); - String getAuthType(); - String getContextPath(); - String getHeader(String p0); - String getMethod(); - String getPathInfo(); - String getPathTranslated(); - String getQueryString(); - String getRemoteUser(); - String getRequestURI(); - String getRequestedSessionId(); - String getServletPath(); - StringBuffer getRequestURL(); - boolean authenticate(HttpServletResponse p0); - boolean isRequestedSessionIdFromCookie(); - boolean isRequestedSessionIdFromURL(); - boolean isRequestedSessionIdFromUrl(); - boolean isRequestedSessionIdValid(); - boolean isUserInRole(String p0); - default HttpServletMapping getHttpServletMapping(){ return null; } - default Map getTrailerFields(){ return null; } - default PushBuilder newPushBuilder(){ return null; } - default boolean isTrailerFieldsReady(){ return false; } - int getIntHeader(String p0); - long getDateHeader(String p0); - static String BASIC_AUTH = null; - static String CLIENT_CERT_AUTH = null; - static String DIGEST_AUTH = null; - static String FORM_AUTH = null; - void login(String p0, String p1); - void logout(); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServletResponse.java b/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServletResponse.java deleted file mode 100644 index da902dbf30c..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServletResponse.java +++ /dev/null @@ -1,77 +0,0 @@ -// Generated automatically from javax.servlet.http.HttpServletResponse for testing purposes - -package javax.servlet.http; - -import java.util.Collection; -import java.util.Map; -import java.util.function.Supplier; -import javax.servlet.ServletResponse; -import javax.servlet.http.Cookie; - -public interface HttpServletResponse extends ServletResponse -{ - Collection getHeaderNames(); - Collection getHeaders(String p0); - String encodeRedirectURL(String p0); - String encodeRedirectUrl(String p0); - String encodeURL(String p0); - String encodeUrl(String p0); - String getHeader(String p0); - boolean containsHeader(String p0); - default Supplier> getTrailerFields(){ return null; } - default void setTrailerFields(Supplier> p0){} - int getStatus(); - static int SC_ACCEPTED = 0; - static int SC_BAD_GATEWAY = 0; - static int SC_BAD_REQUEST = 0; - static int SC_CONFLICT = 0; - static int SC_CONTINUE = 0; - static int SC_CREATED = 0; - static int SC_EXPECTATION_FAILED = 0; - static int SC_FORBIDDEN = 0; - static int SC_FOUND = 0; - static int SC_GATEWAY_TIMEOUT = 0; - static int SC_GONE = 0; - static int SC_HTTP_VERSION_NOT_SUPPORTED = 0; - static int SC_INTERNAL_SERVER_ERROR = 0; - static int SC_LENGTH_REQUIRED = 0; - static int SC_METHOD_NOT_ALLOWED = 0; - static int SC_MOVED_PERMANENTLY = 0; - static int SC_MOVED_TEMPORARILY = 0; - static int SC_MULTIPLE_CHOICES = 0; - static int SC_NON_AUTHORITATIVE_INFORMATION = 0; - static int SC_NOT_ACCEPTABLE = 0; - static int SC_NOT_FOUND = 0; - static int SC_NOT_IMPLEMENTED = 0; - static int SC_NOT_MODIFIED = 0; - static int SC_NO_CONTENT = 0; - static int SC_OK = 0; - static int SC_PARTIAL_CONTENT = 0; - static int SC_PAYMENT_REQUIRED = 0; - static int SC_PRECONDITION_FAILED = 0; - static int SC_PROXY_AUTHENTICATION_REQUIRED = 0; - static int SC_REQUESTED_RANGE_NOT_SATISFIABLE = 0; - static int SC_REQUEST_ENTITY_TOO_LARGE = 0; - static int SC_REQUEST_TIMEOUT = 0; - static int SC_REQUEST_URI_TOO_LONG = 0; - static int SC_RESET_CONTENT = 0; - static int SC_SEE_OTHER = 0; - static int SC_SERVICE_UNAVAILABLE = 0; - static int SC_SWITCHING_PROTOCOLS = 0; - static int SC_TEMPORARY_REDIRECT = 0; - static int SC_UNAUTHORIZED = 0; - static int SC_UNSUPPORTED_MEDIA_TYPE = 0; - static int SC_USE_PROXY = 0; - void addCookie(Cookie p0); - void addDateHeader(String p0, long p1); - void addHeader(String p0, String p1); - void addIntHeader(String p0, int p1); - void sendError(int p0); - void sendError(int p0, String p1); - void sendRedirect(String p0); - void setDateHeader(String p0, long p1); - void setHeader(String p0, String p1); - void setIntHeader(String p0, int p1); - void setStatus(int p0); - void setStatus(int p0, String p1); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpSession.java b/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpSession.java deleted file mode 100644 index f8f455b1423..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpSession.java +++ /dev/null @@ -1,28 +0,0 @@ -// Generated automatically from javax.servlet.http.HttpSession for testing purposes - -package javax.servlet.http; - -import java.util.Enumeration; -import javax.servlet.ServletContext; -import javax.servlet.http.HttpSessionContext; - -public interface HttpSession -{ - Enumeration getAttributeNames(); - HttpSessionContext getSessionContext(); - Object getAttribute(String p0); - Object getValue(String p0); - ServletContext getServletContext(); - String getId(); - String[] getValueNames(); - boolean isNew(); - int getMaxInactiveInterval(); - long getCreationTime(); - long getLastAccessedTime(); - void invalidate(); - void putValue(String p0, Object p1); - void removeAttribute(String p0); - void removeValue(String p0); - void setAttribute(String p0, Object p1); - void setMaxInactiveInterval(int p0); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpSessionContext.java b/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpSessionContext.java deleted file mode 100644 index 97a77b48358..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpSessionContext.java +++ /dev/null @@ -1,12 +0,0 @@ -// Generated automatically from javax.servlet.http.HttpSessionContext for testing purposes - -package javax.servlet.http; - -import java.util.Enumeration; -import javax.servlet.http.HttpSession; - -public interface HttpSessionContext -{ - Enumeration getIds(); - HttpSession getSession(String p0); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpUpgradeHandler.java b/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpUpgradeHandler.java deleted file mode 100644 index 987d49dbde2..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/http/HttpUpgradeHandler.java +++ /dev/null @@ -1,11 +0,0 @@ -// Generated automatically from javax.servlet.http.HttpUpgradeHandler for testing purposes - -package javax.servlet.http; - -import javax.servlet.http.WebConnection; - -public interface HttpUpgradeHandler -{ - void destroy(); - void init(WebConnection p0); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/http/MappingMatch.java b/java/ql/test/stubs/javafx-web/javax/servlet/http/MappingMatch.java deleted file mode 100644 index 0432fd2ef7d..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/http/MappingMatch.java +++ /dev/null @@ -1,10 +0,0 @@ -// Generated automatically from javax.servlet.http.MappingMatch for testing purposes - -package javax.servlet.http; - - -public enum MappingMatch -{ - CONTEXT_ROOT, DEFAULT, EXACT, EXTENSION, PATH; - private MappingMatch() {} -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/http/Part.java b/java/ql/test/stubs/javafx-web/javax/servlet/http/Part.java deleted file mode 100644 index a4e599748a5..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/http/Part.java +++ /dev/null @@ -1,20 +0,0 @@ -// Generated automatically from javax.servlet.http.Part for testing purposes - -package javax.servlet.http; - -import java.io.InputStream; -import java.util.Collection; - -public interface Part -{ - Collection getHeaderNames(); - Collection getHeaders(String p0); - InputStream getInputStream(); - String getContentType(); - String getHeader(String p0); - String getName(); - String getSubmittedFileName(); - long getSize(); - void delete(); - void write(String p0); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/http/PushBuilder.java b/java/ql/test/stubs/javafx-web/javax/servlet/http/PushBuilder.java deleted file mode 100644 index 195e2426a83..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/http/PushBuilder.java +++ /dev/null @@ -1,23 +0,0 @@ -// Generated automatically from javax.servlet.http.PushBuilder for testing purposes - -package javax.servlet.http; - -import java.util.Set; - -public interface PushBuilder -{ - PushBuilder addHeader(String p0, String p1); - PushBuilder method(String p0); - PushBuilder path(String p0); - PushBuilder queryString(String p0); - PushBuilder removeHeader(String p0); - PushBuilder sessionId(String p0); - PushBuilder setHeader(String p0, String p1); - Set getHeaderNames(); - String getHeader(String p0); - String getMethod(); - String getPath(); - String getQueryString(); - String getSessionId(); - void push(); -} diff --git a/java/ql/test/stubs/javafx-web/javax/servlet/http/WebConnection.java b/java/ql/test/stubs/javafx-web/javax/servlet/http/WebConnection.java deleted file mode 100644 index 5001c046400..00000000000 --- a/java/ql/test/stubs/javafx-web/javax/servlet/http/WebConnection.java +++ /dev/null @@ -1,12 +0,0 @@ -// Generated automatically from javax.servlet.http.WebConnection for testing purposes - -package javax.servlet.http; - -import javax.servlet.ServletInputStream; -import javax.servlet.ServletOutputStream; - -public interface WebConnection extends AutoCloseable -{ - ServletInputStream getInputStream(); - ServletOutputStream getOutputStream(); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/annotation/HttpConstraint.java b/java/ql/test/stubs/javax-servlet-2.5/javax/annotation/HttpConstraint.java deleted file mode 100644 index f47efc62744..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/annotation/HttpConstraint.java +++ /dev/null @@ -1,18 +0,0 @@ -// Generated automatically from javax.servlet.annotation.HttpConstraint for testing purposes - -package javax.servlet.annotation; - -import java.lang.annotation.Annotation; -import java.lang.annotation.Documented; -import java.lang.annotation.Retention; -import java.lang.annotation.RetentionPolicy; -import javax.servlet.annotation.ServletSecurity; - -@Documented -@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME) -public @interface HttpConstraint -{ - ServletSecurity.EmptyRoleSemantic value(); - ServletSecurity.TransportGuarantee transportGuarantee(); - String[] rolesAllowed(); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/annotation/HttpMethodConstraint.java b/java/ql/test/stubs/javax-servlet-2.5/javax/annotation/HttpMethodConstraint.java deleted file mode 100644 index 288f4651018..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/annotation/HttpMethodConstraint.java +++ /dev/null @@ -1,19 +0,0 @@ -// Generated automatically from javax.servlet.annotation.HttpMethodConstraint for testing purposes - -package javax.servlet.annotation; - -import java.lang.annotation.Annotation; -import java.lang.annotation.Documented; -import java.lang.annotation.Retention; -import java.lang.annotation.RetentionPolicy; -import javax.servlet.annotation.ServletSecurity; - -@Documented -@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME) -public @interface HttpMethodConstraint -{ - ServletSecurity.EmptyRoleSemantic emptyRoleSemantic(); - ServletSecurity.TransportGuarantee transportGuarantee(); - String value(); - String[] rolesAllowed(); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/annotation/MultipartConfig.java b/java/ql/test/stubs/javax-servlet-2.5/javax/annotation/MultipartConfig.java deleted file mode 100644 index baccad3e199..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/annotation/MultipartConfig.java +++ /dev/null @@ -1,19 +0,0 @@ -// Generated automatically from javax.servlet.annotation.MultipartConfig for testing purposes - -package javax.servlet.annotation; - -import java.lang.annotation.Annotation; -import java.lang.annotation.ElementType; -import java.lang.annotation.Retention; -import java.lang.annotation.RetentionPolicy; -import java.lang.annotation.Target; - -@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME) -@Target(value={java.lang.annotation.ElementType.TYPE}) -public @interface MultipartConfig -{ - String location(); - int fileSizeThreshold(); - long maxFileSize(); - long maxRequestSize(); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/annotation/ServletSecurity.java b/java/ql/test/stubs/javax-servlet-2.5/javax/annotation/ServletSecurity.java deleted file mode 100644 index 021b6c64c2a..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/annotation/ServletSecurity.java +++ /dev/null @@ -1,33 +0,0 @@ -// Generated automatically from javax.servlet.annotation.ServletSecurity for testing purposes - -package javax.servlet.annotation; - -import java.lang.annotation.Annotation; -import java.lang.annotation.Documented; -import java.lang.annotation.ElementType; -import java.lang.annotation.Inherited; -import java.lang.annotation.Retention; -import java.lang.annotation.RetentionPolicy; -import java.lang.annotation.Target; -import javax.servlet.annotation.HttpConstraint; -import javax.servlet.annotation.HttpMethodConstraint; - -@Documented -@Inherited -@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME) -@Target(value={java.lang.annotation.ElementType.TYPE}) -public @interface ServletSecurity -{ - HttpConstraint value(); - HttpMethodConstraint[] httpMethodConstraints(); - static public enum EmptyRoleSemantic - { - DENY, PERMIT; - private EmptyRoleSemantic() {} - } - static public enum TransportGuarantee - { - CONFIDENTIAL, NONE; - private TransportGuarantee() {} - } -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/descriptor/JspConfigDescriptor.java b/java/ql/test/stubs/javax-servlet-2.5/javax/descriptor/JspConfigDescriptor.java deleted file mode 100644 index 8d93a4318d7..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/descriptor/JspConfigDescriptor.java +++ /dev/null @@ -1,13 +0,0 @@ -// Generated automatically from javax.servlet.descriptor.JspConfigDescriptor for testing purposes - -package javax.servlet.descriptor; - -import java.util.Collection; -import javax.servlet.descriptor.JspPropertyGroupDescriptor; -import javax.servlet.descriptor.TaglibDescriptor; - -public interface JspConfigDescriptor -{ - Collection getJspPropertyGroups(); - Collection getTaglibs(); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/descriptor/JspPropertyGroupDescriptor.java b/java/ql/test/stubs/javax-servlet-2.5/javax/descriptor/JspPropertyGroupDescriptor.java deleted file mode 100644 index dd852fa1088..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/descriptor/JspPropertyGroupDescriptor.java +++ /dev/null @@ -1,21 +0,0 @@ -// Generated automatically from javax.servlet.descriptor.JspPropertyGroupDescriptor for testing purposes - -package javax.servlet.descriptor; - -import java.util.Collection; - -public interface JspPropertyGroupDescriptor -{ - Collection getIncludeCodas(); - Collection getIncludePreludes(); - Collection getUrlPatterns(); - String getBuffer(); - String getDefaultContentType(); - String getDeferredSyntaxAllowedAsLiteral(); - String getElIgnored(); - String getErrorOnUndeclaredNamespace(); - String getIsXml(); - String getPageEncoding(); - String getScriptingInvalid(); - String getTrimDirectiveWhitespaces(); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/descriptor/TaglibDescriptor.java b/java/ql/test/stubs/javax-servlet-2.5/javax/descriptor/TaglibDescriptor.java deleted file mode 100644 index c3dd5c10473..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/descriptor/TaglibDescriptor.java +++ /dev/null @@ -1,10 +0,0 @@ -// Generated automatically from javax.servlet.descriptor.TaglibDescriptor for testing purposes - -package javax.servlet.descriptor; - - -public interface TaglibDescriptor -{ - String getTaglibLocation(); - String getTaglibURI(); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/http/Cookie.java b/java/ql/test/stubs/javax-servlet-2.5/javax/http/Cookie.java deleted file mode 100644 index b5a180029be..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/http/Cookie.java +++ /dev/null @@ -1,29 +0,0 @@ -// Generated automatically from javax.servlet.http.Cookie for testing purposes - -package javax.servlet.http; - -import java.io.Serializable; - -public class Cookie implements Cloneable, Serializable -{ - protected Cookie() {} - public Cookie(String p0, String p1){} - public Object clone(){ return null; } - public String getComment(){ return null; } - public String getDomain(){ return null; } - public String getName(){ return null; } - public String getPath(){ return null; } - public String getValue(){ return null; } - public boolean getSecure(){ return false; } - public boolean isHttpOnly(){ return false; } - public int getMaxAge(){ return 0; } - public int getVersion(){ return 0; } - public void setComment(String p0){} - public void setDomain(String p0){} - public void setHttpOnly(boolean p0){} - public void setMaxAge(int p0){} - public void setPath(String p0){} - public void setSecure(boolean p0){} - public void setValue(String p0){} - public void setVersion(int p0){} -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServlet.java b/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServlet.java deleted file mode 100644 index 1247f956d78..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServlet.java +++ /dev/null @@ -1,24 +0,0 @@ -// 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){} -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletMapping.java b/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletMapping.java deleted file mode 100644 index 1b597f27773..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletMapping.java +++ /dev/null @@ -1,13 +0,0 @@ -// Generated automatically from javax.servlet.http.HttpServletMapping for testing purposes - -package javax.servlet.http; - -import javax.servlet.http.MappingMatch; - -public interface HttpServletMapping -{ - MappingMatch getMappingMatch(); - String getMatchValue(); - String getPattern(); - String getServletName(); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletRequest.java b/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletRequest.java deleted file mode 100644 index 8612c34fb69..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletRequest.java +++ /dev/null @@ -1,60 +0,0 @@ -// Generated automatically from javax.servlet.http.HttpServletRequest for testing purposes - -package javax.servlet.http; - -import java.security.Principal; -import java.util.Collection; -import java.util.Enumeration; -import java.util.Map; -import javax.servlet.ServletRequest; -import javax.servlet.http.Cookie; -import javax.servlet.http.HttpServletMapping; -import javax.servlet.http.HttpServletResponse; -import javax.servlet.http.HttpSession; -import javax.servlet.http.HttpUpgradeHandler; -import javax.servlet.http.Part; -import javax.servlet.http.PushBuilder; - -public interface HttpServletRequest extends ServletRequest -{ - T upgrade(java.lang.Class p0); - Collection getParts(); - Cookie[] getCookies(); - Enumeration getHeaderNames(); - Enumeration getHeaders(String p0); - HttpSession getSession(); - HttpSession getSession(boolean p0); - Part getPart(String p0); - Principal getUserPrincipal(); - String changeSessionId(); - String getAuthType(); - String getContextPath(); - String getHeader(String p0); - String getMethod(); - String getPathInfo(); - String getPathTranslated(); - String getQueryString(); - String getRemoteUser(); - String getRequestURI(); - String getRequestedSessionId(); - String getServletPath(); - StringBuffer getRequestURL(); - boolean authenticate(HttpServletResponse p0); - boolean isRequestedSessionIdFromCookie(); - boolean isRequestedSessionIdFromURL(); - boolean isRequestedSessionIdFromUrl(); - boolean isRequestedSessionIdValid(); - boolean isUserInRole(String p0); - default HttpServletMapping getHttpServletMapping(){ return null; } - default Map getTrailerFields(){ return null; } - default PushBuilder newPushBuilder(){ return null; } - default boolean isTrailerFieldsReady(){ return false; } - int getIntHeader(String p0); - long getDateHeader(String p0); - static String BASIC_AUTH = null; - static String CLIENT_CERT_AUTH = null; - static String DIGEST_AUTH = null; - static String FORM_AUTH = null; - void login(String p0, String p1); - void logout(); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletRequestWrapper.java b/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletRequestWrapper.java deleted file mode 100644 index 84a62cba278..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletRequestWrapper.java +++ /dev/null @@ -1,59 +0,0 @@ -// Generated automatically from javax.servlet.http.HttpServletRequestWrapper for testing purposes - -package javax.servlet.http; - -import java.security.Principal; -import java.util.Collection; -import java.util.Enumeration; -import java.util.Map; -import javax.servlet.ServletRequestWrapper; -import javax.servlet.http.Cookie; -import javax.servlet.http.HttpServletMapping; -import javax.servlet.http.HttpServletRequest; -import javax.servlet.http.HttpServletResponse; -import javax.servlet.http.HttpSession; -import javax.servlet.http.HttpUpgradeHandler; -import javax.servlet.http.Part; -import javax.servlet.http.PushBuilder; - -public class HttpServletRequestWrapper extends ServletRequestWrapper implements HttpServletRequest -{ - protected HttpServletRequestWrapper() {} - public T upgrade(java.lang.Class p0){ return null; } - public Collection getParts(){ return null; } - public Cookie[] getCookies(){ return null; } - public Enumeration getHeaderNames(){ return null; } - public Enumeration getHeaders(String p0){ return null; } - public HttpServletMapping getHttpServletMapping(){ return null; } - public HttpServletRequestWrapper(HttpServletRequest p0){} - public HttpSession getSession(){ return null; } - public HttpSession getSession(boolean p0){ return null; } - public Map getTrailerFields(){ return null; } - public Part getPart(String p0){ return null; } - public Principal getUserPrincipal(){ return null; } - public PushBuilder newPushBuilder(){ return null; } - public String changeSessionId(){ return null; } - public String getAuthType(){ return null; } - public String getContextPath(){ return null; } - public String getHeader(String p0){ return null; } - public String getMethod(){ return null; } - public String getPathInfo(){ return null; } - public String getPathTranslated(){ return null; } - public String getQueryString(){ return null; } - public String getRemoteUser(){ return null; } - public String getRequestURI(){ return null; } - public String getRequestedSessionId(){ return null; } - public String getServletPath(){ return null; } - public StringBuffer getRequestURL(){ return null; } - public boolean authenticate(HttpServletResponse p0){ return false; } - public boolean isRequestedSessionIdFromCookie(){ return false; } - public boolean isRequestedSessionIdFromURL(){ return false; } - public boolean isRequestedSessionIdFromUrl(){ return false; } - public boolean isRequestedSessionIdValid(){ return false; } - public boolean isTrailerFieldsReady(){ return false; } - public boolean isUserInRole(String p0){ return false; } - public int getIntHeader(String p0){ return 0; } - public long getDateHeader(String p0){ return 0; } - public void login(String p0, String p1){} - public void logout(){} -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletResponse.java b/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletResponse.java deleted file mode 100644 index da902dbf30c..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletResponse.java +++ /dev/null @@ -1,77 +0,0 @@ -// Generated automatically from javax.servlet.http.HttpServletResponse for testing purposes - -package javax.servlet.http; - -import java.util.Collection; -import java.util.Map; -import java.util.function.Supplier; -import javax.servlet.ServletResponse; -import javax.servlet.http.Cookie; - -public interface HttpServletResponse extends ServletResponse -{ - Collection getHeaderNames(); - Collection getHeaders(String p0); - String encodeRedirectURL(String p0); - String encodeRedirectUrl(String p0); - String encodeURL(String p0); - String encodeUrl(String p0); - String getHeader(String p0); - boolean containsHeader(String p0); - default Supplier> getTrailerFields(){ return null; } - default void setTrailerFields(Supplier> p0){} - int getStatus(); - static int SC_ACCEPTED = 0; - static int SC_BAD_GATEWAY = 0; - static int SC_BAD_REQUEST = 0; - static int SC_CONFLICT = 0; - static int SC_CONTINUE = 0; - static int SC_CREATED = 0; - static int SC_EXPECTATION_FAILED = 0; - static int SC_FORBIDDEN = 0; - static int SC_FOUND = 0; - static int SC_GATEWAY_TIMEOUT = 0; - static int SC_GONE = 0; - static int SC_HTTP_VERSION_NOT_SUPPORTED = 0; - static int SC_INTERNAL_SERVER_ERROR = 0; - static int SC_LENGTH_REQUIRED = 0; - static int SC_METHOD_NOT_ALLOWED = 0; - static int SC_MOVED_PERMANENTLY = 0; - static int SC_MOVED_TEMPORARILY = 0; - static int SC_MULTIPLE_CHOICES = 0; - static int SC_NON_AUTHORITATIVE_INFORMATION = 0; - static int SC_NOT_ACCEPTABLE = 0; - static int SC_NOT_FOUND = 0; - static int SC_NOT_IMPLEMENTED = 0; - static int SC_NOT_MODIFIED = 0; - static int SC_NO_CONTENT = 0; - static int SC_OK = 0; - static int SC_PARTIAL_CONTENT = 0; - static int SC_PAYMENT_REQUIRED = 0; - static int SC_PRECONDITION_FAILED = 0; - static int SC_PROXY_AUTHENTICATION_REQUIRED = 0; - static int SC_REQUESTED_RANGE_NOT_SATISFIABLE = 0; - static int SC_REQUEST_ENTITY_TOO_LARGE = 0; - static int SC_REQUEST_TIMEOUT = 0; - static int SC_REQUEST_URI_TOO_LONG = 0; - static int SC_RESET_CONTENT = 0; - static int SC_SEE_OTHER = 0; - static int SC_SERVICE_UNAVAILABLE = 0; - static int SC_SWITCHING_PROTOCOLS = 0; - static int SC_TEMPORARY_REDIRECT = 0; - static int SC_UNAUTHORIZED = 0; - static int SC_UNSUPPORTED_MEDIA_TYPE = 0; - static int SC_USE_PROXY = 0; - void addCookie(Cookie p0); - void addDateHeader(String p0, long p1); - void addHeader(String p0, String p1); - void addIntHeader(String p0, int p1); - void sendError(int p0); - void sendError(int p0, String p1); - void sendRedirect(String p0); - void setDateHeader(String p0, long p1); - void setHeader(String p0, String p1); - void setIntHeader(String p0, int p1); - void setStatus(int p0); - void setStatus(int p0, String p1); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletResponseWrapper.java b/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletResponseWrapper.java deleted file mode 100644 index 01f33f73794..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletResponseWrapper.java +++ /dev/null @@ -1,39 +0,0 @@ -// Generated automatically from javax.servlet.http.HttpServletResponseWrapper for testing purposes - -package javax.servlet.http; - -import java.util.Collection; -import java.util.Map; -import java.util.function.Supplier; -import javax.servlet.ServletResponseWrapper; -import javax.servlet.http.Cookie; -import javax.servlet.http.HttpServletResponse; - -public class HttpServletResponseWrapper extends ServletResponseWrapper implements HttpServletResponse -{ - protected HttpServletResponseWrapper() {} - public Collection getHeaderNames(){ return null; } - public Collection getHeaders(String p0){ return null; } - public HttpServletResponseWrapper(HttpServletResponse p0){} - public String encodeRedirectURL(String p0){ return null; } - public String encodeRedirectUrl(String p0){ return null; } - public String encodeURL(String p0){ return null; } - public String encodeUrl(String p0){ return null; } - public String getHeader(String p0){ return null; } - public Supplier> getTrailerFields(){ return null; } - public boolean containsHeader(String p0){ return false; } - public int getStatus(){ return 0; } - public void addCookie(Cookie p0){} - public void addDateHeader(String p0, long p1){} - public void addHeader(String p0, String p1){} - public void addIntHeader(String p0, int p1){} - public void sendError(int p0){} - public void sendError(int p0, String p1){} - public void sendRedirect(String p0){} - public void setDateHeader(String p0, long p1){} - public void setHeader(String p0, String p1){} - public void setIntHeader(String p0, int p1){} - public void setStatus(int p0){} - public void setStatus(int p0, String p1){} - public void setTrailerFields(Supplier> p0){} -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpSession.java b/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpSession.java deleted file mode 100644 index f8f455b1423..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpSession.java +++ /dev/null @@ -1,28 +0,0 @@ -// Generated automatically from javax.servlet.http.HttpSession for testing purposes - -package javax.servlet.http; - -import java.util.Enumeration; -import javax.servlet.ServletContext; -import javax.servlet.http.HttpSessionContext; - -public interface HttpSession -{ - Enumeration getAttributeNames(); - HttpSessionContext getSessionContext(); - Object getAttribute(String p0); - Object getValue(String p0); - ServletContext getServletContext(); - String getId(); - String[] getValueNames(); - boolean isNew(); - int getMaxInactiveInterval(); - long getCreationTime(); - long getLastAccessedTime(); - void invalidate(); - void putValue(String p0, Object p1); - void removeAttribute(String p0); - void removeValue(String p0); - void setAttribute(String p0, Object p1); - void setMaxInactiveInterval(int p0); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpSessionContext.java b/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpSessionContext.java deleted file mode 100644 index 97a77b48358..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpSessionContext.java +++ /dev/null @@ -1,12 +0,0 @@ -// Generated automatically from javax.servlet.http.HttpSessionContext for testing purposes - -package javax.servlet.http; - -import java.util.Enumeration; -import javax.servlet.http.HttpSession; - -public interface HttpSessionContext -{ - Enumeration getIds(); - HttpSession getSession(String p0); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpUpgradeHandler.java b/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpUpgradeHandler.java deleted file mode 100644 index 987d49dbde2..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpUpgradeHandler.java +++ /dev/null @@ -1,11 +0,0 @@ -// Generated automatically from javax.servlet.http.HttpUpgradeHandler for testing purposes - -package javax.servlet.http; - -import javax.servlet.http.WebConnection; - -public interface HttpUpgradeHandler -{ - void destroy(); - void init(WebConnection p0); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/http/MappingMatch.java b/java/ql/test/stubs/javax-servlet-2.5/javax/http/MappingMatch.java deleted file mode 100644 index 0432fd2ef7d..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/http/MappingMatch.java +++ /dev/null @@ -1,10 +0,0 @@ -// Generated automatically from javax.servlet.http.MappingMatch for testing purposes - -package javax.servlet.http; - - -public enum MappingMatch -{ - CONTEXT_ROOT, DEFAULT, EXACT, EXTENSION, PATH; - private MappingMatch() {} -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/http/Part.java b/java/ql/test/stubs/javax-servlet-2.5/javax/http/Part.java deleted file mode 100644 index a4e599748a5..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/http/Part.java +++ /dev/null @@ -1,20 +0,0 @@ -// Generated automatically from javax.servlet.http.Part for testing purposes - -package javax.servlet.http; - -import java.io.InputStream; -import java.util.Collection; - -public interface Part -{ - Collection getHeaderNames(); - Collection getHeaders(String p0); - InputStream getInputStream(); - String getContentType(); - String getHeader(String p0); - String getName(); - String getSubmittedFileName(); - long getSize(); - void delete(); - void write(String p0); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/http/PushBuilder.java b/java/ql/test/stubs/javax-servlet-2.5/javax/http/PushBuilder.java deleted file mode 100644 index 195e2426a83..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/http/PushBuilder.java +++ /dev/null @@ -1,23 +0,0 @@ -// Generated automatically from javax.servlet.http.PushBuilder for testing purposes - -package javax.servlet.http; - -import java.util.Set; - -public interface PushBuilder -{ - PushBuilder addHeader(String p0, String p1); - PushBuilder method(String p0); - PushBuilder path(String p0); - PushBuilder queryString(String p0); - PushBuilder removeHeader(String p0); - PushBuilder sessionId(String p0); - PushBuilder setHeader(String p0, String p1); - Set getHeaderNames(); - String getHeader(String p0); - String getMethod(); - String getPath(); - String getQueryString(); - String getSessionId(); - void push(); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/http/WebConnection.java b/java/ql/test/stubs/javax-servlet-2.5/javax/http/WebConnection.java deleted file mode 100644 index 5001c046400..00000000000 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/http/WebConnection.java +++ /dev/null @@ -1,12 +0,0 @@ -// Generated automatically from javax.servlet.http.WebConnection for testing purposes - -package javax.servlet.http; - -import javax.servlet.ServletInputStream; -import javax.servlet.ServletOutputStream; - -public interface WebConnection extends AutoCloseable -{ - ServletInputStream getInputStream(); - ServletOutputStream getOutputStream(); -} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/Filter.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/Filter.java index 64b9f9d73a8..47fb902a3d6 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/Filter.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/Filter.java @@ -1,15 +1,11 @@ -// Generated automatically from javax.servlet.Filter for testing purposes - package javax.servlet; -import javax.servlet.FilterChain; -import javax.servlet.FilterConfig; -import javax.servlet.ServletRequest; -import javax.servlet.ServletResponse; +import java.io.IOException; -public interface Filter -{ - default void destroy(){} - default void init(FilterConfig p0){} - void doFilter(ServletRequest p0, ServletResponse p1, FilterChain p2); +public interface Filter { + default public void init(FilterConfig filterConfig) throws ServletException {} + public void doFilter(ServletRequest request, ServletResponse response, + FilterChain chain) + throws IOException, ServletException; + default public void destroy() {} } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/FilterChain.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/FilterChain.java index f64ab722684..b9f9708be56 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/FilterChain.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/FilterChain.java @@ -1,11 +1,7 @@ -// Generated automatically from javax.servlet.FilterChain for testing purposes - package javax.servlet; -import javax.servlet.ServletRequest; -import javax.servlet.ServletResponse; +import java.io.IOException; -public interface FilterChain -{ - void doFilter(ServletRequest p0, ServletResponse p1); +public interface FilterChain { + public void doFilter(ServletRequest request, ServletResponse response) throws IOException, ServletException; } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/FilterConfig.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/FilterConfig.java index 0e140c6680c..85d172231e9 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/FilterConfig.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/FilterConfig.java @@ -1,14 +1,10 @@ -// Generated automatically from javax.servlet.FilterConfig for testing purposes - package javax.servlet; import java.util.Enumeration; -import javax.servlet.ServletContext; -public interface FilterConfig -{ - Enumeration getInitParameterNames(); - ServletContext getServletContext(); - String getFilterName(); - String getInitParameter(String p0); +public interface FilterConfig { + public String getFilterName(); + public ServletContext getServletContext(); + public String getInitParameter(String name); + public Enumeration getInitParameterNames(); } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/GenericServlet.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/GenericServlet.java index 5f7bdcda487..11b6410600a 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/GenericServlet.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/GenericServlet.java @@ -1,28 +1,216 @@ -// Generated automatically from javax.servlet.GenericServlet for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet; -import java.io.Serializable; +import java.io.IOException; import java.util.Enumeration; -import javax.servlet.Servlet; -import javax.servlet.ServletConfig; -import javax.servlet.ServletContext; -import javax.servlet.ServletRequest; -import javax.servlet.ServletResponse; -abstract public class GenericServlet implements Serializable, Servlet, ServletConfig -{ - public Enumeration getInitParameterNames(){ return null; } - public GenericServlet(){} - public ServletConfig getServletConfig(){ return null; } - public ServletContext getServletContext(){ return null; } - public String getInitParameter(String p0){ return null; } - public String getServletInfo(){ return null; } - public String getServletName(){ return null; } - public abstract void service(ServletRequest p0, ServletResponse p1); - public void destroy(){} - public void init(){} - public void init(ServletConfig p0){} - public void log(String p0){} - public void log(String p0, Throwable p1){} +/** + * + * Defines a generic, protocol-independent + * servlet. To write an HTTP servlet for use on the + * Web, extend {@link javax.servlet.http.HttpServlet} instead. + * + *

GenericServlet implements the Servlet + * and ServletConfig interfaces. GenericServlet + * may be directly extended by a servlet, although it's more common to extend + * a protocol-specific subclass such as HttpServlet. + * + *

GenericServlet makes writing servlets + * easier. It provides simple versions of the lifecycle methods + * init and destroy and of the methods + * in the ServletConfig interface. GenericServlet + * also implements the log method, declared in the + * ServletContext interface. + * + *

To write a generic servlet, you need only + * override the abstract service method. + * + * @version $Rev: 46019 $ $Date: 2004-09-14 04:56:06 -0500 (Tue, 14 Sep 2004) $ + */ +public abstract class GenericServlet implements Servlet, ServletConfig, java.io.Serializable { + + /** + * Does nothing. All of the servlet initialization + * is done by one of the init methods. + */ + public GenericServlet() { + } + + /** + * Called by the servlet container to indicate to a servlet that the + * servlet is being taken out of service. See {@link Servlet#destroy}. + */ + public void destroy() { + } + + /** + * Returns a String containing the value of the named + * initialization parameter, or null if the parameter does + * not exist. See {@link ServletConfig#getInitParameter}. + * + *

This method is supplied for convenience. It gets the + * value of the named parameter from the servlet's + * ServletConfig object. + * + * @param name a String specifying the name + * of the initialization parameter + * + * @return String a String containing the value + * of the initalization parameter + */ + public String getInitParameter(String name) { + return null; + } + + /** + * Returns the names of the servlet's initialization parameters + * as an Enumeration of String objects, + * or an empty Enumeration if the servlet has no + * initialization parameters. See {@link + * ServletConfig#getInitParameterNames}. + * + *

This method is supplied for convenience. It gets the + * parameter names from the servlet's ServletConfig object. + * + * + * @return Enumeration an enumeration of String + * objects containing the names of the servlet's initialization parameters + */ + public Enumeration getInitParameterNames() { + return null; + } + + /** + * Returns this servlet's {@link ServletConfig} object. + * + * @return ServletConfig the ServletConfig object + * that initialized this servlet + */ + public ServletConfig getServletConfig() { + return null; + } + + + /** + * Returns a reference to the {@link ServletContext} in which this servlet + * is running. See {@link ServletConfig#getServletContext}. + * + *

This method is supplied for convenience. It gets the + * context from the servlet's ServletConfig object. + * + * + * @return ServletContext the ServletContext object + * passed to this servlet by the init method + */ + public ServletContext getServletContext() { + return null; + } + + + /** + * Returns information about the servlet, such as + * author, version, and copyright. + * By default, this method returns an empty string. Override this method + * to have it return a meaningful value. See {@link + * Servlet#getServletInfo}. + * + * + * @return String information about this servlet, by default an + * empty string + */ + public String getServletInfo() { + return null; + } + + + /** + * Called by the servlet container to indicate to a servlet that the + * servlet is being placed into service. See {@link Servlet#init}. + * + *

This implementation stores the {@link ServletConfig} + * object it receives from the servlet container for later use. + * When overriding this form of the method, call + * super.init(config). + * + * @param config the ServletConfig object + * that contains configutation information for this servlet + * + * @exception ServletException if an exception occurs that + * interrupts the servlet's normal operation + * + * @see UnavailableException + */ + public void init(ServletConfig config) throws ServletException { + } + + + /** + * A convenience method which can be overridden so that there's no need + * to call super.init(config). + * + *

Instead of overriding {@link #init(ServletConfig)}, simply override + * this method and it will be called by + * GenericServlet.init(ServletConfig config). + * The ServletConfig object can still be retrieved via {@link + * #getServletConfig}. + * + * @exception ServletException if an exception occurs that + * interrupts the servlet's normal operation + */ + public void init() throws ServletException { + } + + + /** + * Called by the servlet container to allow the servlet to respond to + * a request. See {@link Servlet#service}. + * + *

This method is declared abstract so subclasses, such as + * HttpServlet, must override it. + * + * @param req the ServletRequest object + * that contains the client's request + * + * @param res the ServletResponse object + * that will contain the servlet's response + * + * @exception ServletException if an exception occurs that + * interferes with the servlet's normal operation occurred + * + * @exception IOException if an input or output + * exception occurs + */ + public abstract void service(ServletRequest req, ServletResponse res) throws ServletException, IOException; + + /** + * Returns the name of this servlet instance. + * See {@link ServletConfig#getServletName}. + * + * @return the name of this servlet instance + */ + public String getServletName() { + return null; + } } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/RequestDispatcher.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/RequestDispatcher.java index ad017e4f501..0729c1cf6a1 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/RequestDispatcher.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/RequestDispatcher.java @@ -1,30 +1,33 @@ -// Generated automatically from javax.servlet.RequestDispatcher for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet; -import javax.servlet.ServletRequest; -import javax.servlet.ServletResponse; +import java.io.IOException; -public interface RequestDispatcher -{ - static String ERROR_EXCEPTION = null; - static String ERROR_EXCEPTION_TYPE = null; - static String ERROR_MESSAGE = null; - static String ERROR_REQUEST_URI = null; - static String ERROR_SERVLET_NAME = null; - static String ERROR_STATUS_CODE = null; - static String FORWARD_CONTEXT_PATH = null; - static String FORWARD_MAPPING = null; - static String FORWARD_PATH_INFO = null; - static String FORWARD_QUERY_STRING = null; - static String FORWARD_REQUEST_URI = null; - static String FORWARD_SERVLET_PATH = null; - static String INCLUDE_CONTEXT_PATH = null; - static String INCLUDE_MAPPING = null; - static String INCLUDE_PATH_INFO = null; - static String INCLUDE_QUERY_STRING = null; - static String INCLUDE_REQUEST_URI = null; - static String INCLUDE_SERVLET_PATH = null; - void forward(ServletRequest p0, ServletResponse p1); - void include(ServletRequest p0, ServletResponse p1); +public interface RequestDispatcher { + public void forward(ServletRequest request, ServletResponse response) + throws ServletException, IOException; + public void include(ServletRequest request, ServletResponse response) + throws ServletException, IOException; } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/Servlet.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/Servlet.java index 231c011a6f8..901f424033d 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/Servlet.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/Servlet.java @@ -1,16 +1,35 @@ -// Generated automatically from javax.servlet.Servlet for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet; -import javax.servlet.ServletConfig; -import javax.servlet.ServletRequest; -import javax.servlet.ServletResponse; +import java.io.IOException; -public interface Servlet -{ - ServletConfig getServletConfig(); - String getServletInfo(); - void destroy(); - void init(ServletConfig p0); - void service(ServletRequest p0, ServletResponse p1); +public interface Servlet { + public void init(ServletConfig config) throws ServletException; + public ServletConfig getServletConfig(); + public void service(ServletRequest req, ServletResponse res) + throws ServletException, IOException; + public String getServletInfo(); + public void destroy(); } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletConfig.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletConfig.java index c483c16ac4e..d3d4927c930 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletConfig.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletConfig.java @@ -1,14 +1,33 @@ -// Generated automatically from javax.servlet.ServletConfig for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet; import java.util.Enumeration; -import javax.servlet.ServletContext; -public interface ServletConfig -{ - Enumeration getInitParameterNames(); - ServletContext getServletContext(); - String getInitParameter(String p0); - String getServletName(); +public interface ServletConfig { + public String getServletName(); + public ServletContext getServletContext(); + public String getInitParameter(String name); + public Enumeration getInitParameterNames(); } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContext.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContext.java index 812393f61e9..3203724899d 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContext.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContext.java @@ -1,83 +1,57 @@ -// Generated automatically from javax.servlet.ServletContext for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet; import java.io.InputStream; +import java.net.MalformedURLException; import java.net.URL; import java.util.Enumeration; -import java.util.EventListener; -import java.util.Map; import java.util.Set; -import javax.servlet.Filter; -import javax.servlet.FilterRegistration; -import javax.servlet.RequestDispatcher; -import javax.servlet.Servlet; -import javax.servlet.ServletRegistration; -import javax.servlet.SessionCookieConfig; -import javax.servlet.SessionTrackingMode; -import javax.servlet.descriptor.JspConfigDescriptor; -public interface ServletContext -{ - T createListener(java.lang.Class p0); - void addListener(T p0); - T createFilter(java.lang.Class p0); - T createServlet(java.lang.Class p0); - ClassLoader getClassLoader(); - Enumeration getServlets(); - Enumeration getAttributeNames(); - Enumeration getInitParameterNames(); - Enumeration getServletNames(); - FilterRegistration getFilterRegistration(String p0); - FilterRegistration.Dynamic addFilter(String p0, Class p1); - FilterRegistration.Dynamic addFilter(String p0, Filter p1); - FilterRegistration.Dynamic addFilter(String p0, String p1); - InputStream getResourceAsStream(String p0); - JspConfigDescriptor getJspConfigDescriptor(); - Map getFilterRegistrations(); - Map getServletRegistrations(); - Object getAttribute(String p0); - RequestDispatcher getNamedDispatcher(String p0); - RequestDispatcher getRequestDispatcher(String p0); - Servlet getServlet(String p0); - ServletContext getContext(String p0); - ServletRegistration getServletRegistration(String p0); - ServletRegistration.Dynamic addJspFile(String p0, String p1); - ServletRegistration.Dynamic addServlet(String p0, Class p1); - ServletRegistration.Dynamic addServlet(String p0, Servlet p1); - ServletRegistration.Dynamic addServlet(String p0, String p1); - SessionCookieConfig getSessionCookieConfig(); - Set getDefaultSessionTrackingModes(); - Set getEffectiveSessionTrackingModes(); - Set getResourcePaths(String p0); - String getContextPath(); - String getInitParameter(String p0); - String getMimeType(String p0); - String getRealPath(String p0); - String getRequestCharacterEncoding(); - String getResponseCharacterEncoding(); - String getServerInfo(); - String getServletContextName(); - String getVirtualServerName(); - URL getResource(String p0); - boolean setInitParameter(String p0, String p1); - int getEffectiveMajorVersion(); - int getEffectiveMinorVersion(); - int getMajorVersion(); - int getMinorVersion(); - int getSessionTimeout(); - static String ORDERED_LIBS = null; - static String TEMPDIR = null; - void addListener(Class p0); - void addListener(String p0); - void declareRoles(String... p0); - void log(Exception p0, String p1); - void log(String p0); - void log(String p0, Throwable p1); - void removeAttribute(String p0); - void setAttribute(String p0, Object p1); - void setRequestCharacterEncoding(String p0); - void setResponseCharacterEncoding(String p0); - void setSessionTimeout(int p0); - void setSessionTrackingModes(Set p0); +public interface ServletContext { + public ServletContext getContext(String uripath); + public int getMajorVersion(); + public int getMinorVersion(); + public String getMimeType(String file); + public Set getResourcePaths(String path); + public URL getResource(String path) throws MalformedURLException; + public InputStream getResourceAsStream(String path); + public RequestDispatcher getRequestDispatcher(String path); + public RequestDispatcher getNamedDispatcher(String name); + public Servlet getServlet(String name) throws ServletException; + public Enumeration getServlets(); + public Enumeration getServletNames(); + public void log(String msg); + public void log(Exception exception, String msg); + public void log(String message, Throwable throwable); + public String getRealPath(String path); + public String getServerInfo(); + public String getInitParameter(String name); + public Enumeration getInitParameterNames(); + public Object getAttribute(String name); + public Enumeration getAttributeNames(); + public void setAttribute(String name, Object object); + public void removeAttribute(String name); + public String getServletContextName(); } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContextEvent.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContextEvent.java index bc52a66f7f8..aa27badc7fe 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContextEvent.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContextEvent.java @@ -1,20 +1,46 @@ -// Generated automatically from javax.servlet.ServletContextEvent for testing purposes +/* + * Copyright (c) 1997-2018 Oracle and/or its affiliates. All rights reserved. + * Copyright 2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ package javax.servlet; -import java.util.EventObject; -import javax.servlet.ServletContext; +/** + * This is the event class for notifications about changes to + * the servlet context of a web application. + * @see ServletContextListener + * + * @since Servlet 2.3 + */ -public class ServletContextEvent extends EventObject { - protected ServletContextEvent() { - super(null); +public class ServletContextEvent extends java.util.EventObject { + + /** Construct a ServletContextEvent from the given context. + * + * @param source - the ServletContext that is sending the event. + */ + public ServletContextEvent(ServletContext source) { + super(source); } - - public ServletContext getServletContext() { + + /** + * Return the ServletContext that changed. + * + * @return the ServletContext that sent the event. + */ + public ServletContext getServletContext () { return null; } - - public ServletContextEvent(ServletContext p0) { - super(null); - } -} +} \ No newline at end of file diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContextListener.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContextListener.java new file mode 100644 index 00000000000..7eb2019b24d --- /dev/null +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContextListener.java @@ -0,0 +1,74 @@ +/* + * Copyright (c) 1997-2018 Oracle and/or its affiliates. All rights reserved. + * Copyright 2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package javax.servlet; + +import java.util.EventListener; + +/** + * Interface for receiving notification events about ServletContext + * lifecycle changes. + * + *

In order to receive these notification events, the implementation + * class must be either declared in the deployment descriptor of the web + * application, annotated with {@link javax.servlet.annotation.WebListener}, + * or registered via one of the addListener methods defined on + * {@link ServletContext}. + * + *

Implementations of this interface are invoked at their + * {@link #contextInitialized} method in the order in which they have been + * declared, and at their {@link #contextDestroyed} method in reverse + * order. + * + * @see ServletContextEvent + * + * @since Servlet 2.3 + */ +public interface ServletContextListener extends EventListener { + + /** + * Receives notification that the web application initialization + * process is starting. + * + *

All ServletContextListeners are notified of context + * initialization before any filters or servlets in the web + * application are initialized. + * + * @param sce the ServletContextEvent containing the ServletContext + * that is being initialized + * + * @implSpec + * The default implementation takes no action. + */ + default public void contextInitialized(ServletContextEvent sce) {} + + /** + * Receives notification that the ServletContext is about to be + * shut down. + * + *

All servlets and filters will have been destroyed before any + * ServletContextListeners are notified of context + * destruction. + * + * @param sce the ServletContextEvent containing the ServletContext + * that is being destroyed + * + * @implSpec + * The default implementation takes no action. + */ + default public void contextDestroyed(ServletContextEvent sce) {} +} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletException.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletException.java new file mode 100644 index 00000000000..812b1687665 --- /dev/null +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletException.java @@ -0,0 +1,27 @@ +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ + +package javax.servlet; + +public class ServletException extends Exception { +} diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletInputStream.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletInputStream.java index 31034066970..67e73da45d6 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletInputStream.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletInputStream.java @@ -1,15 +1,35 @@ -// Generated automatically from javax.servlet.ServletInputStream for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet; +import java.io.IOException; import java.io.InputStream; -import javax.servlet.ReadListener; -abstract public class ServletInputStream extends InputStream -{ - protected ServletInputStream(){} - public abstract boolean isFinished(); - public abstract boolean isReady(); - public abstract void setReadListener(ReadListener p0); - public int readLine(byte[] p0, int p1, int p2){ return 0; } +public abstract class ServletInputStream extends InputStream { + protected ServletInputStream() { + } + public int readLine(byte[] b, int off, int len) throws IOException { + return 0; + } } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletOutputStream.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletOutputStream.java index 52a2162c9eb..98e54f1c74c 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletOutputStream.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletOutputStream.java @@ -1,28 +1,62 @@ -// Generated automatically from javax.servlet.ServletOutputStream for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet; +import java.io.IOException; import java.io.OutputStream; -import javax.servlet.WriteListener; -abstract public class ServletOutputStream extends OutputStream -{ - protected ServletOutputStream(){} - public abstract boolean isReady(); - public abstract void setWriteListener(WriteListener p0); - public void print(String p0){} - public void print(boolean p0){} - public void print(char p0){} - public void print(double p0){} - public void print(float p0){} - public void print(int p0){} - public void print(long p0){} - public void println(){} - public void println(String p0){} - public void println(boolean p0){} - public void println(char p0){} - public void println(double p0){} - public void println(float p0){} - public void println(int p0){} - public void println(long p0){} +public abstract class ServletOutputStream extends OutputStream { + protected ServletOutputStream() { + } + public void print(String s) throws IOException { + } + public void print(boolean b) throws IOException { + } + public void print(char c) throws IOException { + } + public void print(int i) throws IOException { + } + public void print(long l) throws IOException { + } + public void print(float f) throws IOException { + } + public void print(double d) throws IOException { + } + public void println() throws IOException { + } + public void println(String s) throws IOException { + } + public void println(boolean b) throws IOException { + } + public void println(char c) throws IOException { + } + public void println(int i) throws IOException { + } + public void println(long l) throws IOException { + } + public void println(float f) throws IOException { + } + public void println(double d) throws IOException { + } } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletRequest.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletRequest.java index fc0db462cc0..0653e291672 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletRequest.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletRequest.java @@ -1,55 +1,62 @@ -// Generated automatically from javax.servlet.ServletRequest for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet; import java.io.BufferedReader; +import java.io.IOException; import java.util.Enumeration; import java.util.Locale; import java.util.Map; -import javax.servlet.AsyncContext; -import javax.servlet.DispatcherType; -import javax.servlet.RequestDispatcher; -import javax.servlet.ServletContext; -import javax.servlet.ServletInputStream; -import javax.servlet.ServletResponse; -public interface ServletRequest -{ - AsyncContext getAsyncContext(); - AsyncContext startAsync(); - AsyncContext startAsync(ServletRequest p0, ServletResponse p1); - BufferedReader getReader(); - DispatcherType getDispatcherType(); - Enumeration getLocales(); - Enumeration getAttributeNames(); - Enumeration getParameterNames(); - Locale getLocale(); - Map getParameterMap(); - Object getAttribute(String p0); - RequestDispatcher getRequestDispatcher(String p0); - ServletContext getServletContext(); - ServletInputStream getInputStream(); - String getCharacterEncoding(); - String getContentType(); - String getLocalAddr(); - String getLocalName(); - String getParameter(String p0); - String getProtocol(); - String getRealPath(String p0); - String getRemoteAddr(); - String getRemoteHost(); - String getScheme(); - String getServerName(); - String[] getParameterValues(String p0); - boolean isAsyncStarted(); - boolean isAsyncSupported(); - boolean isSecure(); - int getContentLength(); - int getLocalPort(); - int getRemotePort(); - int getServerPort(); - long getContentLengthLong(); - void removeAttribute(String p0); - void setAttribute(String p0, Object p1); - void setCharacterEncoding(String p0); +public interface ServletRequest { + public Object getAttribute(String name); + public Enumeration getAttributeNames(); + public String getCharacterEncoding(); + public void setCharacterEncoding(String env) throws java.io.UnsupportedEncodingException; + public int getContentLength(); + public String getContentType(); + public ServletInputStream getInputStream() throws IOException; + public String getParameter(String name); + public Enumeration getParameterNames(); + public String[] getParameterValues(String name); + public Map getParameterMap(); + public String getProtocol(); + public String getScheme(); + public String getServerName(); + public int getServerPort(); + public BufferedReader getReader() throws IOException; + public String getRemoteAddr(); + public String getRemoteHost(); + public void setAttribute(String name, Object o); + public void removeAttribute(String name); + public Locale getLocale(); + public Enumeration getLocales(); + public boolean isSecure(); + public RequestDispatcher getRequestDispatcher(String path); + public String getRealPath(String path); + public int getRemotePort(); + public String getLocalName(); + public String getLocalAddr(); + public int getLocalPort(); } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletResponse.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletResponse.java index db6610bc15d..1dc306148d5 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletResponse.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletResponse.java @@ -1,27 +1,46 @@ -// Generated automatically from javax.servlet.ServletResponse for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet; +import java.io.IOException; import java.io.PrintWriter; import java.util.Locale; -import javax.servlet.ServletOutputStream; -public interface ServletResponse -{ - Locale getLocale(); - PrintWriter getWriter(); - ServletOutputStream getOutputStream(); - String getCharacterEncoding(); - String getContentType(); - boolean isCommitted(); - int getBufferSize(); - void flushBuffer(); - void reset(); - void resetBuffer(); - void setBufferSize(int p0); - void setCharacterEncoding(String p0); - void setContentLength(int p0); - void setContentLengthLong(long p0); - void setContentType(String p0); - void setLocale(Locale p0); +public interface ServletResponse { + public String getCharacterEncoding(); + public String getContentType(); + public ServletOutputStream getOutputStream() throws IOException; + public PrintWriter getWriter() throws IOException; + public void setCharacterEncoding(String charset); + public void setContentLength(int len); + public void setContentType(String type); + public void setBufferSize(int size); + public int getBufferSize(); + public void flushBuffer() throws IOException; + public void resetBuffer(); + public boolean isCommitted(); + public void reset(); + public void setLocale(Locale loc); + public Locale getLocale(); } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/Cookie.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/Cookie.java index b5a180029be..53d3058f921 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/Cookie.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/Cookie.java @@ -1,29 +1,84 @@ -// Generated automatically from javax.servlet.http.Cookie for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet.http; -import java.io.Serializable; +public class Cookie implements Cloneable { -public class Cookie implements Cloneable, Serializable -{ - protected Cookie() {} - public Cookie(String p0, String p1){} - public Object clone(){ return null; } - public String getComment(){ return null; } - public String getDomain(){ return null; } - public String getName(){ return null; } - public String getPath(){ return null; } - public String getValue(){ return null; } - public boolean getSecure(){ return false; } - public boolean isHttpOnly(){ return false; } - public int getMaxAge(){ return 0; } - public int getVersion(){ return 0; } - public void setComment(String p0){} - public void setDomain(String p0){} - public void setHttpOnly(boolean p0){} - public void setMaxAge(int p0){} - public void setPath(String p0){} - public void setSecure(boolean p0){} - public void setValue(String p0){} - public void setVersion(int p0){} + public Cookie(String name, String value) { + } + public void setComment(String purpose) { + } + public String getComment() { + return null; + } + public void setDomain(String pattern) { + } + public String getDomain() { + return null; + } + public void setMaxAge(int expiry) { + } + public int getMaxAge() { + return -1; + } + public void setPath(String uri) { + } + public String getPath() { + return null; + } + public void setSecure(boolean flag) { + } + public boolean getSecure() { + return false; + } + public String getName() { + return null; + } + public void setValue(String newValue) { + } + public String getValue() { + return null; + } + public int getVersion() { + return -1; + } + public void setVersion(int v) { + } + public void setHttpOnly(boolean isHttpOnly) { + } + public boolean isHttpOnly() { + return false; + } + + /** + * Convert the cookie to a string suitable for use as the value of the + * corresponding HTTP header. + * + * @return a stringified cookie. + */ + @Override + public String toString() { + return null; + } } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServlet.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServlet.java index 1247f956d78..0fbd5dac428 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServlet.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServlet.java @@ -1,24 +1,63 @@ -// Generated automatically from javax.servlet.http.HttpServlet for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet.http; +import java.io.IOException; import javax.servlet.GenericServlet; +import javax.servlet.ServletException; 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){} +public abstract class HttpServlet extends GenericServlet { + protected void doGet(HttpServletRequest req, HttpServletResponse resp) + throws ServletException, IOException { + } + protected long getLastModified(HttpServletRequest req) { + return -1; + } + protected void doHead(HttpServletRequest req, HttpServletResponse resp) + throws ServletException, IOException { + } + protected void doPost(HttpServletRequest req, HttpServletResponse resp) + throws ServletException, IOException { + } + protected void doPut(HttpServletRequest req, HttpServletResponse resp) + throws ServletException, IOException { + } + protected void doDelete(HttpServletRequest req, HttpServletResponse resp) + throws ServletException, IOException { + } + protected void doOptions(HttpServletRequest req, HttpServletResponse resp) + throws ServletException, IOException { + } + protected void doTrace(HttpServletRequest req, HttpServletResponse resp) + throws ServletException, IOException { + } + protected void service(HttpServletRequest req, HttpServletResponse resp) + throws ServletException, IOException { + } + public void service(ServletRequest req, ServletResponse res) + throws ServletException, IOException { + } } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServletRequest.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServletRequest.java index 8612c34fb69..5767e07ca5b 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServletRequest.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServletRequest.java @@ -1,60 +1,57 @@ -// Generated automatically from javax.servlet.http.HttpServletRequest for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet.http; -import java.security.Principal; -import java.util.Collection; import java.util.Enumeration; -import java.util.Map; import javax.servlet.ServletRequest; -import javax.servlet.http.Cookie; -import javax.servlet.http.HttpServletMapping; -import javax.servlet.http.HttpServletResponse; -import javax.servlet.http.HttpSession; -import javax.servlet.http.HttpUpgradeHandler; -import javax.servlet.http.Part; -import javax.servlet.http.PushBuilder; +import javax.servlet.ServletContext; -public interface HttpServletRequest extends ServletRequest -{ - T upgrade(java.lang.Class p0); - Collection getParts(); - Cookie[] getCookies(); - Enumeration getHeaderNames(); - Enumeration getHeaders(String p0); - HttpSession getSession(); - HttpSession getSession(boolean p0); - Part getPart(String p0); - Principal getUserPrincipal(); - String changeSessionId(); - String getAuthType(); - String getContextPath(); - String getHeader(String p0); - String getMethod(); - String getPathInfo(); - String getPathTranslated(); - String getQueryString(); - String getRemoteUser(); - String getRequestURI(); - String getRequestedSessionId(); - String getServletPath(); - StringBuffer getRequestURL(); - boolean authenticate(HttpServletResponse p0); - boolean isRequestedSessionIdFromCookie(); - boolean isRequestedSessionIdFromURL(); - boolean isRequestedSessionIdFromUrl(); - boolean isRequestedSessionIdValid(); - boolean isUserInRole(String p0); - default HttpServletMapping getHttpServletMapping(){ return null; } - default Map getTrailerFields(){ return null; } - default PushBuilder newPushBuilder(){ return null; } - default boolean isTrailerFieldsReady(){ return false; } - int getIntHeader(String p0); - long getDateHeader(String p0); - static String BASIC_AUTH = null; - static String CLIENT_CERT_AUTH = null; - static String DIGEST_AUTH = null; - static String FORM_AUTH = null; - void login(String p0, String p1); - void logout(); +public interface HttpServletRequest extends ServletRequest { + public String getAuthType(); + public Cookie[] getCookies(); + public long getDateHeader(String name); + public String getHeader(String name); + public Enumeration getHeaders(String name); + public Enumeration getHeaderNames(); + public int getIntHeader(String name); + public String getMethod(); + public String getPathInfo(); + public String getPathTranslated(); + public String getContextPath(); + public String getQueryString(); + public String getRemoteUser(); + public boolean isUserInRole(String role); + public java.security.Principal getUserPrincipal(); + public String getRequestedSessionId(); + public String getRequestURI(); + public StringBuffer getRequestURL(); + public String getServletPath(); + public HttpSession getSession(boolean create); + public HttpSession getSession(); + public boolean isRequestedSessionIdValid(); + public boolean isRequestedSessionIdFromCookie(); + public boolean isRequestedSessionIdFromURL(); + public boolean isRequestedSessionIdFromUrl(); + public ServletContext getServletContext(); } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServletResponse.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServletResponse.java index da902dbf30c..162ac0db3cc 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServletResponse.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServletResponse.java @@ -1,77 +1,95 @@ -// Generated automatically from javax.servlet.http.HttpServletResponse for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet.http; +import java.io.IOException; import java.util.Collection; -import java.util.Map; -import java.util.function.Supplier; import javax.servlet.ServletResponse; -import javax.servlet.http.Cookie; -public interface HttpServletResponse extends ServletResponse -{ - Collection getHeaderNames(); - Collection getHeaders(String p0); - String encodeRedirectURL(String p0); - String encodeRedirectUrl(String p0); - String encodeURL(String p0); - String encodeUrl(String p0); - String getHeader(String p0); - boolean containsHeader(String p0); - default Supplier> getTrailerFields(){ return null; } - default void setTrailerFields(Supplier> p0){} - int getStatus(); - static int SC_ACCEPTED = 0; - static int SC_BAD_GATEWAY = 0; - static int SC_BAD_REQUEST = 0; - static int SC_CONFLICT = 0; - static int SC_CONTINUE = 0; - static int SC_CREATED = 0; - static int SC_EXPECTATION_FAILED = 0; - static int SC_FORBIDDEN = 0; - static int SC_FOUND = 0; - static int SC_GATEWAY_TIMEOUT = 0; - static int SC_GONE = 0; - static int SC_HTTP_VERSION_NOT_SUPPORTED = 0; - static int SC_INTERNAL_SERVER_ERROR = 0; - static int SC_LENGTH_REQUIRED = 0; - static int SC_METHOD_NOT_ALLOWED = 0; - static int SC_MOVED_PERMANENTLY = 0; - static int SC_MOVED_TEMPORARILY = 0; - static int SC_MULTIPLE_CHOICES = 0; - static int SC_NON_AUTHORITATIVE_INFORMATION = 0; - static int SC_NOT_ACCEPTABLE = 0; - static int SC_NOT_FOUND = 0; - static int SC_NOT_IMPLEMENTED = 0; - static int SC_NOT_MODIFIED = 0; - static int SC_NO_CONTENT = 0; - static int SC_OK = 0; - static int SC_PARTIAL_CONTENT = 0; - static int SC_PAYMENT_REQUIRED = 0; - static int SC_PRECONDITION_FAILED = 0; - static int SC_PROXY_AUTHENTICATION_REQUIRED = 0; - static int SC_REQUESTED_RANGE_NOT_SATISFIABLE = 0; - static int SC_REQUEST_ENTITY_TOO_LARGE = 0; - static int SC_REQUEST_TIMEOUT = 0; - static int SC_REQUEST_URI_TOO_LONG = 0; - static int SC_RESET_CONTENT = 0; - static int SC_SEE_OTHER = 0; - static int SC_SERVICE_UNAVAILABLE = 0; - static int SC_SWITCHING_PROTOCOLS = 0; - static int SC_TEMPORARY_REDIRECT = 0; - static int SC_UNAUTHORIZED = 0; - static int SC_UNSUPPORTED_MEDIA_TYPE = 0; - static int SC_USE_PROXY = 0; - void addCookie(Cookie p0); - void addDateHeader(String p0, long p1); - void addHeader(String p0, String p1); - void addIntHeader(String p0, int p1); - void sendError(int p0); - void sendError(int p0, String p1); - void sendRedirect(String p0); - void setDateHeader(String p0, long p1); - void setHeader(String p0, String p1); - void setIntHeader(String p0, int p1); - void setStatus(int p0); - void setStatus(int p0, String p1); +public interface HttpServletResponse extends ServletResponse { + public void addCookie(Cookie cookie); + public boolean containsHeader(String name); + public String encodeURL(String url); + public String encodeRedirectURL(String url); + public String encodeUrl(String url); + public String encodeRedirectUrl(String url); + public void sendError(int sc, String msg) throws IOException; + public void sendError(int sc) throws IOException; + public void sendRedirect(String location) throws IOException; + public void setDateHeader(String name, long date); + public void addDateHeader(String name, long date); + public void setHeader(String name, String value); + public void addHeader(String name, String value); + public void setIntHeader(String name, int value); + public void addIntHeader(String name, int value); + public void setStatus(int sc); + public void setStatus(int sc, String sm); + public int getStatus(); + public String getHeader(String name); + public Collection getHeaders(String name); + public Collection getHeaderNames(); + + + public static final int SC_CONTINUE = 100; + public static final int SC_SWITCHING_PROTOCOLS = 101; + public static final int SC_OK = 200; + public static final int SC_CREATED = 201; + public static final int SC_ACCEPTED = 202; + public static final int SC_NON_AUTHORITATIVE_INFORMATION = 203; + public static final int SC_NO_CONTENT = 204; + public static final int SC_RESET_CONTENT = 205; + public static final int SC_PARTIAL_CONTENT = 206; + public static final int SC_MULTIPLE_CHOICES = 300; + public static final int SC_MOVED_PERMANENTLY = 301; + public static final int SC_MOVED_TEMPORARILY = 302; + public static final int SC_FOUND = 302; + public static final int SC_SEE_OTHER = 303; + public static final int SC_NOT_MODIFIED = 304; + public static final int SC_USE_PROXY = 305; + public static final int SC_TEMPORARY_REDIRECT = 307; + public static final int SC_BAD_REQUEST = 400; + public static final int SC_UNAUTHORIZED = 401; + public static final int SC_PAYMENT_REQUIRED = 402; + public static final int SC_FORBIDDEN = 403; + public static final int SC_NOT_FOUND = 404; + public static final int SC_METHOD_NOT_ALLOWED = 405; + public static final int SC_NOT_ACCEPTABLE = 406; + public static final int SC_PROXY_AUTHENTICATION_REQUIRED = 407; + public static final int SC_REQUEST_TIMEOUT = 408; + public static final int SC_CONFLICT = 409; + public static final int SC_GONE = 410; + public static final int SC_LENGTH_REQUIRED = 411; + public static final int SC_PRECONDITION_FAILED = 412; + public static final int SC_REQUEST_ENTITY_TOO_LARGE = 413; + public static final int SC_REQUEST_URI_TOO_LONG = 414; + public static final int SC_UNSUPPORTED_MEDIA_TYPE = 415; + public static final int SC_REQUESTED_RANGE_NOT_SATISFIABLE = 416; + public static final int SC_EXPECTATION_FAILED = 417; + public static final int SC_INTERNAL_SERVER_ERROR = 500; + public static final int SC_NOT_IMPLEMENTED = 501; + public static final int SC_BAD_GATEWAY = 502; + public static final int SC_SERVICE_UNAVAILABLE = 503; + public static final int SC_GATEWAY_TIMEOUT = 504; + public static final int SC_HTTP_VERSION_NOT_SUPPORTED = 505; } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpSession.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpSession.java index f8f455b1423..5b331b2e950 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpSession.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpSession.java @@ -1,28 +1,47 @@ -// Generated automatically from javax.servlet.http.HttpSession for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet.http; import java.util.Enumeration; import javax.servlet.ServletContext; -import javax.servlet.http.HttpSessionContext; -public interface HttpSession -{ - Enumeration getAttributeNames(); - HttpSessionContext getSessionContext(); - Object getAttribute(String p0); - Object getValue(String p0); - ServletContext getServletContext(); - String getId(); - String[] getValueNames(); - boolean isNew(); - int getMaxInactiveInterval(); - long getCreationTime(); - long getLastAccessedTime(); - void invalidate(); - void putValue(String p0, Object p1); - void removeAttribute(String p0); - void removeValue(String p0); - void setAttribute(String p0, Object p1); - void setMaxInactiveInterval(int p0); +public interface HttpSession { + public long getCreationTime(); + public String getId(); + public long getLastAccessedTime(); + public ServletContext getServletContext(); + public void setMaxInactiveInterval(int interval); + public int getMaxInactiveInterval(); + public HttpSessionContext getSessionContext(); + public Object getAttribute(String name); + public Object getValue(String name); + public Enumeration getAttributeNames(); + public String[] getValueNames(); + public void setAttribute(String name, Object value); + public void putValue(String name, Object value); + public void removeAttribute(String name); + public void removeValue(String name); + public void invalidate(); + public boolean isNew(); } diff --git a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpSessionContext.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpSessionContext.java index 97a77b48358..871d967fec1 100644 --- a/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpSessionContext.java +++ b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpSessionContext.java @@ -1,12 +1,34 @@ -// Generated automatically from javax.servlet.http.HttpSessionContext for testing purposes +/** + * + * Copyright 2003-2004 The Apache Software Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/* + * Adapted from the Java Servlet API version 2.4 as available at + * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar + * Only relevant stubs of this file have been retained for test purposes. + */ package javax.servlet.http; import java.util.Enumeration; -import javax.servlet.http.HttpSession; -public interface HttpSessionContext -{ - Enumeration getIds(); - HttpSession getSession(String p0); +/** + * @deprecated + */ +public interface HttpSessionContext { + public HttpSession getSession(String sessionId); + public Enumeration getIds(); }