Add stubs

Sauyon Lee · Sauyon Lee · commit 51211c039417 · 2021-07-13T10:29:02.000-07:00
diff --git a/java/ql/test/library-tests/frameworks/spring/webmultipart/options b/java/ql/test/library-tests/frameworks/spring/webmultipart/options
@@ -0,0 +1 @@
+//semmle-extractor-options: --javac-args -cp ${testdir}/../../../../stubs/springframework-5.3.8:${testdir}/../../../../stubs/javax-servlet-2.5
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
@@ -0,0 +1,12 @@
+// Generated automatically from javax.servlet.RequestDispatcher for testing purposes
+
+package javax.servlet;
+
+import javax.servlet.ServletRequest;
+import javax.servlet.ServletResponse;
+
+public interface RequestDispatcher
+{
+    void forward(ServletRequest p0, ServletResponse p1);
+    void include(ServletRequest p0, ServletResponse p1);
+}
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
@@ -0,0 +1,16 @@
+// 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/javax-servlet-2.5/javax/servlet/ServletConfig.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletConfig.java
@@ -0,0 +1,14 @@
+// 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/javax-servlet-2.5/javax/servlet/ServletContext.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContext.java
@@ -0,0 +1,39 @@
+// 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.Set;
+import javax.servlet.RequestDispatcher;
+import javax.servlet.Servlet;
+
+public interface ServletContext
+{
+    Enumeration getAttributeNames();
+    Enumeration getInitParameterNames();
+    Enumeration getServletNames();
+    Enumeration getServlets();
+    InputStream getResourceAsStream(String p0);
+    Object getAttribute(String p0);
+    RequestDispatcher getNamedDispatcher(String p0);
+    RequestDispatcher getRequestDispatcher(String p0);
+    Servlet getServlet(String p0);
+    ServletContext getContext(String p0);
+    Set getResourcePaths(String p0);
+    String getContextPath();
+    String getInitParameter(String p0);
+    String getMimeType(String p0);
+    String getRealPath(String p0);
+    String getServerInfo();
+    String getServletContextName();
+    URL getResource(String p0);
+    int getMajorVersion();
+    int getMinorVersion();
+    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);
+}
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
@@ -0,0 +1,11 @@
+// Generated automatically from javax.servlet.ServletInputStream for testing purposes
+
+package javax.servlet;
+
+import java.io.InputStream;
+
+abstract public class ServletInputStream extends InputStream
+{
+    protected ServletInputStream(){}
+    public int readLine(byte[] p0, int p1, int p2){ 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
@@ -0,0 +1,25 @@
+// Generated automatically from javax.servlet.ServletOutputStream for testing purposes
+
+package javax.servlet;
+
+import java.io.OutputStream;
+
+abstract public class ServletOutputStream extends OutputStream
+{
+    protected ServletOutputStream(){}
+    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/javax-servlet-2.5/javax/servlet/ServletRequest.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletRequest.java
@@ -0,0 +1,43 @@
+// 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.RequestDispatcher;
+import javax.servlet.ServletInputStream;
+
+public interface ServletRequest
+{
+    BufferedReader getReader();
+    Enumeration getAttributeNames();
+    Enumeration getLocales();
+    Enumeration getParameterNames();
+    Locale getLocale();
+    Map getParameterMap();
+    Object getAttribute(String p0);
+    RequestDispatcher getRequestDispatcher(String p0);
+    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 isSecure();
+    int getContentLength();
+    int getLocalPort();
+    int getRemotePort();
+    int getServerPort();
+    void removeAttribute(String p0);
+    void setAttribute(String p0, Object p1);
+    void setCharacterEncoding(String p0);
+}
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
@@ -0,0 +1,26 @@
+// 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 setContentType(String p0);
+    void setLocale(Locale p0);
+}
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
@@ -0,0 +1,26 @@
+// Generated automatically from javax.servlet.http.Cookie for testing purposes
+
+package javax.servlet.http;
+
+
+public class Cookie implements Cloneable
+{
+    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 int getMaxAge(){ return 0; }
+    public int getVersion(){ return 0; }
+    public void setComment(String p0){}
+    public void setDomain(String 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/servlet/http/HttpServletRequest.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServletRequest.java
@@ -0,0 +1,42 @@
+// Generated automatically from javax.servlet.http.HttpServletRequest for testing purposes
+
+package javax.servlet.http;
+
+import java.security.Principal;
+import java.util.Enumeration;
+import javax.servlet.ServletRequest;
+import javax.servlet.http.Cookie;
+import javax.servlet.http.HttpSession;
+
+public interface HttpServletRequest extends ServletRequest
+{
+    Cookie[] getCookies();
+    Enumeration getHeaderNames();
+    Enumeration getHeaders(String p0);
+    HttpSession getSession();
+    HttpSession getSession(boolean p0);
+    Principal getUserPrincipal();
+    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 isRequestedSessionIdFromCookie();
+    boolean isRequestedSessionIdFromURL();
+    boolean isRequestedSessionIdFromUrl();
+    boolean isRequestedSessionIdValid();
+    boolean isUserInRole(String p0);
+    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;
+}
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
@@ -0,0 +1,28 @@
+// 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/servlet/http/HttpSessionContext.java b/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpSessionContext.java
@@ -0,0 +1,12 @@
+// 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/springframework-5.3.8/org/springframework/core/io/support/ResourceRegion.java b/java/ql/test/stubs/springframework-5.3.8/org/springframework/core/io/support/ResourceRegion.java
@@ -0,0 +1,14 @@
+// Generated automatically from org.springframework.core.io.support.ResourceRegion for testing purposes
+
+package org.springframework.core.io.support;
+
+import org.springframework.core.io.Resource;
+
+public class ResourceRegion
+{
+    protected ResourceRegion() {}
+    public Resource getResource(){ return null; }
+    public ResourceRegion(Resource p0, long p1, long p2){}
+    public long getCount(){ return 0; }
+    public long getPosition(){ return 0; }
+}
diff --git a/java/ql/test/stubs/springframework-5.3.8/org/springframework/http/CacheControl.java b/java/ql/test/stubs/springframework-5.3.8/org/springframework/http/CacheControl.java
@@ -0,0 +1,29 @@
+// Generated automatically from org.springframework.http.CacheControl for testing purposes
+
+package org.springframework.http;
+
+import java.time.Duration;
+import java.util.concurrent.TimeUnit;
+
+public class CacheControl
+{
+    protected CacheControl(){}
+    public CacheControl cachePrivate(){ return null; }
+    public CacheControl cachePublic(){ return null; }
+    public CacheControl mustRevalidate(){ return null; }
+    public CacheControl noTransform(){ return null; }
+    public CacheControl proxyRevalidate(){ return null; }
+    public CacheControl sMaxAge(Duration p0){ return null; }
+    public CacheControl sMaxAge(long p0, TimeUnit p1){ return null; }
+    public CacheControl staleIfError(Duration p0){ return null; }
+    public CacheControl staleIfError(long p0, TimeUnit p1){ return null; }
+    public CacheControl staleWhileRevalidate(Duration p0){ return null; }
+    public CacheControl staleWhileRevalidate(long p0, TimeUnit p1){ return null; }
+    public String getHeaderValue(){ return null; }
+    public String toString(){ return null; }
+    public static CacheControl empty(){ return null; }
+    public static CacheControl maxAge(Duration p0){ return null; }
+    public static CacheControl maxAge(long p0, TimeUnit p1){ return null; }
+    public static CacheControl noCache(){ return null; }
+    public static CacheControl noStore(){ return null; }
+}
diff --git a/java/ql/test/stubs/springframework-5.3.8/org/springframework/http/ContentDisposition.java b/java/ql/test/stubs/springframework-5.3.8/org/springframework/http/ContentDisposition.java
@@ -0,0 +1,42 @@
+// Generated automatically from org.springframework.http.ContentDisposition for testing purposes
+
+package org.springframework.http;
+
+import java.nio.charset.Charset;
+import java.time.ZonedDateTime;
+
+public class ContentDisposition
+{
+    protected ContentDisposition() {}
+    public Charset getCharset(){ return null; }
+    public Long getSize(){ return null; }
+    public String getFilename(){ return null; }
+    public String getName(){ return null; }
+    public String getType(){ return null; }
+    public String toString(){ return null; }
+    public ZonedDateTime getCreationDate(){ return null; }
+    public ZonedDateTime getModificationDate(){ return null; }
+    public ZonedDateTime getReadDate(){ return null; }
+    public boolean equals(Object p0){ return false; }
+    public boolean isAttachment(){ return false; }
+    public boolean isFormData(){ return false; }
+    public boolean isInline(){ return false; }
+    public int hashCode(){ return 0; }
+    public static ContentDisposition empty(){ return null; }
+    public static ContentDisposition parse(String p0){ return null; }
+    public static ContentDisposition.Builder attachment(){ return null; }
+    public static ContentDisposition.Builder builder(String p0){ return null; }
+    public static ContentDisposition.Builder formData(){ return null; }
+    public static ContentDisposition.Builder inline(){ return null; }
+    static public interface Builder
+    {
+        ContentDisposition build();
+        ContentDisposition.Builder creationDate(ZonedDateTime p0);
+        ContentDisposition.Builder filename(String p0);
+        ContentDisposition.Builder filename(String p0, Charset p1);
+        ContentDisposition.Builder modificationDate(ZonedDateTime p0);
+        ContentDisposition.Builder name(String p0);
+        ContentDisposition.Builder readDate(ZonedDateTime p0);
+        ContentDisposition.Builder size(Long p0);
+    }
+}
diff --git a/java/ql/test/stubs/springframework-5.3.8/org/springframework/http/HttpRange.java b/java/ql/test/stubs/springframework-5.3.8/org/springframework/http/HttpRange.java
diff --git a/java/ql/test/stubs/springframework-5.3.8/org/springframework/http/MediaType.java b/java/ql/test/stubs/springframework-5.3.8/org/springframework/http/MediaType.java
diff --git a/java/ql/test/stubs/springframework-5.3.8/org/springframework/util/MimeType.java b/java/ql/test/stubs/springframework-5.3.8/org/springframework/util/MimeType.java
diff --git a/java/ql/test/stubs/springframework-5.3.8/org/springframework/web/multipart/MultipartHttpServletRequest.java b/java/ql/test/stubs/springframework-5.3.8/org/springframework/web/multipart/MultipartHttpServletRequest.java
diff --git a/java/ql/test/stubs/springframework-5.3.8/org/springframework/web/multipart/MultipartResolver.java b/java/ql/test/stubs/springframework-5.3.8/org/springframework/web/multipart/MultipartResolver.java

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+//semmle-extractor-options: --javac-args -cp ${testdir}/../../../../stubs/springframework-5.3.8:${testdir}/../../../../stubs/javax-servlet-2.5`