Use generated stubs

Author: joefarebrother

java/ql/test/stubs/springframework-5.3.8/org/springframework/core/io/InputStreamSource.java

@@ -1,56 +1,10 @@
-/*
- * Copyright 2002-2017 the original author or authors.
- *
- * 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
- *
- *      https://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.
- */
+// Generated automatically from org.springframework.core.io.InputStreamSource for testing purposes
 
 package org.springframework.core.io;
 
-import java.io.IOException;
 import java.io.InputStream;
 
-/**
- * Simple interface for objects that are sources for an {@link InputStream}.
- *
- * <p>This is the base interface for Spring's more extensive {@link Resource} interface.
- *
- * <p>For single-use streams, {@link InputStreamResource} can be used for any
- * given {@code InputStream}. Spring's {@link ByteArrayResource} or any
- * file-based {@code Resource} implementation can be used as a concrete
- * instance, allowing one to read the underlying content stream multiple times.
- * This makes this interface useful as an abstract content source for mail
- * attachments, for example.
- *
- * @author Juergen Hoeller
- * @since 20.01.2004
- * @see java.io.InputStream
- * @see Resource
- * @see InputStreamResource
- * @see ByteArrayResource
- */
-public interface InputStreamSource {
-
-	/**
-	 * Return an {@link InputStream} for the content of an underlying resource.
-	 * <p>It is expected that each call creates a <i>fresh</i> stream.
-	 * <p>This requirement is particularly important when you consider an API such
-	 * as JavaMail, which needs to be able to read the stream multiple times when
-	 * creating mail attachments. For such a use case, it is <i>required</i>
-	 * that each {@code getInputStream()} call returns a fresh stream.
-	 * @return the input stream for the underlying resource (must not be {@code null})
-	 * @throws java.io.FileNotFoundException if the underlying resource doesn't exist
-	 * @throws IOException if the content stream could not be opened
-	 */
-	InputStream getInputStream() throws IOException;
-
+public interface InputStreamSource
+{
+    InputStream getInputStream();
 }

java/ql/test/stubs/springframework-5.3.8/org/springframework/core/io/Resource.java

@@ -1,178 +1,26 @@
-/*
- * Copyright 2002-2018 the original author or authors.
- *
- * 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
- *
- *      https://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.
- */
+// Generated automatically from org.springframework.core.io.Resource for testing purposes
 
 package org.springframework.core.io;
 
 import java.io.File;
-import java.io.IOException;
-import java.io.InputStream;
 import java.net.URI;
 import java.net.URL;
-import java.nio.channels.Channels;
 import java.nio.channels.ReadableByteChannel;
-
-import org.springframework.lang.Nullable;
-
-/**
- * Interface for a resource descriptor that abstracts from the actual
- * type of underlying resource, such as a file or class path resource.
- *
- * <p>An InputStream can be opened for every resource if it exists in
- * physical form, but a URL or File handle can just be returned for
- * certain resources. The actual behavior is implementation-specific.
- *
- * @author Juergen Hoeller
- * @since 28.12.2003
- * @see #getInputStream()
- * @see #getURL()
- * @see #getURI()
- * @see #getFile()
- * @see WritableResource
- * @see ContextResource
- * @see UrlResource
- * @see FileUrlResource
- * @see FileSystemResource
- * @see ClassPathResource
- * @see ByteArrayResource
- * @see InputStreamResource
- */
-public interface Resource extends InputStreamSource {
-
-	/**
-	 * Determine whether this resource actually exists in physical form.
-	 * <p>This method performs a definitive existence check, whereas the
-	 * existence of a {@code Resource} handle only guarantees a valid
-	 * descriptor handle.
-	 */
-	boolean exists();
-
-	/**
-	 * Indicate whether non-empty contents of this resource can be read via
-	 * {@link #getInputStream()}.
-	 * <p>Will be {@code true} for typical resource descriptors that exist
-	 * since it strictly implies {@link #exists()} semantics as of 5.1.
-	 * Note that actual content reading may still fail when attempted.
-	 * However, a value of {@code false} is a definitive indication
-	 * that the resource content cannot be read.
-	 * @see #getInputStream()
-	 * @see #exists()
-	 */
-	default boolean isReadable() {
-		return exists();
-	}
-
-	/**
-	 * Indicate whether this resource represents a handle with an open stream.
-	 * If {@code true}, the InputStream cannot be read multiple times,
-	 * and must be read and closed to avoid resource leaks.
-	 * <p>Will be {@code false} for typical resource descriptors.
-	 */
-	default boolean isOpen() {
-		return false;
-	}
-
-	/**
-	 * Determine whether this resource represents a file in a file system.
-	 * A value of {@code true} strongly suggests (but does not guarantee)
-	 * that a {@link #getFile()} call will succeed.
-	 * <p>This is conservatively {@code false} by default.
-	 * @since 5.0
-	 * @see #getFile()
-	 */
-	default boolean isFile() {
-		return false;
-	}
-
-	/**
-	 * Return a URL handle for this resource.
-	 * @throws IOException if the resource cannot be resolved as URL,
-	 * i.e. if the resource is not available as descriptor
-	 */
-	URL getURL() throws IOException;
-
-	/**
-	 * Return a URI handle for this resource.
-	 * @throws IOException if the resource cannot be resolved as URI,
-	 * i.e. if the resource is not available as descriptor
-	 * @since 2.5
-	 */
-	URI getURI() throws IOException;
-
-	/**
-	 * Return a File handle for this resource.
-	 * @throws java.io.FileNotFoundException if the resource cannot be resolved as
-	 * absolute file path, i.e. if the resource is not available in a file system
-	 * @throws IOException in case of general resolution/reading failures
-	 * @see #getInputStream()
-	 */
-	File getFile() throws IOException;
-
-	/**
-	 * Return a {@link ReadableByteChannel}.
-	 * <p>It is expected that each call creates a <i>fresh</i> channel.
-	 * <p>The default implementation returns {@link Channels#newChannel(InputStream)}
-	 * with the result of {@link #getInputStream()}.
-	 * @return the byte channel for the underlying resource (must not be {@code null})
-	 * @throws java.io.FileNotFoundException if the underlying resource doesn't exist
-	 * @throws IOException if the content channel could not be opened
-	 * @since 5.0
-	 * @see #getInputStream()
-	 */
-	default ReadableByteChannel readableChannel() throws IOException {
-		return Channels.newChannel(getInputStream());
-	}
-
-	/**
-	 * Determine the content length for this resource.
-	 * @throws IOException if the resource cannot be resolved
-	 * (in the file system or as some other known physical resource type)
-	 */
-	long contentLength() throws IOException;
-
-	/**
-	 * Determine the last-modified timestamp for this resource.
-	 * @throws IOException if the resource cannot be resolved
-	 * (in the file system or as some other known physical resource type)
-	 */
-	long lastModified() throws IOException;
-
-	/**
-	 * Create a resource relative to this resource.
-	 * @param relativePath the relative path (relative to this resource)
-	 * @return the resource handle for the relative resource
-	 * @throws IOException if the relative resource cannot be determined
-	 */
-	Resource createRelative(String relativePath) throws IOException;
-
-	/**
-	 * Determine a filename for this resource, i.e. typically the last
-	 * part of the path: for example, "myfile.txt".
-	 * <p>Returns {@code null} if this type of resource does not
-	 * have a filename.
-	 */
-	@Nullable
-	String getFilename();
-
-	/**
-	 * Return a description for this resource,
-	 * to be used for error output when working with the resource.
-	 * <p>Implementations are also encouraged to return this value
-	 * from their {@code toString} method.
-	 * @see Object#toString()
-	 */
-	String getDescription();
-
+import org.springframework.core.io.InputStreamSource;
+
+public interface Resource extends InputStreamSource
+{
+    File getFile();
+    Resource createRelative(String p0);
+    String getDescription();
+    String getFilename();
+    URI getURI();
+    URL getURL();
+    boolean exists();
+    default ReadableByteChannel readableChannel(){ return null; }
+    default boolean isFile(){ return false; }
+    default boolean isOpen(){ return false; }
+    default boolean isReadable(){ return false; }
+    long contentLength();
+    long lastModified();
 }

java/ql/test/stubs/springframework-5.3.8/org/springframework/http/HttpEntity.java

@@ -1,63 +1,21 @@
-/*
- * Copyright 2002-2020 the original author or authors.
- *
- * 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
- *
- *      https://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.
- */
+// Generated automatically from org.springframework.http.HttpEntity for testing purposes
 
 package org.springframework.http;
-import org.springframework.lang.Nullable;
-import org.springframework.util.MultiValueMap;
-
-public class HttpEntity<T> {
-	public static final HttpEntity<?> EMPTY = null;
-
-	protected HttpEntity() {
- }
-
-	public HttpEntity(T body) {
- }
-
-	public HttpEntity(MultiValueMap<String, String> headers) {
- }
-
-	public HttpEntity(@Nullable T body, @Nullable MultiValueMap<String, String> headers) {
- }
 
-	public HttpHeaders getHeaders() {
-   return null;
- }
-
-	public T getBody() {
-   return null;
- }
-
-	public boolean hasBody() {
-   return false;
- }
-
-	@Override
-	public boolean equals(@Nullable Object other) {
-   return false;
- }
-
-	@Override
-	public int hashCode() {
-   return 0;
- }
-
-	@Override
-	public String toString() {
-   return null;
- }
+import org.springframework.http.HttpHeaders;
+import org.springframework.util.MultiValueMap;
 
+public class HttpEntity<T>
+{
+    protected HttpEntity(){}
+    public HttpEntity(MultiValueMap<String, String> p0){}
+    public HttpEntity(T p0){}
+    public HttpEntity(T p0, MultiValueMap<String, String> p1){}
+    public HttpHeaders getHeaders(){ return null; }
+    public String toString(){ return null; }
+    public T getBody(){ return null; }
+    public boolean equals(Object p0){ return false; }
+    public boolean hasBody(){ return false; }
+    public int hashCode(){ return 0; }
+    public static HttpEntity<? extends Object> EMPTY = null;
 }