update current springframework core stub and use this instead of creating a new stubs

This commit is contained in:
am0o0
2024-08-02 01:00:34 +02:00
parent af43178602
commit ee9f134828
12 changed files with 1 additions and 40 deletions

View File

@@ -1 +1 @@
//semmle-extractor-options: --javac-args -cp ${testdir}/../../../stubs/lingala-zip4j-2.11.5:${testdir}/../../../stubs/software-amazon-awssdk-crt-0.20.3:${testdir}/../../../stubs/org-springframework-6.1.4:${testdir}/../../../stubs/reactivestreams-1.0.4:${testdir}/../../../stubs/slf4j-api-1.7.30
//semmle-extractor-options: --javac-args -cp ${testdir}/../../../stubs/lingala-zip4j-2.11.5:${testdir}/../../../stubs/software-amazon-awssdk-crt-0.20.3:${testdir}/../../../../stubs/springframework-5.3.8:${testdir}/../../../stubs/reactivestreams-1.0.4:${testdir}/../../../stubs/slf4j-api-1.7.30

View File

@@ -1,10 +0,0 @@
// Generated automatically from org.springframework.core.io.InputStreamSource for testing purposes
package org.springframework.core.io;
import java.io.InputStream;
public interface InputStreamSource
{
InputStream getInputStream();
}

View File

@@ -1,29 +0,0 @@
// Generated automatically from org.springframework.core.io.Resource for testing purposes
package org.springframework.core.io;
import java.io.File;
import java.net.URI;
import java.net.URL;
import java.nio.channels.ReadableByteChannel;
import java.nio.charset.Charset;
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 String getContentAsString(Charset p0){ return null; }
default boolean isFile(){ return false; }
default boolean isOpen(){ return false; }
default boolean isReadable(){ return false; }
default byte[] getContentAsByteArray(){ return null; }
long contentLength();
long lastModified();
}