diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.expected b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.expected index e69de29bb2d..b219c897a16 100644 --- a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.expected +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.expected @@ -0,0 +1,20 @@ +| java.io | 0 | 0 | 21 | 10 | 31 | 0.6774193548387096 | 0.0 | 0.6774193548387096 | 0.0 | NaN | 0.3225806451612903 | +| java.lang | 0 | 0 | 44 | 103 | 147 | 0.29931972789115646 | 0.0 | 0.29931972789115646 | 0.0 | NaN | 0.7006802721088435 | +| java.lang.reflect | 0 | 0 | 0 | 4 | 4 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 | +| java.math | 0 | 0 | 0 | 16 | 16 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 | +| java.net | 0 | 0 | 5 | 0 | 5 | 1.0 | 0.0 | 1.0 | 0.0 | NaN | 0.0 | +| java.nio | 0 | 0 | 2 | 3 | 5 | 0.4 | 0.0 | 0.4 | 0.0 | NaN | 0.6 | +| java.nio.charset | 0 | 0 | 0 | 1 | 1 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 | +| java.nio.file | 0 | 0 | 1 | 1 | 2 | 0.5 | 0.0 | 0.5 | 0.0 | NaN | 0.5 | +| java.sql | 0 | 0 | 0 | 2 | 2 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 | +| java.text | 0 | 0 | 0 | 5 | 5 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 | +| java.time | 0 | 0 | 0 | 17 | 17 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 | +| java.time.chrono | 0 | 0 | 0 | 1 | 1 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 | +| java.time.format | 0 | 0 | 0 | 2 | 2 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 | +| java.util | 0 | 0 | 36 | 52 | 88 | 0.4090909090909091 | 0.0 | 0.4090909090909091 | 0.0 | NaN | 0.5909090909090909 | +| java.util.concurrent | 0 | 0 | 4 | 8 | 12 | 0.3333333333333333 | 0.0 | 0.3333333333333333 | 0.0 | NaN | 0.6666666666666666 | +| java.util.concurrent.atomic | 0 | 0 | 2 | 11 | 13 | 0.15384615384615385 | 0.0 | 0.15384615384615385 | 0.0 | NaN | 0.8461538461538461 | +| java.util.function | 0 | 0 | 0 | 1 | 1 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 | +| java.util.logging | 0 | 0 | 1 | 1 | 2 | 0.5 | 0.0 | 0.5 | 0.0 | NaN | 0.5 | +| java.util.regex | 0 | 0 | 3 | 1 | 4 | 0.75 | 0.0 | 0.75 | 0.0 | NaN | 0.25 | +| java.util.stream | 0 | 0 | 3 | 5 | 8 | 0.375 | 0.0 | 0.375 | 0.0 | NaN | 0.625 | diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.java deleted file mode 100644 index 90797502198..00000000000 --- a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.java +++ /dev/null @@ -1,45 +0,0 @@ -import java.awt.Container; -import java.io.BufferedReader; -import java.io.ByteArrayInputStream; -import java.io.FileInputStream; -import java.io.InputStreamReader; -import java.io.StringReader; -import java.io.StringWriter; -import java.io.UncheckedIOException; -import java.lang.AssertionError; -import java.lang.IllegalStateException; -import java.lang.IndexOutOfBoundsException; -import java.lang.NullPointerException; -import java.lang.Math; -import java.lang.Runtime; -import java.lang.System; -import java.math.BigDecimal; -import java.nio.file.Files; -import java.nio.file.Paths; -import java.sql.ResultSet; -import java.text.DateFormat; -import java.text.MessageFormat; -import java.text.SimpleDateFormat; -import java.util.ArrayList; -import java.util.Arrays; -import java.util.Collections; -import java.util.HashMap; -import java.util.HashSet; -import java.util.LinkedList; -import java.util.Map; -import java.util.Objects; -import java.util.StringJoiner; -import java.util.StringTokenizer; -import java.util.UUID; -import java.util.concurrent.CompletableFuture; -import java.util.concurrent.CountDownLatch; -import java.util.concurrent.atomic.AtomicBoolean; -import java.util.concurrent.atomic.AtomicInteger; -import java.util.concurrent.atomic.AtomicLong; -import java.util.concurrent.atomic.AtomicReference; -import java.util.logging.Logger; -import java.util.regex.Matcher; -import java.util.regex.Pattern; -import java.util.stream.Collectors; - -public class TopJdkApisTest { } diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/awt/Container.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/awt/Container.java new file mode 100644 index 00000000000..f116ef6106a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/awt/Container.java @@ -0,0 +1,29 @@ +// Generated automatically from java.awt.Container for testing purposes + +package java.awt; + +import java.awt.AWTEvent; +import java.awt.AWTKeyStroke; +import java.awt.Component; +import java.awt.ComponentOrientation; +import java.awt.Dimension; +import java.awt.Event; +import java.awt.FocusTraversalPolicy; +import java.awt.Font; +import java.awt.Graphics; +import java.awt.Insets; +import java.awt.LayoutManager; +import java.awt.Point; +import java.awt.event.ContainerEvent; +import java.awt.event.ContainerListener; +import java.beans.PropertyChangeListener; +import java.io.PrintStream; +import java.io.PrintWriter; +import java.util.EventListener; +import java.util.Set; + +public class Container extends Component +{ + public Component add(Component p0){ return null; } // manual summary + public void add(Component p0, Object p1){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/awt/Insets.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/awt/Insets.java new file mode 100644 index 00000000000..a7ad06c608a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/awt/Insets.java @@ -0,0 +1,11 @@ +// Generated automatically from java.awt.Insets for testing purposes + +package java.awt; + +import java.io.Serializable; + +public class Insets implements Cloneable, Serializable +{ + protected Insets() {} + public Insets(int p0, int p1, int p2, int p3){} // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/BufferedReader.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/BufferedReader.java new file mode 100644 index 00000000000..bda12f81337 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/BufferedReader.java @@ -0,0 +1,13 @@ +// Generated automatically from java.io.BufferedReader for testing purposes + +package java.io; + +import java.io.Reader; +import java.util.stream.Stream; + +public class BufferedReader +{ + protected BufferedReader() {} + public BufferedReader(Reader p0){} // manual summary + public String readLine(){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/ByteArrayInputStream.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/ByteArrayInputStream.java new file mode 100644 index 00000000000..bad13aa3445 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/ByteArrayInputStream.java @@ -0,0 +1,11 @@ +// Generated automatically from java.io.ByteArrayInputStream for testing purposes + +package java.io; + +import java.io.InputStream; + +public class ByteArrayInputStream +{ + protected ByteArrayInputStream() {} + public ByteArrayInputStream(byte[] p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/ByteArrayOutputStream.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/ByteArrayOutputStream.java new file mode 100644 index 00000000000..ab8128f11bb --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/ByteArrayOutputStream.java @@ -0,0 +1,10 @@ +// Generated automatically from java.io.ByteArrayOutputStream for testing purposes + +package java.io; + +import java.io.OutputStream; + +public class ByteArrayOutputStream +{ + public byte[] toByteArray(){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/Closeable.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/Closeable.java new file mode 100644 index 00000000000..fc851af51e8 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/Closeable.java @@ -0,0 +1,9 @@ +// Generated automatically from java.io.Closeable for testing purposes + +package java.io; + + +public interface Closeable extends AutoCloseable +{ + void close(); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/DataInput.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/DataInput.java new file mode 100644 index 00000000000..3144e4fcb47 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/DataInput.java @@ -0,0 +1,10 @@ +// Generated automatically from java.io.DataInput for testing purposes + +package java.io; + + +public interface DataInput +{ + int readInt(); // manual neutral + long readLong(); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/DataOutput.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/DataOutput.java new file mode 100644 index 00000000000..740487d8ed0 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/DataOutput.java @@ -0,0 +1,11 @@ +// Generated automatically from java.io.DataOutput for testing purposes + +package java.io; + + +public interface DataOutput +{ + void writeBoolean(boolean p0); // manual neutral + void writeInt(int p0); // manual neutral + void writeLong(long p0); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/File.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/File.java new file mode 100644 index 00000000000..878aa9d3086 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/File.java @@ -0,0 +1,31 @@ +// Generated automatically from java.io.File for testing purposes + +package java.io; + +import java.io.FileFilter; +import java.io.FilenameFilter; +import java.io.Serializable; +import java.net.URI; +import java.net.URL; +import java.nio.file.Path; + +public class File implements Serializable +{ + protected File() {} + public File getParentFile(){ return null; } // manual summary + public File(File p0, String p1){} // manual summary + public File(String p0){} // manual summary + public File(String p0, String p1){} // manual summary + public File[] listFiles(){ return null; } // manual summary + public Path toPath(){ return null; } // manual summary + public String getAbsolutePath(){ return null; } // manual summary + public String getName(){ return null; } // manual summary + public String getPath(){ return null; } // manual summary + public URI toURI(){ return null; } // manual summary + public boolean delete(){ return false; } // manual neutral + public boolean exists(){ return false; } // manual neutral + public boolean isDirectory(){ return false; } // manual neutral + public boolean isFile(){ return false; } // manual neutral + public boolean mkdirs(){ return false; } // manual neutral + public long length(){ return 0; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/FileInputStream.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/FileInputStream.java new file mode 100644 index 00000000000..673606c960e --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/FileInputStream.java @@ -0,0 +1,14 @@ +// Generated automatically from java.io.FileInputStream for testing purposes + +package java.io; + +import java.io.File; +import java.io.FileDescriptor; +import java.io.InputStream; +import java.nio.channels.FileChannel; + +public class FileInputStream extends InputStream +{ + protected FileInputStream() {} + public FileInputStream(File p0){} // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/IOException.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/IOException.java new file mode 100644 index 00000000000..227719234b8 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/IOException.java @@ -0,0 +1,9 @@ +// Generated automatically from java.io.IOException for testing purposes + +package java.io; + + +public class IOException +{ + public IOException(String p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/InputStream.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/InputStream.java new file mode 100644 index 00000000000..b6132f3963a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/InputStream.java @@ -0,0 +1,10 @@ +// Generated automatically from java.io.InputStream for testing purposes + +package java.io; + +import java.io.Closeable; + +abstract public class InputStream implements Closeable +{ + public void close(){} // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/InputStreamReader.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/InputStreamReader.java new file mode 100644 index 00000000000..52d78479182 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/InputStreamReader.java @@ -0,0 +1,14 @@ +// Generated automatically from java.io.InputStreamReader for testing purposes + +package java.io; + +import java.io.InputStream; +import java.io.Reader; +import java.nio.charset.Charset; +import java.nio.charset.CharsetDecoder; + +public class InputStreamReader +{ + protected InputStreamReader() {} + public InputStreamReader(InputStream p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/OutputStream.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/OutputStream.java new file mode 100644 index 00000000000..e959fad0896 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/OutputStream.java @@ -0,0 +1,12 @@ +// Generated automatically from java.io.OutputStream for testing purposes + +package java.io; + +import java.io.Closeable; +import java.io.Flushable; + +abstract public class OutputStream implements Closeable, Flushable +{ + public void flush(){} // manual neutral + public void write(byte[] p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/PrintWriter.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/PrintWriter.java new file mode 100644 index 00000000000..a15b5689731 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/PrintWriter.java @@ -0,0 +1,14 @@ +// Generated automatically from java.io.PrintWriter for testing purposes + +package java.io; + +import java.io.File; +import java.io.OutputStream; +import java.io.Writer; +import java.util.Locale; + +public class PrintWriter +{ + protected PrintWriter() {} + public void write(String p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/StringReader.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/StringReader.java new file mode 100644 index 00000000000..426c2422e9c --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/StringReader.java @@ -0,0 +1,11 @@ +// Generated automatically from java.io.StringReader for testing purposes + +package java.io; + +import java.io.Reader; + +public class StringReader +{ + protected StringReader() {} + public StringReader(String p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/StringWriter.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/StringWriter.java new file mode 100644 index 00000000000..b2dc84919e5 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/StringWriter.java @@ -0,0 +1,10 @@ +// Generated automatically from java.io.StringWriter for testing purposes + +package java.io; + +import java.io.Writer; + +public class StringWriter +{ + public String toString(){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/UncheckedIOException.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/UncheckedIOException.java new file mode 100644 index 00000000000..5fdb844b4f6 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/UncheckedIOException.java @@ -0,0 +1,11 @@ +// Generated automatically from java.io.UncheckedIOException for testing purposes + +package java.io; + +import java.io.IOException; + +public class UncheckedIOException +{ + protected UncheckedIOException() {} + public UncheckedIOException(IOException p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/Writer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/Writer.java new file mode 100644 index 00000000000..5772f783d8f --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/Writer.java @@ -0,0 +1,11 @@ +// Generated automatically from java.io.Writer for testing purposes + +package java.io; + +import java.io.Closeable; +import java.io.Flushable; + +abstract public class Writer implements Appendable, Closeable, Flushable +{ + public void write(String p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/AbstractStringBuilder.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/AbstractStringBuilder.java new file mode 100644 index 00000000000..d4bebe854ad --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/AbstractStringBuilder.java @@ -0,0 +1,12 @@ +// Generated automatically from java.lang.AbstractStringBuilder for testing purposes + +package java.lang; + + +abstract class AbstractStringBuilder implements Appendable, CharSequence +{ + public char charAt(int p0){ return '0'; } // manual summary + public int length(){ return 0; } // manual neutral + public void setCharAt(int p0, char p1){} // manual neutral + public void setLength(int p0){} // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/AssertionError.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/AssertionError.java new file mode 100644 index 00000000000..f82f13479cf --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/AssertionError.java @@ -0,0 +1,9 @@ +// Generated automatically from java.lang.AssertionError for testing purposes + +package java.lang; + + +public class AssertionError extends Error +{ + public AssertionError(Object p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Boolean.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Boolean.java new file mode 100644 index 00000000000..3e4fb49bc8c --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Boolean.java @@ -0,0 +1,14 @@ +// Generated automatically from java.lang.Boolean for testing purposes + +package java.lang; + +import java.io.Serializable; + +public class Boolean implements Serializable +{ + protected Boolean() {} + public boolean booleanValue(){ return false; } // manual neutral + public boolean equals(Object p0){ return false; } // manual neutral + public static Boolean valueOf(boolean p0){ return null; } // manual neutral + public static boolean parseBoolean(String p0){ return false; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/CharSequence.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/CharSequence.java new file mode 100644 index 00000000000..69f6d551975 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/CharSequence.java @@ -0,0 +1,11 @@ +// Generated automatically from java.lang.CharSequence for testing purposes + +package java.lang; + +import java.util.stream.IntStream; + +public interface CharSequence +{ + String toString(); // manual summary + int length(); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Class.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Class.java new file mode 100644 index 00000000000..319aa96e9df --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Class.java @@ -0,0 +1,36 @@ +// Generated automatically from java.lang.Class for testing purposes + +package java.lang; + +import java.io.InputStream; +import java.io.Serializable; +import java.lang.annotation.Annotation; +import java.lang.reflect.AnnotatedElement; +import java.lang.reflect.AnnotatedType; +import java.lang.reflect.Constructor; +import java.lang.reflect.Field; +import java.lang.reflect.GenericDeclaration; +import java.lang.reflect.Method; +import java.lang.reflect.Type; +import java.lang.reflect.TypeVariable; +import java.net.URL; +import java.security.ProtectionDomain; + +public class Class implements Serializable, Type +{ + protected Class() {} + public ClassLoader getClassLoader(){ return null; } // manual neutral + public Field getDeclaredField(String p0){ return null; } // manual neutral + public InputStream getResourceAsStream(String p0){ return null; } // manual neutral + public Method getMethod(String p0, Class... p1){ return null; } // manual neutral + public String getCanonicalName(){ return null; } // manual neutral + public String getName(){ return null; } // manual neutral + public String getSimpleName(){ return null; } // manual neutral + public String toString(){ return null; } // manual neutral + public T cast(Object p0){ return null; } // manual summary + public URL getResource(String p0){ return null; } // manual neutral + public boolean isAssignableFrom(Class p0){ return false; } // manual neutral + public boolean isInstance(Object p0){ return false; } // manual neutral + public java.lang.reflect.Constructor getDeclaredConstructor(Class... p0){ return null; } // manual neutral + public static Class forName(String p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/ClassLoader.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/ClassLoader.java new file mode 100644 index 00000000000..0f7eec5da5c --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/ClassLoader.java @@ -0,0 +1,15 @@ +// Generated automatically from java.lang.ClassLoader for testing purposes + +package java.lang; + +import java.io.InputStream; +import java.net.URL; +import java.nio.ByteBuffer; +import java.security.ProtectionDomain; +import java.util.Enumeration; + +abstract public class ClassLoader +{ + public InputStream getResourceAsStream(String p0){ return null; } // manual neutral + public URL getResource(String p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Double.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Double.java new file mode 100644 index 00000000000..8f566e260f8 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Double.java @@ -0,0 +1,12 @@ +// Generated automatically from java.lang.Double for testing purposes + +package java.lang; + + +public class Double +{ + protected Double() {} + public static Double valueOf(double p0){ return null; } // manual neutral + public static double parseDouble(String p0){ return 0; } // manual neutral + public static long doubleToLongBits(double p0){ return 0; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Enum.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Enum.java new file mode 100644 index 00000000000..acb3d7a1894 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Enum.java @@ -0,0 +1,16 @@ +// Generated automatically from java.lang.Enum for testing purposes + +package java.lang; + +import java.io.Serializable; + +abstract public class Enum> implements Comparable, Serializable +{ + protected Enum() {} + protected Enum(String p0, int p1){} // manual neutral + public String toString(){ return null; } // manual neutral + public final String name(){ return null; } // manual neutral + public final boolean equals(Object p0){ return false; } // manual neutral + public final int hashCode(){ return 0; } // manual neutral + public final int ordinal(){ return 0; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Exception.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Exception.java new file mode 100644 index 00000000000..7fae9574769 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Exception.java @@ -0,0 +1,10 @@ +// Generated automatically from java.lang.Exception for testing purposes + +package java.lang; + + +public class Exception +{ + public Exception(String p0){} // manual summary + public Exception(String p0, Throwable p1){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/IllegalArgumentException.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/IllegalArgumentException.java new file mode 100644 index 00000000000..5c7ed7c4428 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/IllegalArgumentException.java @@ -0,0 +1,9 @@ +// Generated automatically from java.lang.IllegalArgumentException for testing purposes + +package java.lang; + + +public class IllegalArgumentException +{ + public IllegalArgumentException(String p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/IllegalStateException.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/IllegalStateException.java new file mode 100644 index 00000000000..01e0f65eba6 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/IllegalStateException.java @@ -0,0 +1,9 @@ +// Generated automatically from java.lang.IllegalStateException for testing purposes + +package java.lang; + + +public class IllegalStateException +{ + public IllegalStateException(String p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/IndexOutOfBoundsException.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/IndexOutOfBoundsException.java new file mode 100644 index 00000000000..c2a24eded33 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/IndexOutOfBoundsException.java @@ -0,0 +1,9 @@ +// Generated automatically from java.lang.IndexOutOfBoundsException for testing purposes + +package java.lang; + + +public class IndexOutOfBoundsException +{ + public IndexOutOfBoundsException(String p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Integer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Integer.java new file mode 100644 index 00000000000..5b898aa2e62 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Integer.java @@ -0,0 +1,18 @@ +// Generated automatically from java.lang.Integer for testing purposes + +package java.lang; + + +public class Integer +{ + protected Integer() {} + public Integer(int p0){} // manual neutral + public String toString(){ return null; } // manual neutral + public boolean equals(Object p0){ return false; } // manual neutral + public int intValue(){ return 0; } // manual neutral + public static Integer valueOf(String p0){ return null; } // manual neutral + public static Integer valueOf(int p0){ return null; } // manual neutral + public static String toHexString(int p0){ return null; } // manual neutral + public static String toString(int p0){ return null; } // manual neutral + public static int parseInt(String p0){ return 0; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Iterable.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Iterable.java new file mode 100644 index 00000000000..5b5f87c27f9 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Iterable.java @@ -0,0 +1,13 @@ +// Generated automatically from java.lang.Iterable for testing purposes + +package java.lang; + +import java.util.Iterator; +import java.util.Spliterator; +import java.util.function.Consumer; + +public interface Iterable +{ + default void forEach(java.util.function.Consumer p0){} // manual summary + java.util.Iterator iterator(); // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Long.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Long.java new file mode 100644 index 00000000000..196249eed7e --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Long.java @@ -0,0 +1,18 @@ +// Generated automatically from java.lang.Long for testing purposes + +package java.lang; + + +public class Long +{ + protected Long() {} + public Long(long p0){} // manual neutral + public String toString(){ return null; } // manual neutral + public boolean equals(Object p0){ return false; } // manual neutral + public int intValue(){ return 0; } // manual neutral + public long longValue(){ return 0; } // manual neutral + public static Long valueOf(String p0){ return null; } // manual neutral + public static Long valueOf(long p0){ return null; } // manual neutral + public static String toString(long p0){ return null; } // manual neutral + public static long parseLong(String p0){ return 0; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Math.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Math.java new file mode 100644 index 00000000000..a254cccb0c4 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Math.java @@ -0,0 +1,13 @@ +// Generated automatically from java.lang.Math for testing purposes + +package java.lang; + + +public class Math +{ + protected Math() {} + public static int max(int p0, int p1){ return 0; } // manual neutral + public static int min(int p0, int p1){ return 0; } // manual neutral + public static long max(long p0, long p1){ return 0; } // manual neutral + public static long min(long p0, long p1){ return 0; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/NullPointerException.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/NullPointerException.java new file mode 100644 index 00000000000..b54d1deba5d --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/NullPointerException.java @@ -0,0 +1,9 @@ +// Generated automatically from java.lang.NullPointerException for testing purposes + +package java.lang; + + +public class NullPointerException +{ + public NullPointerException(String p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Number.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Number.java new file mode 100644 index 00000000000..b4c0f017596 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Number.java @@ -0,0 +1,12 @@ +// Generated automatically from java.lang.Number for testing purposes + +package java.lang; + +import java.io.Serializable; + +abstract public class Number implements Serializable +{ + public abstract double doubleValue(); // manual neutral + public abstract int intValue(); // manual neutral + public abstract long longValue(); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Object.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Object.java new file mode 100644 index 00000000000..47b4a9de38a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Object.java @@ -0,0 +1,12 @@ +// Generated automatically from java.lang.Object for testing purposes + +package java.lang; + + +public class Object +{ + public String toString(){ return null; } // manual neutral + public boolean equals(Object p0){ return false; } // manual neutral + public final Class getClass(){ return null; } // manual neutral + public int hashCode(){ return 0; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Runnable.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Runnable.java new file mode 100644 index 00000000000..7d46c41b752 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Runnable.java @@ -0,0 +1,9 @@ +// Generated automatically from java.lang.Runnable for testing purposes + +package java.lang; + + +public interface Runnable +{ + void run(); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Runtime.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Runtime.java new file mode 100644 index 00000000000..7ed84f56a3b --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Runtime.java @@ -0,0 +1,13 @@ +// Generated automatically from java.lang.Runtime for testing purposes + +package java.lang; + +import java.io.File; +import java.io.InputStream; +import java.io.OutputStream; + +public class Runtime +{ + protected Runtime() {} + public static Runtime getRuntime(){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/RuntimeException.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/RuntimeException.java new file mode 100644 index 00000000000..b74d4734ffc --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/RuntimeException.java @@ -0,0 +1,11 @@ +// Generated automatically from java.lang.RuntimeException for testing purposes + +package java.lang; + + +public class RuntimeException +{ + public RuntimeException(String p0){} // manual summary + public RuntimeException(String p0, Throwable p1){} // manual summary + public RuntimeException(Throwable p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/String.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/String.java new file mode 100644 index 00000000000..18f726d7120 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/String.java @@ -0,0 +1,51 @@ +// Generated automatically from java.lang.String for testing purposes + +package java.lang; + +import java.io.Serializable; +import java.nio.charset.Charset; +import java.util.Comparator; +import java.util.Locale; + +public class String implements Comparable, Serializable +{ + public String concat(String p0){ return null; } // manual summary + public String replace(CharSequence p0, CharSequence p1){ return null; } // manual summary + public String replace(char p0, char p1){ return null; } // manual summary + public String replaceAll(String p0, String p1){ return null; } // manual summary + public String substring(int p0){ return null; } // manual summary + public String substring(int p0, int p1){ return null; } // manual summary + public String toLowerCase(){ return null; } // manual summary + public String toLowerCase(Locale p0){ return null; } // manual summary + public String toString(){ return null; } // manual summary + public String toUpperCase(){ return null; } // manual summary + public String trim(){ return null; } // manual summary + public String(String p0){} // manual summary + public String(byte[] p0){} // manual summary + public String(byte[] p0, Charset p1){} // manual summary + public String[] split(String p0){ return null; } // manual summary + public boolean contains(CharSequence p0){ return false; } // manual neutral + public boolean endsWith(String p0){ return false; } // manual neutral + public boolean equals(Object p0){ return false; } // manual neutral + public boolean equalsIgnoreCase(String p0){ return false; } // manual neutral + public boolean isEmpty(){ return false; } // manual neutral + public boolean startsWith(String p0){ return false; } // manual neutral + public byte[] getBytes(){ return null; } // manual summary + public byte[] getBytes(Charset p0){ return null; } // manual summary + public char charAt(int p0){ return '0'; } // manual summary + public char[] toCharArray(){ return null; } // manual summary + public int compareTo(String p0){ return 0; } // manual neutral + public int hashCode(){ return 0; } // manual neutral + public int indexOf(String p0){ return 0; } // manual neutral + public int indexOf(int p0){ return 0; } // manual neutral + public int lastIndexOf(String p0){ return 0; } // manual neutral + public int lastIndexOf(int p0){ return 0; } // manual neutral + public int length(){ return 0; } // manual neutral + public static String format(String p0, Object... p1){ return null; } // manual summary + public static String join(CharSequence p0, CharSequence... p1){ return null; } // manual summary + public static String join(CharSequence p0, Iterable p1){ return null; } // manual summary + public static String valueOf(Object p0){ return null; } // NOT MODELED + public static String valueOf(boolean p0){ return null; } // manual neutral + public static String valueOf(int p0){ return null; } // manual neutral + public static String valueOf(long p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/StringBuffer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/StringBuffer.java new file mode 100644 index 00000000000..891a9ca42f9 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/StringBuffer.java @@ -0,0 +1,13 @@ +// Generated automatically from java.lang.StringBuffer for testing purposes + +package java.lang; + +import java.io.Serializable; + +public class StringBuffer implements Serializable +{ + public String toString(){ return null; } // manual summary + public StringBuffer append(Object p0){ return null; } // manual summary + public StringBuffer append(String p0){ return null; } // manual summary + public StringBuffer append(char p0){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/StringBuilder.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/StringBuilder.java new file mode 100644 index 00000000000..4679d730054 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/StringBuilder.java @@ -0,0 +1,20 @@ +// Generated automatically from java.lang.StringBuilder for testing purposes + +package java.lang; + +import java.io.Serializable; + +public class StringBuilder implements Serializable +{ + public String toString(){ return null; } // manual summary + public StringBuilder append(CharSequence p0){ return null; } // manual summary + public StringBuilder append(Object p0){ return null; } // manual summary + public StringBuilder append(String p0){ return null; } // manual summary + public StringBuilder append(boolean p0){ return null; } // manual summary + public StringBuilder append(char p0){ return null; } // manual summary + public StringBuilder append(int p0){ return null; } // manual summary + public StringBuilder append(long p0){ return null; } // manual summary + public StringBuilder delete(int p0, int p1){ return null; } // manual summary + public StringBuilder(String p0){} // manual summary + public StringBuilder(int p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/System.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/System.java new file mode 100644 index 00000000000..c00ad972663 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/System.java @@ -0,0 +1,24 @@ +// Generated automatically from java.lang.System for testing purposes + +package java.lang; + +import java.io.Console; +import java.io.InputStream; +import java.io.PrintStream; +import java.nio.channels.Channel; +import java.util.Map; +import java.util.Properties; + +public class System +{ + protected System() {} + public static String getProperty(String p0){ return null; } // NOT MODELED + public static String getenv(String p0){ return null; } // manual neutral + public static String lineSeparator(){ return null; } // manual neutral + public static String setProperty(String p0, String p1){ return null; } // NOT MODELED + public static int identityHashCode(Object p0){ return 0; } // manual neutral + public static long currentTimeMillis(){ return 0; } // manual neutral + public static long nanoTime(){ return 0; } // manual neutral + public static void arraycopy(Object p0, int p1, Object p2, int p3, int p4){} // manual summary + public static void exit(int p0){} // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Thread.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Thread.java new file mode 100644 index 00000000000..a5abd3c853a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Thread.java @@ -0,0 +1,16 @@ +// Generated automatically from java.lang.Thread for testing purposes + +package java.lang; + +import java.util.Map; + +public class Thread +{ + public ClassLoader getContextClassLoader(){ return null; } // manual neutral + public Thread(Runnable p0){} // manual summary + public final String getName(){ return null; } // manual summary + public static Thread currentThread(){ return null; } // manual neutral + public static void sleep(long p0){} // manual neutral + public void interrupt(){} // manual neutral + public void start(){} // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/ThreadLocal.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/ThreadLocal.java new file mode 100644 index 00000000000..f48cdbfe553 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/ThreadLocal.java @@ -0,0 +1,10 @@ +// Generated automatically from java.lang.ThreadLocal for testing purposes + +package java.lang; + +import java.util.function.Supplier; + +public class ThreadLocal +{ + public T get(){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Throwable.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Throwable.java new file mode 100644 index 00000000000..ad58f4bdbda --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Throwable.java @@ -0,0 +1,17 @@ +// Generated automatically from java.lang.Throwable for testing purposes + +package java.lang; + +import java.io.PrintStream; +import java.io.PrintWriter; +import java.io.Serializable; + +public class Throwable implements Serializable +{ + public String getLocalizedMessage(){ return null; } // manual summary + public String getMessage(){ return null; } // manual summary + public String toString(){ return null; } // manual summary + public Throwable getCause(){ return null; } // manual summary + public Throwable(Throwable p0){} // manual summary + public void printStackTrace(){} // NOT MODELED +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/reflect/Constructor.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/reflect/Constructor.java new file mode 100644 index 00000000000..dd9fae498f1 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/reflect/Constructor.java @@ -0,0 +1,16 @@ +// Generated automatically from java.lang.reflect.Constructor for testing purposes + +package java.lang.reflect; + +import java.lang.annotation.Annotation; +import java.lang.reflect.AnnotatedType; +import java.lang.reflect.Executable; +import java.lang.reflect.GenericDeclaration; +import java.lang.reflect.Type; +import java.lang.reflect.TypeVariable; + +public class Constructor +{ + protected Constructor() {} + public T newInstance(Object... p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/reflect/Field.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/reflect/Field.java new file mode 100644 index 00000000000..fe50fe04965 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/reflect/Field.java @@ -0,0 +1,15 @@ +// Generated automatically from java.lang.reflect.Field for testing purposes + +package java.lang.reflect; + +import java.lang.annotation.Annotation; +import java.lang.reflect.AccessibleObject; +import java.lang.reflect.AnnotatedType; +import java.lang.reflect.Member; +import java.lang.reflect.Type; + +public class Field extends AccessibleObject +{ + protected Field() {} + public Object get(Object p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/reflect/Method.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/reflect/Method.java new file mode 100644 index 00000000000..ee5d2b075c6 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/reflect/Method.java @@ -0,0 +1,17 @@ +// Generated automatically from java.lang.reflect.Method for testing purposes + +package java.lang.reflect; + +import java.lang.annotation.Annotation; +import java.lang.reflect.AnnotatedType; +import java.lang.reflect.Executable; +import java.lang.reflect.GenericDeclaration; +import java.lang.reflect.Type; +import java.lang.reflect.TypeVariable; + +public class Method +{ + protected Method() {} + public Object invoke(Object p0, Object... p1){ return null; } // manual neutral + public String getName(){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/math/BigDecimal.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/math/BigDecimal.java new file mode 100644 index 00000000000..e4d93dc5871 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/math/BigDecimal.java @@ -0,0 +1,25 @@ +// Generated automatically from java.math.BigDecimal for testing purposes + +package java.math; + +import java.math.BigInteger; +import java.math.MathContext; +import java.math.RoundingMode; + +public class BigDecimal +{ + protected BigDecimal() {} + public BigDecimal add(BigDecimal p0){ return null; } // manual neutral + public BigDecimal multiply(BigDecimal p0){ return null; } // manual neutral + public BigDecimal setScale(int p0, RoundingMode p1){ return null; } // manual neutral + public BigDecimal subtract(BigDecimal p0){ return null; } // manual neutral + public BigDecimal(String p0){} // manual neutral + public BigDecimal(int p0){} // manual neutral + public BigInteger toBigInteger(){ return null; } // manual neutral + public String toString(){ return null; } // manual neutral + public double doubleValue(){ return 0; } // manual neutral + public int compareTo(BigDecimal p0){ return 0; } // manual neutral + public int intValue(){ return 0; } // manual neutral + public static BigDecimal valueOf(double p0){ return null; } // manual neutral + public static BigDecimal valueOf(long p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/math/BigInteger.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/math/BigInteger.java new file mode 100644 index 00000000000..4e15ec4c70c --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/math/BigInteger.java @@ -0,0 +1,13 @@ +// Generated automatically from java.math.BigInteger for testing purposes + +package java.math; + +import java.util.Random; + +public class BigInteger +{ + protected BigInteger() {} + public BigInteger or(BigInteger p0){ return null; } // manual neutral + public BigInteger(String p0){} // manual neutral + public static BigInteger valueOf(long p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/net/URI.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/net/URI.java new file mode 100644 index 00000000000..374d4479606 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/net/URI.java @@ -0,0 +1,14 @@ +// Generated automatically from java.net.URI for testing purposes + +package java.net; + +import java.io.Serializable; +import java.net.URL; + +public class URI implements Serializable +{ + protected URI() {} + public String toString(){ return null; } // manual summary + public URI(String p0){} // manual summary + public static URI create(String p0){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/net/URL.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/net/URL.java new file mode 100644 index 00000000000..b5e8a679e6e --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/net/URL.java @@ -0,0 +1,18 @@ +// Generated automatically from java.net.URL for testing purposes + +package java.net; + +import java.io.InputStream; +import java.io.Serializable; +import java.net.Proxy; +import java.net.URI; +import java.net.URLConnection; +import java.net.URLStreamHandler; +import java.net.URLStreamHandlerFactory; + +public class URL implements Serializable +{ + protected URL() {} + public URI toURI(){ return null; } // manual summary + public URL(String p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/Buffer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/Buffer.java new file mode 100644 index 00000000000..a1a5fc87dac --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/Buffer.java @@ -0,0 +1,11 @@ +// Generated automatically from java.nio.Buffer for testing purposes + +package java.nio; + + +abstract public class Buffer +{ + protected Buffer() {} + public final int position(){ return 0; } // manual neutral + public final int remaining(){ return 0; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/ByteBuffer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/ByteBuffer.java new file mode 100644 index 00000000000..c405ed0e137 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/ByteBuffer.java @@ -0,0 +1,20 @@ +// Generated automatically from java.nio.ByteBuffer for testing purposes + +package java.nio; + +import java.nio.Buffer; +import java.nio.ByteOrder; +import java.nio.CharBuffer; +import java.nio.DoubleBuffer; +import java.nio.FloatBuffer; +import java.nio.IntBuffer; +import java.nio.LongBuffer; +import java.nio.ShortBuffer; + +abstract public class ByteBuffer extends Buffer implements Comparable +{ + protected ByteBuffer() {} + public final byte[] array(){ return null; } // manual summary + public static ByteBuffer allocate(int p0){ return null; } // manual neutral + public static ByteBuffer wrap(byte[] p0){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/charset/Charset.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/charset/Charset.java new file mode 100644 index 00000000000..6afbe306698 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/charset/Charset.java @@ -0,0 +1,17 @@ +// Generated automatically from java.nio.charset.Charset for testing purposes + +package java.nio.charset; + +import java.nio.ByteBuffer; +import java.nio.CharBuffer; +import java.nio.charset.CharsetDecoder; +import java.nio.charset.CharsetEncoder; +import java.util.Locale; +import java.util.Set; +import java.util.SortedMap; + +abstract public class Charset implements Comparable +{ + protected Charset() {} + public final String name(){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/file/Files.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/file/Files.java new file mode 100644 index 00000000000..869f8380d83 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/file/Files.java @@ -0,0 +1,35 @@ +// Generated automatically from java.nio.file.Files for testing purposes + +package java.nio.file; + +import java.io.BufferedReader; +import java.io.BufferedWriter; +import java.io.InputStream; +import java.io.OutputStream; +import java.nio.channels.SeekableByteChannel; +import java.nio.charset.Charset; +import java.nio.file.CopyOption; +import java.nio.file.DirectoryStream; +import java.nio.file.FileStore; +import java.nio.file.FileVisitOption; +import java.nio.file.FileVisitor; +import java.nio.file.LinkOption; +import java.nio.file.OpenOption; +import java.nio.file.Path; +import java.nio.file.attribute.BasicFileAttributes; +import java.nio.file.attribute.FileAttribute; +import java.nio.file.attribute.FileAttributeView; +import java.nio.file.attribute.FileTime; +import java.nio.file.attribute.PosixFilePermission; +import java.nio.file.attribute.UserPrincipal; +import java.util.List; +import java.util.Map; +import java.util.Set; +import java.util.function.BiPredicate; +import java.util.stream.Stream; + +public class Files +{ + protected Files() {} + public static boolean exists(Path p0, LinkOption... p1){ return false; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/file/Path.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/file/Path.java new file mode 100644 index 00000000000..79506940646 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/file/Path.java @@ -0,0 +1,23 @@ +// Generated automatically from java.nio.file.Path for testing purposes + +package java.nio.file; + +import java.io.File; +import java.net.URI; +import java.nio.file.FileSystem; +import java.nio.file.LinkOption; +import java.nio.file.WatchEvent; +import java.nio.file.WatchKey; +import java.nio.file.WatchService; +import java.nio.file.Watchable; +import java.util.Iterator; + +public interface Path extends Comparable, Iterable, Watchable +{ + File toFile(); // manual summary + Path getFileName(); // manual summary + Path getParent(); // manual summary + Path resolve(String p0); // manual summary + Path toAbsolutePath(); // manual summary + String toString(); // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/file/Paths.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/file/Paths.java new file mode 100644 index 00000000000..10ae2aae58b --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/file/Paths.java @@ -0,0 +1,12 @@ +// Generated automatically from java.nio.file.Paths for testing purposes + +package java.nio.file; + +import java.net.URI; +import java.nio.file.Path; + +public class Paths +{ + protected Paths() {} + public static Path get(String p0, String... p1){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/Connection.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/Connection.java new file mode 100644 index 00000000000..d4be03aa6ce --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/Connection.java @@ -0,0 +1,25 @@ +// Generated automatically from java.sql.Connection for testing purposes + +package java.sql; + +import java.sql.Array; +import java.sql.Blob; +import java.sql.CallableStatement; +import java.sql.Clob; +import java.sql.DatabaseMetaData; +import java.sql.NClob; +import java.sql.PreparedStatement; +import java.sql.SQLWarning; +import java.sql.SQLXML; +import java.sql.Savepoint; +import java.sql.Statement; +import java.sql.Struct; +import java.sql.Wrapper; +import java.util.Map; +import java.util.Properties; +import java.util.concurrent.Executor; + +public interface Connection extends AutoCloseable, Wrapper +{ + Statement createStatement(); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/PreparedStatement.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/PreparedStatement.java new file mode 100644 index 00000000000..3f3676eb555 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/PreparedStatement.java @@ -0,0 +1,32 @@ +// Generated automatically from java.sql.PreparedStatement for testing purposes + +package java.sql; + +import java.io.InputStream; +import java.io.Reader; +import java.math.BigDecimal; +import java.net.URL; +import java.sql.Array; +import java.sql.Blob; +import java.sql.Clob; +import java.sql.NClob; +import java.sql.ParameterMetaData; +import java.sql.Ref; +import java.sql.ResultSet; +import java.sql.ResultSetMetaData; +import java.sql.RowId; +import java.sql.SQLType; +import java.sql.SQLXML; +import java.sql.Statement; +import java.sql.Time; +import java.sql.Timestamp; +import java.util.Calendar; + +public interface PreparedStatement extends Statement +{ + ResultSet executeQuery(); // manual neutral + int executeUpdate(); // manual neutral + void setInt(int p0, int p1); // manual neutral + void setLong(int p0, long p1); // manual neutral + void setString(int p0, String p1); // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/ResultSet.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/ResultSet.java new file mode 100644 index 00000000000..7dba843c14c --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/ResultSet.java @@ -0,0 +1,35 @@ +// Generated automatically from java.sql.ResultSet for testing purposes + +package java.sql; + +import java.io.InputStream; +import java.io.Reader; +import java.math.BigDecimal; +import java.net.URL; +import java.sql.Array; +import java.sql.Blob; +import java.sql.Clob; +import java.sql.NClob; +import java.sql.Ref; +import java.sql.ResultSetMetaData; +import java.sql.RowId; +import java.sql.SQLType; +import java.sql.SQLWarning; +import java.sql.SQLXML; +import java.sql.Statement; +import java.sql.Time; +import java.sql.Timestamp; +import java.sql.Wrapper; +import java.util.Calendar; +import java.util.Map; + +public interface ResultSet extends AutoCloseable, Wrapper +{ + String getString(String p0); // manual summary + String getString(int p0); // manual neutral + Timestamp getTimestamp(String p0); // manual neutral + boolean next(); // manual neutral + int getInt(String p0); // manual neutral + int getInt(int p0); // manual neutral + long getLong(String p0); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/Statement.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/Statement.java new file mode 100644 index 00000000000..c66588045e4 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/Statement.java @@ -0,0 +1,13 @@ +// Generated automatically from java.sql.Statement for testing purposes + +package java.sql; + +import java.sql.Connection; +import java.sql.ResultSet; +import java.sql.SQLWarning; +import java.sql.Wrapper; + +public interface Statement extends AutoCloseable, Wrapper +{ + void close(); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/Timestamp.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/Timestamp.java new file mode 100644 index 00000000000..6d022e545cb --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/Timestamp.java @@ -0,0 +1,13 @@ +// Generated automatically from java.sql.Timestamp for testing purposes + +package java.sql; + +import java.time.Instant; +import java.time.LocalDateTime; + +public class Timestamp +{ + protected Timestamp() {} + public Timestamp(long p0){} // manual neutral + public long getTime(){ return 0; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/DateFormat.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/DateFormat.java new file mode 100644 index 00000000000..fc2dc2b676c --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/DateFormat.java @@ -0,0 +1,17 @@ +// Generated automatically from java.text.DateFormat for testing purposes + +package java.text; + +import java.text.FieldPosition; +import java.text.Format; +import java.text.NumberFormat; +import java.text.ParsePosition; +import java.util.Calendar; +import java.util.Locale; +import java.util.TimeZone; + +abstract public class DateFormat extends Format +{ + public final String format(java.util.Date p0){ return null; } // manual neutral + public java.util.Date parse(String p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/Format.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/Format.java new file mode 100644 index 00000000000..5c78d249d29 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/Format.java @@ -0,0 +1,13 @@ +// Generated automatically from java.text.Format for testing purposes + +package java.text; + +import java.io.Serializable; +import java.text.AttributedCharacterIterator; +import java.text.FieldPosition; +import java.text.ParsePosition; + +abstract public class Format implements Cloneable, Serializable +{ + public final String format(Object p0){ return null; } // NOT MODELED +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/MessageFormat.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/MessageFormat.java new file mode 100644 index 00000000000..9f27e2bcc8e --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/MessageFormat.java @@ -0,0 +1,15 @@ +// Generated automatically from java.text.MessageFormat for testing purposes + +package java.text; + +import java.text.AttributedCharacterIterator; +import java.text.FieldPosition; +import java.text.Format; +import java.text.ParsePosition; +import java.util.Locale; + +public class MessageFormat extends Format +{ + protected MessageFormat() {} + public static String format(String p0, Object... p1){ return null; } // NOT MODELED +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/SimpleDateFormat.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/SimpleDateFormat.java new file mode 100644 index 00000000000..cf63078106e --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/SimpleDateFormat.java @@ -0,0 +1,15 @@ +// Generated automatically from java.text.SimpleDateFormat for testing purposes + +package java.text; + +import java.text.AttributedCharacterIterator; +import java.text.DateFormat; +import java.text.DateFormatSymbols; +import java.text.FieldPosition; +import java.text.ParsePosition; +import java.util.Locale; + +public class SimpleDateFormat extends DateFormat +{ + public SimpleDateFormat(String p0){} // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/Duration.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/Duration.java new file mode 100644 index 00000000000..d186a273947 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/Duration.java @@ -0,0 +1,18 @@ +// Generated automatically from java.time.Duration for testing purposes + +package java.time; + +import java.io.Serializable; +import java.time.temporal.Temporal; +import java.time.temporal.TemporalAmount; +import java.time.temporal.TemporalUnit; +import java.util.List; + +public class Duration implements Serializable +{ + protected Duration() {} + public long toMillis(){ return 0; } // manual neutral + public static Duration ofMillis(long p0){ return null; } // manual neutral + public static Duration ofMinutes(long p0){ return null; } // manual neutral + public static Duration ofSeconds(long p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/Instant.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/Instant.java new file mode 100644 index 00000000000..9ee71efc71d --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/Instant.java @@ -0,0 +1,27 @@ +// Generated automatically from java.time.Instant for testing purposes + +package java.time; + +import java.io.Serializable; +import java.time.Clock; +import java.time.OffsetDateTime; +import java.time.ZoneId; +import java.time.ZoneOffset; +import java.time.ZonedDateTime; +import java.time.temporal.Temporal; +import java.time.temporal.TemporalAccessor; +import java.time.temporal.TemporalAdjuster; +import java.time.temporal.TemporalAmount; +import java.time.temporal.TemporalField; +import java.time.temporal.TemporalQuery; +import java.time.temporal.TemporalUnit; +import java.time.temporal.ValueRange; + +public class Instant implements Serializable +{ + protected Instant() {} + public long toEpochMilli(){ return 0; } // manual neutral + public static Instant now(){ return null; } // manual neutral + public static Instant ofEpochMilli(long p0){ return null; } // manual neutral + public static Instant parse(CharSequence p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/LocalDate.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/LocalDate.java new file mode 100644 index 00000000000..b425ba4f9ee --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/LocalDate.java @@ -0,0 +1,36 @@ +// Generated automatically from java.time.LocalDate for testing purposes + +package java.time; + +import java.io.Serializable; +import java.time.Clock; +import java.time.DayOfWeek; +import java.time.LocalDateTime; +import java.time.LocalTime; +import java.time.Month; +import java.time.OffsetDateTime; +import java.time.OffsetTime; +import java.time.Period; +import java.time.ZoneId; +import java.time.ZonedDateTime; +import java.time.chrono.ChronoLocalDate; +import java.time.chrono.Era; +import java.time.chrono.IsoChronology; +import java.time.format.DateTimeFormatter; +import java.time.temporal.Temporal; +import java.time.temporal.TemporalAccessor; +import java.time.temporal.TemporalAdjuster; +import java.time.temporal.TemporalAmount; +import java.time.temporal.TemporalField; +import java.time.temporal.TemporalQuery; +import java.time.temporal.TemporalUnit; +import java.time.temporal.ValueRange; + +public class LocalDate implements Serializable +{ + protected LocalDate() {} + public LocalDate plusDays(long p0){ return null; } // manual neutral + public static LocalDate now(){ return null; } // manual neutral + public static LocalDate of(int p0, int p1, int p2){ return null; } // manual neutral + public static LocalDate parse(CharSequence p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/LocalDateTime.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/LocalDateTime.java new file mode 100644 index 00000000000..ead0754c4e8 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/LocalDateTime.java @@ -0,0 +1,33 @@ +// Generated automatically from java.time.LocalDateTime for testing purposes + +package java.time; + +import java.io.Serializable; +import java.time.Clock; +import java.time.DayOfWeek; +import java.time.Instant; +import java.time.LocalDate; +import java.time.LocalTime; +import java.time.Month; +import java.time.OffsetDateTime; +import java.time.ZoneId; +import java.time.ZoneOffset; +import java.time.ZonedDateTime; +import java.time.chrono.ChronoLocalDate; +import java.time.chrono.ChronoLocalDateTime; +import java.time.format.DateTimeFormatter; +import java.time.temporal.Temporal; +import java.time.temporal.TemporalAccessor; +import java.time.temporal.TemporalAdjuster; +import java.time.temporal.TemporalAmount; +import java.time.temporal.TemporalField; +import java.time.temporal.TemporalQuery; +import java.time.temporal.TemporalUnit; +import java.time.temporal.ValueRange; + +public class LocalDateTime implements Serializable +{ + protected LocalDateTime() {} + public static LocalDateTime now(){ return null; } // manual neutral + public static LocalDateTime of(int p0, int p1, int p2, int p3, int p4, int p5){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/ZoneId.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/ZoneId.java new file mode 100644 index 00000000000..9e8f42af435 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/ZoneId.java @@ -0,0 +1,18 @@ +// Generated automatically from java.time.ZoneId for testing purposes + +package java.time; + +import java.io.Serializable; +import java.time.ZoneOffset; +import java.time.format.TextStyle; +import java.time.temporal.TemporalAccessor; +import java.time.zone.ZoneRules; +import java.util.Locale; +import java.util.Map; +import java.util.Set; + +abstract public class ZoneId implements Serializable +{ + public static ZoneId of(String p0){ return null; } // manual neutral + public static ZoneId systemDefault(){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/ZonedDateTime.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/ZonedDateTime.java new file mode 100644 index 00000000000..edce9fcaa56 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/ZonedDateTime.java @@ -0,0 +1,32 @@ +// Generated automatically from java.time.ZonedDateTime for testing purposes + +package java.time; + +import java.io.Serializable; +import java.time.Clock; +import java.time.DayOfWeek; +import java.time.Instant; +import java.time.LocalDate; +import java.time.LocalDateTime; +import java.time.LocalTime; +import java.time.Month; +import java.time.OffsetDateTime; +import java.time.ZoneId; +import java.time.ZoneOffset; +import java.time.chrono.ChronoLocalDate; +import java.time.chrono.ChronoZonedDateTime; +import java.time.format.DateTimeFormatter; +import java.time.temporal.Temporal; +import java.time.temporal.TemporalAccessor; +import java.time.temporal.TemporalAdjuster; +import java.time.temporal.TemporalAmount; +import java.time.temporal.TemporalField; +import java.time.temporal.TemporalQuery; +import java.time.temporal.TemporalUnit; +import java.time.temporal.ValueRange; + +public class ZonedDateTime implements Serializable +{ + protected ZonedDateTime() {} + public static ZonedDateTime now(){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/chrono/ChronoZonedDateTime.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/chrono/ChronoZonedDateTime.java new file mode 100644 index 00000000000..abaf6ae724f --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/chrono/ChronoZonedDateTime.java @@ -0,0 +1,26 @@ +// Generated automatically from java.time.chrono.ChronoZonedDateTime for testing purposes + +package java.time.chrono; + +import java.time.Instant; +import java.time.LocalTime; +import java.time.ZoneId; +import java.time.ZoneOffset; +import java.time.chrono.ChronoLocalDate; +import java.time.chrono.ChronoLocalDateTime; +import java.time.chrono.Chronology; +import java.time.format.DateTimeFormatter; +import java.time.temporal.Temporal; +import java.time.temporal.TemporalAccessor; +import java.time.temporal.TemporalAdjuster; +import java.time.temporal.TemporalAmount; +import java.time.temporal.TemporalField; +import java.time.temporal.TemporalQuery; +import java.time.temporal.TemporalUnit; +import java.time.temporal.ValueRange; +import java.util.Comparator; + +public interface ChronoZonedDateTime extends Comparable>, Temporal +{ + default Instant toInstant(){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/format/DateTimeFormatter.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/format/DateTimeFormatter.java new file mode 100644 index 00000000000..6dcdb097a9b --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/format/DateTimeFormatter.java @@ -0,0 +1,24 @@ +// Generated automatically from java.time.format.DateTimeFormatter for testing purposes + +package java.time.format; + +import java.text.Format; +import java.text.ParsePosition; +import java.time.Period; +import java.time.ZoneId; +import java.time.chrono.Chronology; +import java.time.format.DecimalStyle; +import java.time.format.FormatStyle; +import java.time.format.ResolverStyle; +import java.time.temporal.TemporalAccessor; +import java.time.temporal.TemporalField; +import java.time.temporal.TemporalQuery; +import java.util.Locale; +import java.util.Set; + +public class DateTimeFormatter +{ + protected DateTimeFormatter() {} + public String format(TemporalAccessor p0){ return null; } // manual neutral + public static DateTimeFormatter ofPattern(String p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/ArrayList.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/ArrayList.java new file mode 100644 index 00000000000..fbeedcda467 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/ArrayList.java @@ -0,0 +1,27 @@ +// Generated automatically from java.util.ArrayList for testing purposes + +package java.util; + +import java.io.Serializable; +import java.util.AbstractList; +import java.util.Collection; +import java.util.Comparator; +import java.util.Iterator; +import java.util.List; +import java.util.ListIterator; +import java.util.RandomAccess; +import java.util.Spliterator; +import java.util.function.Consumer; +import java.util.function.Predicate; +import java.util.function.UnaryOperator; + +public class ArrayList extends java.util.AbstractList implements Cloneable, RandomAccess, Serializable, java.util.List +{ + public ArrayList(int p0){} // manual neutral + public ArrayList(java.util.Collection p0){} // manual summary + public E get(int p0){ return null; } // manual summary + public boolean add(E p0){ return false; } // manual summary + public boolean addAll(java.util.Collection p0){ return false; } // manual summary + public boolean isEmpty(){ return false; } // manual neutral + public int size(){ return 0; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Arrays.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Arrays.java new file mode 100644 index 00000000000..f46a22e200a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Arrays.java @@ -0,0 +1,27 @@ +// Generated automatically from java.util.Arrays for testing purposes + +package java.util; + +import java.util.Comparator; +import java.util.List; +import java.util.Spliterator; +import java.util.function.BinaryOperator; +import java.util.function.DoubleBinaryOperator; +import java.util.function.IntBinaryOperator; +import java.util.function.IntFunction; +import java.util.function.IntToDoubleFunction; +import java.util.function.IntToLongFunction; +import java.util.function.IntUnaryOperator; +import java.util.function.LongBinaryOperator; +import java.util.stream.DoubleStream; +import java.util.stream.IntStream; +import java.util.stream.LongStream; +import java.util.stream.Stream; + +public class Arrays +{ + protected Arrays() {} + public static java.util.List asList(T... p0){ return null; } // manual summary + public static java.util.stream.Stream stream(T[] p0){ return null; } // manual summary + public static String toString(Object[] p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Calendar.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Calendar.java new file mode 100644 index 00000000000..834f752deb6 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Calendar.java @@ -0,0 +1,21 @@ +// Generated automatically from java.util.Calendar for testing purposes + +package java.util; + +import java.io.Serializable; +import java.time.Instant; +import java.util.Locale; +import java.util.Map; +import java.util.Set; +import java.util.TimeZone; + +abstract public class Calendar implements Cloneable, Comparable, Serializable +{ + public abstract void add(int p0, int p1); // manual neutral + public final java.util.Date getTime(){ return null; } // manual neutral + public final void setTime(java.util.Date p0){} // manual neutral + public int get(int p0){ return 0; } // manual neutral + public long getTimeInMillis(){ return 0; } // manual neutral + public static Calendar getInstance(){ return null; } // manual neutral + public void set(int p0, int p1){} // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Collection.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Collection.java new file mode 100644 index 00000000000..5ac14cc1efa --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Collection.java @@ -0,0 +1,19 @@ +// Generated automatically from java.util.Collection for testing purposes + +package java.util; + +import java.util.Iterator; +import java.util.Spliterator; +import java.util.function.Predicate; +import java.util.stream.Stream; + +public interface Collection extends java.lang.Iterable +{ + boolean add(E p0); // manual summary + boolean contains(Object p0); // manual neutral + boolean isEmpty(); // manual neutral + default boolean removeIf(java.util.function.Predicate p0){ return false; } // manual neutral + default java.util.stream.Stream stream(){ return null; } // manual summary + int size(); // manual neutral + java.util.Iterator iterator(); // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Collections.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Collections.java new file mode 100644 index 00000000000..96e2d2fde83 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Collections.java @@ -0,0 +1,36 @@ +// Generated automatically from java.util.Collections for testing purposes + +package java.util; + +import java.util.ArrayList; +import java.util.Collection; +import java.util.Comparator; +import java.util.Deque; +import java.util.Enumeration; +import java.util.Iterator; +import java.util.List; +import java.util.ListIterator; +import java.util.Map; +import java.util.NavigableMap; +import java.util.NavigableSet; +import java.util.Queue; +import java.util.Random; +import java.util.Set; +import java.util.SortedMap; +import java.util.SortedSet; + +public class Collections +{ + protected Collections() {} + public static java.util.Map emptyMap(){ return null; } // manual neutral + public static java.util.Map singletonMap(K p0, V p1){ return null; } // manual summary + public static java.util.Map unmodifiableMap(java.util.Map p0){ return null; } // manual summary + public static > void sort(java.util.List p0){} // manual neutral + public static java.util.List emptyList(){ return null; } // manual neutral + public static java.util.List singletonList(T p0){ return null; } // manual summary + public static java.util.List unmodifiableList(java.util.List p0){ return null; } // manual summary + public static java.util.Set emptySet(){ return null; } // manual neutral + public static java.util.Set singleton(T p0){ return null; } // manual summary + public static java.util.Set unmodifiableSet(Set p0){ return null; } // manual summary + public static void sort(java.util.List p0, java.util.Comparator p1){} // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Comparator.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Comparator.java new file mode 100644 index 00000000000..b66dc3b0826 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Comparator.java @@ -0,0 +1,13 @@ +// Generated automatically from java.util.Comparator for testing purposes + +package java.util; + +import java.util.function.Function; +import java.util.function.ToDoubleFunction; +import java.util.function.ToIntFunction; +import java.util.function.ToLongFunction; + +public interface Comparator +{ + static > java.util.Comparator comparing(java.util.function.Function p0){ return null; } // NOT MODELED +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Date.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Date.java new file mode 100644 index 00000000000..588bcf043f0 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Date.java @@ -0,0 +1,14 @@ +// Generated automatically from java.util.Date for testing purposes + +package java.util; + +import java.io.Serializable; +import java.time.Instant; + +public class Date implements Cloneable, Serializable +{ + public Date(long p0){} // manual neutral + public Instant toInstant(){ return null; } // manual neutral + public long getTime(){ return 0; } // manual neutral + public static java.util.Date from(Instant p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Enumeration.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Enumeration.java new file mode 100644 index 00000000000..d8028c8293a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Enumeration.java @@ -0,0 +1,10 @@ +// Generated automatically from java.util.Enumeration for testing purposes + +package java.util; + + +public interface Enumeration +{ + E nextElement(); // manual summary + boolean hasMoreElements(); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/EventObject.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/EventObject.java new file mode 100644 index 00000000000..7fd41260d04 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/EventObject.java @@ -0,0 +1,11 @@ +// Generated automatically from java.util.EventObject for testing purposes + +package java.util; + +import java.io.Serializable; + +public class EventObject implements Serializable +{ + protected EventObject() {} + public Object getSource(){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/HashMap.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/HashMap.java new file mode 100644 index 00000000000..a5a631818c7 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/HashMap.java @@ -0,0 +1,24 @@ +// Generated automatically from java.util.HashMap for testing purposes + +package java.util; + +import java.io.Serializable; +import java.util.AbstractMap; +import java.util.Collection; +import java.util.LinkedHashMap; +import java.util.Map; +import java.util.Set; +import java.util.function.BiConsumer; +import java.util.function.BiFunction; +import java.util.function.Function; + +public class HashMap implements Cloneable, Serializable +{ + public HashMap(int p0){} // manual neutral + public HashMap(java.util.Map p0){} // manual summary + public V get(Object p0){ return null; } // manual summary + public V put(K p0, V p1){ return null; } // manual summary + public boolean containsKey(Object p0){ return false; } // manual neutral + public int size(){ return 0; } // manual neutral + // public java.util.Set> entrySet(){ return null; } // manual summary -- REMOVE UNTIL FIX MAP.ENTRYSET +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/HashSet.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/HashSet.java new file mode 100644 index 00000000000..49c2bf82a57 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/HashSet.java @@ -0,0 +1,17 @@ +// Generated automatically from java.util.HashSet for testing purposes + +package java.util; + +import java.io.Serializable; +import java.util.AbstractSet; +import java.util.Collection; +import java.util.Iterator; +import java.util.Set; +import java.util.Spliterator; + +public class HashSet implements Cloneable, Serializable +{ + public HashSet(int p0){} // manual neutral + public HashSet(java.util.Collection p0){} // manual summary + public boolean add(E p0){ return false; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Hashtable.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Hashtable.java new file mode 100644 index 00000000000..d71b92acc8f --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Hashtable.java @@ -0,0 +1,19 @@ +// Generated automatically from java.util.Hashtable for testing purposes + +package java.util; + +import java.io.Serializable; +import java.util.Collection; +import java.util.Dictionary; +import java.util.Enumeration; +import java.util.Map; +import java.util.Set; +import java.util.function.BiConsumer; +import java.util.function.BiFunction; +import java.util.function.Function; + +public class Hashtable implements Cloneable, Serializable +{ + public V get(Object p0){ return null; } // manual summary + public V put(K p0, V p1){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Iterator.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Iterator.java new file mode 100644 index 00000000000..c9815feaa86 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Iterator.java @@ -0,0 +1,12 @@ +// Generated automatically from java.util.Iterator for testing purposes + +package java.util; + +import java.util.function.Consumer; + +public interface Iterator +{ + E next(); // manual summary + boolean hasNext(); // manual neutral + default void remove(){} // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/LinkedHashMap.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/LinkedHashMap.java new file mode 100644 index 00000000000..68c282692fb --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/LinkedHashMap.java @@ -0,0 +1,15 @@ +// Generated automatically from java.util.LinkedHashMap for testing purposes + +package java.util; + +import java.util.Collection; +import java.util.HashMap; +import java.util.Map; +import java.util.Set; +import java.util.function.BiConsumer; +import java.util.function.BiFunction; + +public class LinkedHashMap +{ + public V get(Object p0){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/LinkedHashSet.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/LinkedHashSet.java new file mode 100644 index 00000000000..fa071d55b50 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/LinkedHashSet.java @@ -0,0 +1,14 @@ +// Generated automatically from java.util.LinkedHashSet for testing purposes + +package java.util; + +import java.io.Serializable; +import java.util.Collection; +import java.util.HashSet; +import java.util.Set; +import java.util.Spliterator; + +public class LinkedHashSet implements Cloneable, Serializable +{ + public LinkedHashSet(java.util.Collection p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/LinkedList.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/LinkedList.java new file mode 100644 index 00000000000..2939eaf9752 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/LinkedList.java @@ -0,0 +1,17 @@ +// Generated automatically from java.util.LinkedList for testing purposes + +package java.util; + +import java.io.Serializable; +import java.util.AbstractSequentialList; +import java.util.Collection; +import java.util.Deque; +import java.util.Iterator; +import java.util.List; +import java.util.ListIterator; +import java.util.Spliterator; + +public class LinkedList implements Cloneable, Serializable +{ + public boolean add(E p0){ return false; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/List.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/List.java new file mode 100644 index 00000000000..a0e743d4ac5 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/List.java @@ -0,0 +1,33 @@ +// Generated automatically from java.util.List for testing purposes + +package java.util; + +import java.util.Collection; +import java.util.Comparator; +import java.util.Iterator; +import java.util.ListIterator; +import java.util.Spliterator; +import java.util.function.UnaryOperator; + +public interface List extends java.util.Collection +{ + T[] toArray(T[] p0); // manual summary + E get(int p0); // manual summary + E remove(int p0); // manual summary + E set(int p0, E p1); // manual summary + List subList(int p0, int p1); // manual summary + Object[] toArray(); // manual summary + boolean add(E p0); // manual summary + boolean addAll(java.util.Collection p0); // manual summary + boolean contains(Object p0); // manual neutral + boolean equals(Object p0); // manual neutral + boolean isEmpty(); // manual neutral + boolean remove(Object p0); // manual neutral + default void sort(java.util.Comparator p0){} // manual neutral + int hashCode(); // manual neutral + int indexOf(Object p0); // manual neutral + int size(); // manual neutral + java.util.Iterator iterator(); // manual summary + void add(int p0, E p1); // manual summary + void clear(); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Locale.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Locale.java new file mode 100644 index 00000000000..aaaeb9c0471 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Locale.java @@ -0,0 +1,15 @@ +// Generated automatically from java.util.Locale for testing purposes + +package java.util; + +import java.io.Serializable; +import java.util.Collection; +import java.util.List; +import java.util.Map; +import java.util.Set; + +public class Locale implements Cloneable, Serializable +{ + protected Locale() {} + public static Locale forLanguageTag(String p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Map.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Map.java new file mode 100644 index 00000000000..5412f461962 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Map.java @@ -0,0 +1,28 @@ +// Generated automatically from java.util.Map for testing purposes + +package java.util; + +import java.util.Collection; +import java.util.Comparator; +import java.util.Set; +import java.util.function.BiConsumer; +import java.util.function.BiFunction; +import java.util.function.Function; + +public interface Map +{ + V get(Object p0); // manual summary + V put(K p0, V p1); // manual summary + V remove(Object p0); // manual summary + boolean containsKey(Object p0); // manual neutral + boolean isEmpty(); // manual neutral + default V computeIfAbsent(K p0, java.util.function.Function p1){ return null; } // manual summary + default V getOrDefault(Object p0, V p1){ return null; } // manual summary + default void forEach(java.util.function.BiConsumer p0){} // manual summary + int size(); // manual neutral + java.util.Collection values(); // manual summary + java.util.Set keySet(); // manual summary + // java.util.Set> entrySet(); // manual summary - REMOVE UNTIL FIX MAP.ENTRY + void clear(); // manual neutral + void putAll(java.util.Map p0); // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Objects.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Objects.java new file mode 100644 index 00000000000..7c85dbcba32 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Objects.java @@ -0,0 +1,18 @@ +// Generated automatically from java.util.Objects for testing purposes + +package java.util; + +import java.util.Comparator; +import java.util.function.Supplier; + +public class Objects +{ + protected Objects() {} + public static T requireNonNull(T p0){ return null; } // manual summary + public static T requireNonNull(T p0, String p1){ return null; } // manual summary + public static boolean equals(Object p0, Object p1){ return false; } // manual neutral + public static boolean isNull(Object p0){ return false; } // manual neutral + public static boolean nonNull(Object p0){ return false; } // manual neutral + public static int hash(Object... p0){ return 0; } // manual neutral + public static int hashCode(Object p0){ return 0; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Optional.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Optional.java new file mode 100644 index 00000000000..d9ae9a84fe5 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Optional.java @@ -0,0 +1,24 @@ +// Generated automatically from java.util.Optional for testing purposes + +package java.util; + +import java.util.function.Consumer; +import java.util.function.Function; +import java.util.function.Predicate; +import java.util.function.Supplier; + +public class Optional +{ + protected Optional() {} + public java.util.Optional map(java.util.function.Function p0){ return null; } // manual summary + public T orElseThrow(Supplier p0){ return null; } // manual summary + public Optional filter(java.util.function.Predicate p0){ return null; } // manual summary + public T get(){ return null; } // manual summary + public T orElse(T p0){ return null; } // manual summary + public T orElseGet(Supplier p0){ return null; } // manual summary + public boolean isPresent(){ return false; } // manual neutral + public static java.util.Optional empty(){ return null; } // manual neutral + public static java.util.Optional of(T p0){ return null; } // manual summary + public static java.util.Optional ofNullable(T p0){ return null; } // manual summary + public void ifPresent(java.util.function.Consumer p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Properties.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Properties.java new file mode 100644 index 00000000000..ab5f76ee7d1 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Properties.java @@ -0,0 +1,19 @@ +// Generated automatically from java.util.Properties for testing purposes + +package java.util; + +import java.io.InputStream; +import java.io.OutputStream; +import java.io.PrintStream; +import java.io.PrintWriter; +import java.io.Reader; +import java.io.Writer; +import java.util.Enumeration; +import java.util.Hashtable; +import java.util.Set; + +public class Properties extends Hashtable +{ + public Object setProperty(String p0, String p1){ return null; } // manual summary + public String getProperty(String p0){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Queue.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Queue.java new file mode 100644 index 00000000000..732cb50c470 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Queue.java @@ -0,0 +1,11 @@ +// Generated automatically from java.util.Queue for testing purposes + +package java.util; + +import java.util.Collection; + +public interface Queue extends java.util.Collection +{ + E poll(); // manual summary + boolean add(E p0); // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Random.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Random.java new file mode 100644 index 00000000000..be2ec74b451 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Random.java @@ -0,0 +1,13 @@ +// Generated automatically from java.util.Random for testing purposes + +package java.util; + +import java.io.Serializable; +import java.util.stream.DoubleStream; +import java.util.stream.IntStream; +import java.util.stream.LongStream; + +public class Random implements Serializable +{ + public int nextInt(int p0){ return 0; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/ResourceBundle.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/ResourceBundle.java new file mode 100644 index 00000000000..2a5b3fed26d --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/ResourceBundle.java @@ -0,0 +1,13 @@ +// Generated automatically from java.util.ResourceBundle for testing purposes + +package java.util; + +import java.util.Enumeration; +import java.util.List; +import java.util.Locale; +import java.util.Set; + +abstract public class ResourceBundle +{ + public final String getString(String p0){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Set.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Set.java new file mode 100644 index 00000000000..2ddfb069de8 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Set.java @@ -0,0 +1,20 @@ +// Generated automatically from java.util.Set for testing purposes + +package java.util; + +import java.util.Collection; +import java.util.Iterator; +import java.util.Spliterator; + +public interface Set extends java.util.Collection +{ + boolean add(E p0); // manual summary + boolean addAll(java.util.Collection p0); // manual summary + boolean contains(Object p0); // manual neutral + boolean isEmpty(); // manual neutral + boolean remove(Object p0); // manual neutral + boolean removeAll(Collection p0); // manual neutral + int size(); // manual neutral + java.util.Iterator iterator(); // manual summary + void clear(); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/StringJoiner.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/StringJoiner.java new file mode 100644 index 00000000000..00523ef02d6 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/StringJoiner.java @@ -0,0 +1,10 @@ +// Generated automatically from java.util.StringJoiner for testing purposes + +package java.util; + + +public class StringJoiner +{ + protected StringJoiner() {} + public StringJoiner add(CharSequence p0){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/StringTokenizer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/StringTokenizer.java new file mode 100644 index 00000000000..d33a8c342b1 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/StringTokenizer.java @@ -0,0 +1,11 @@ +// Generated automatically from java.util.StringTokenizer for testing purposes + +package java.util; + +import java.util.Enumeration; + +public class StringTokenizer +{ + protected StringTokenizer() {} + public String nextToken(){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/TimeZone.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/TimeZone.java new file mode 100644 index 00000000000..28f71378d14 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/TimeZone.java @@ -0,0 +1,12 @@ +// Generated automatically from java.util.TimeZone for testing purposes + +package java.util; + +import java.io.Serializable; +import java.time.ZoneId; +import java.util.Locale; + +abstract public class TimeZone implements Cloneable, Serializable +{ + public static TimeZone getTimeZone(String p0){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/UUID.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/UUID.java new file mode 100644 index 00000000000..c05a4dbd2f9 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/UUID.java @@ -0,0 +1,14 @@ +// Generated automatically from java.util.UUID for testing purposes + +package java.util; + +import java.io.Serializable; + +public class UUID implements Serializable +{ + protected UUID() {} + public String toString(){ return null; } // manual neutral + public boolean equals(Object p0){ return false; } // manual neutral + public static UUID fromString(String p0){ return null; } // manual neutral + public static UUID randomUUID(){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Vector.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Vector.java new file mode 100644 index 00000000000..7b1f3d11125 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Vector.java @@ -0,0 +1,24 @@ +// Generated automatically from java.util.Vector for testing purposes + +package java.util; + +import java.io.Serializable; +import java.util.AbstractList; +import java.util.Collection; +import java.util.Comparator; +import java.util.Enumeration; +import java.util.Iterator; +import java.util.List; +import java.util.ListIterator; +import java.util.RandomAccess; +import java.util.Spliterator; +import java.util.function.Consumer; +import java.util.function.Predicate; +import java.util.function.UnaryOperator; + +public class Vector implements Cloneable, RandomAccess, Serializable +{ + public boolean add(E p0){ return false; } // manual summary + public int size(){ return 0; } // manual neutral + public void addElement(E p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/CompletableFuture.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/CompletableFuture.java new file mode 100644 index 00000000000..10a7d79590c --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/CompletableFuture.java @@ -0,0 +1,24 @@ +// Generated automatically from java.util.concurrent.CompletableFuture for testing purposes + +package java.util.concurrent; + +import java.util.concurrent.CompletionStage; +import java.util.concurrent.Executor; +import java.util.concurrent.ForkJoinTask; +import java.util.concurrent.Future; +import java.util.concurrent.TimeUnit; +import java.util.function.BiConsumer; +import java.util.function.BiFunction; +import java.util.function.Consumer; +import java.util.function.Function; +import java.util.function.Supplier; + +public class CompletableFuture implements java.util.concurrent.Future +{ + public T get(){ return null; } // manual summary + public T join(){ return null; } // manual summary + public boolean complete(T p0){ return false; } // manual summary + public boolean completeExceptionally(Throwable p0){ return false; } // manual neutral + public boolean isDone(){ return false; } // manual neutral + public static java.util.concurrent.CompletableFuture completedFuture(U p0){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/CompletionStage.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/CompletionStage.java new file mode 100644 index 00000000000..5261d7b62b1 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/CompletionStage.java @@ -0,0 +1,15 @@ +// Generated automatically from java.util.concurrent.CompletionStage for testing purposes + +package java.util.concurrent; + +import java.util.concurrent.CompletableFuture; +import java.util.concurrent.Executor; +import java.util.function.BiConsumer; +import java.util.function.BiFunction; +import java.util.function.Consumer; +import java.util.function.Function; + +public interface CompletionStage +{ + java.util.concurrent.CompletableFuture toCompletableFuture(); // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/ConcurrentHashMap.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/ConcurrentHashMap.java new file mode 100644 index 00000000000..63a39b8d968 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/ConcurrentHashMap.java @@ -0,0 +1,32 @@ +// Generated automatically from java.util.concurrent.ConcurrentHashMap for testing purposes + +package java.util.concurrent; + +import java.io.Serializable; +import java.util.AbstractMap; +import java.util.Collection; +import java.util.Enumeration; +import java.util.Iterator; +import java.util.Map; +import java.util.Set; +import java.util.Spliterator; +import java.util.concurrent.ConcurrentMap; +import java.util.function.BiConsumer; +import java.util.function.BiFunction; +import java.util.function.Consumer; +import java.util.function.DoubleBinaryOperator; +import java.util.function.Function; +import java.util.function.IntBinaryOperator; +import java.util.function.LongBinaryOperator; +import java.util.function.ToDoubleBiFunction; +import java.util.function.ToDoubleFunction; +import java.util.function.ToIntBiFunction; +import java.util.function.ToIntFunction; +import java.util.function.ToLongBiFunction; +import java.util.function.ToLongFunction; + +public class ConcurrentHashMap implements Serializable +{ + public V get(Object p0){ return null; } // manual summary + public V put(K p0, V p1){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/CountDownLatch.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/CountDownLatch.java new file mode 100644 index 00000000000..ee750edc685 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/CountDownLatch.java @@ -0,0 +1,14 @@ +// Generated automatically from java.util.concurrent.CountDownLatch for testing purposes + +package java.util.concurrent; + +import java.util.concurrent.TimeUnit; + +public class CountDownLatch +{ + protected CountDownLatch() {} + public CountDownLatch(int p0){} // manual neutral + public boolean await(long p0, TimeUnit p1){ return false; } // manual neutral + public void await(){} // manual neutral + public void countDown(){} // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/Executor.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/Executor.java new file mode 100644 index 00000000000..4b405a0fb5e --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/Executor.java @@ -0,0 +1,9 @@ +// Generated automatically from java.util.concurrent.Executor for testing purposes + +package java.util.concurrent; + + +public interface Executor +{ + void execute(Runnable p0); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/ExecutorService.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/ExecutorService.java new file mode 100644 index 00000000000..9b04a40d2d7 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/ExecutorService.java @@ -0,0 +1,16 @@ +// Generated automatically from java.util.concurrent.ExecutorService for testing purposes + +package java.util.concurrent; + +import java.util.Collection; +import java.util.List; +import java.util.concurrent.Callable; +import java.util.concurrent.Executor; +import java.util.concurrent.Future; +import java.util.concurrent.TimeUnit; + +public interface ExecutorService extends Executor +{ + Future submit(Runnable p0); // manual summary + void shutdown(); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/Future.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/Future.java new file mode 100644 index 00000000000..984f9780772 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/Future.java @@ -0,0 +1,10 @@ +// Generated automatically from java.util.concurrent.Future for testing purposes + +package java.util.concurrent; + +import java.util.concurrent.TimeUnit; + +public interface Future +{ + V get(); // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/atomic/AtomicBoolean.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/atomic/AtomicBoolean.java new file mode 100644 index 00000000000..3d799a4acb8 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/atomic/AtomicBoolean.java @@ -0,0 +1,13 @@ +// Generated automatically from java.util.concurrent.atomic.AtomicBoolean for testing purposes + +package java.util.concurrent.atomic; + +import java.io.Serializable; + +public class AtomicBoolean implements Serializable +{ + public AtomicBoolean(boolean p0){} // manual neutral + public final boolean compareAndSet(boolean p0, boolean p1){ return false; } // manual neutral + public final boolean get(){ return false; } // manual neutral + public final void set(boolean p0){} // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/atomic/AtomicInteger.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/atomic/AtomicInteger.java new file mode 100644 index 00000000000..e7844e2db92 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/atomic/AtomicInteger.java @@ -0,0 +1,14 @@ +// Generated automatically from java.util.concurrent.atomic.AtomicInteger for testing purposes + +package java.util.concurrent.atomic; + +import java.io.Serializable; +import java.util.function.IntBinaryOperator; +import java.util.function.IntUnaryOperator; + +public class AtomicInteger implements Serializable +{ + public AtomicInteger(int p0){} // manual neutral + public final int get(){ return 0; } // manual neutral + public final int incrementAndGet(){ return 0; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/atomic/AtomicLong.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/atomic/AtomicLong.java new file mode 100644 index 00000000000..1037ee95486 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/atomic/AtomicLong.java @@ -0,0 +1,15 @@ +// Generated automatically from java.util.concurrent.atomic.AtomicLong for testing purposes + +package java.util.concurrent.atomic; + +import java.io.Serializable; +import java.util.function.LongBinaryOperator; +import java.util.function.LongUnaryOperator; + +public class AtomicLong implements Serializable +{ + public AtomicLong(long p0){} // manual neutral + public final long addAndGet(long p0){ return 0; } // manual neutral + public final long get(){ return 0; } // manual neutral + public final long incrementAndGet(){ return 0; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/atomic/AtomicReference.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/atomic/AtomicReference.java new file mode 100644 index 00000000000..16851bf2f98 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/atomic/AtomicReference.java @@ -0,0 +1,13 @@ +// Generated automatically from java.util.concurrent.atomic.AtomicReference for testing purposes + +package java.util.concurrent.atomic; + +import java.io.Serializable; +import java.util.function.BinaryOperator; +import java.util.function.UnaryOperator; + +public class AtomicReference implements Serializable +{ + public final V get(){ return null; } // manual summary + public final void set(V p0){} // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/locks/Lock.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/locks/Lock.java new file mode 100644 index 00000000000..6205498cef5 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/concurrent/locks/Lock.java @@ -0,0 +1,12 @@ +// Generated automatically from java.util.concurrent.locks.Lock for testing purposes + +package java.util.concurrent.locks; + +import java.util.concurrent.TimeUnit; +import java.util.concurrent.locks.Condition; + +public interface Lock +{ + void lock(); // manual neutral + void unlock(); // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/BiConsumer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/BiConsumer.java new file mode 100644 index 00000000000..eba84c29225 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/BiConsumer.java @@ -0,0 +1,9 @@ +// Generated automatically from java.util.function.BiConsumer for testing purposes + +package java.util.function; + + +public interface BiConsumer +{ + void accept(T p0, U p1); // NOT MODELED +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/BiFunction.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/BiFunction.java new file mode 100644 index 00000000000..8f2d48b61cb --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/BiFunction.java @@ -0,0 +1,10 @@ +// Generated automatically from java.util.function.BiFunction for testing purposes + +package java.util.function; + +import java.util.function.Function; + +public interface BiFunction +{ + R apply(T p0, U p1); // NOT MODELED +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/Consumer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/Consumer.java new file mode 100644 index 00000000000..093e2ea598b --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/Consumer.java @@ -0,0 +1,9 @@ +// Generated automatically from java.util.function.Consumer for testing purposes + +package java.util.function; + + +public interface Consumer +{ + void accept(T p0); // NOT MODELED +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/Function.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/Function.java new file mode 100644 index 00000000000..94ca069dc13 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/Function.java @@ -0,0 +1,10 @@ +// Generated automatically from java.util.function.Function for testing purposes + +package java.util.function; + + +public interface Function +{ + R apply(T p0); // NOT MODELED + static java.util.function.Function identity(){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/Supplier.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/Supplier.java new file mode 100644 index 00000000000..2b5aa7fecbe --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/function/Supplier.java @@ -0,0 +1,9 @@ +// Generated automatically from java.util.function.Supplier for testing purposes + +package java.util.function; + + +public interface Supplier +{ + T get(); // NOT MODELED +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/logging/Logger.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/logging/Logger.java new file mode 100644 index 00000000000..71893e18687 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/logging/Logger.java @@ -0,0 +1,17 @@ +// Generated automatically from java.util.logging.Logger for testing purposes + +package java.util.logging; + +import java.util.ResourceBundle; +import java.util.function.Supplier; +import java.util.logging.Filter; +import java.util.logging.Handler; +import java.util.logging.Level; +import java.util.logging.LogRecord; + +public class Logger +{ + protected Logger() {} + public boolean isLoggable(Level p0){ return false; } // manual neutral + public static Logger getLogger(String p0){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/regex/Matcher.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/regex/Matcher.java new file mode 100644 index 00000000000..9e314ba8f16 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/regex/Matcher.java @@ -0,0 +1,12 @@ +// Generated automatically from java.util.regex.Matcher for testing purposes + +package java.util.regex; + +import java.util.regex.MatchResult; +import java.util.regex.Pattern; + +public class Matcher +{ + public String group(int p0){ return null; } // manual summary + public boolean find(){ return false; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/regex/Pattern.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/regex/Pattern.java new file mode 100644 index 00000000000..7613ab29ed5 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/regex/Pattern.java @@ -0,0 +1,15 @@ +// Generated automatically from java.util.regex.Pattern for testing purposes + +package java.util.regex; + +import java.io.Serializable; +import java.util.function.Predicate; +import java.util.regex.Matcher; +import java.util.stream.Stream; + +public class Pattern implements Serializable +{ + protected Pattern() {} + public Matcher matcher(CharSequence p0){ return null; } // manual summary + public static Pattern compile(String p0){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/stream/Collectors.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/stream/Collectors.java new file mode 100644 index 00000000000..dd215b0e06a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/stream/Collectors.java @@ -0,0 +1,31 @@ +// Generated automatically from java.util.stream.Collectors for testing purposes + +package java.util.stream; + +import java.util.Collection; +import java.util.Comparator; +import java.util.DoubleSummaryStatistics; +import java.util.IntSummaryStatistics; +import java.util.List; +import java.util.LongSummaryStatistics; +import java.util.Map; +import java.util.Optional; +import java.util.Set; +import java.util.concurrent.ConcurrentMap; +import java.util.function.BinaryOperator; +import java.util.function.Function; +import java.util.function.Predicate; +import java.util.function.Supplier; +import java.util.function.ToDoubleFunction; +import java.util.function.ToIntFunction; +import java.util.function.ToLongFunction; +import java.util.stream.Collector; + +public class Collectors +{ + protected Collectors() {} + public static java.util.stream.Collector> toMap(java.util.function.Function p0, java.util.function.Function p1){ return null; } // NOT MODELED + public static Collector> toList(){ return null; } // manual neutral + public static Collector> toSet(){ return null; } // manual neutral + public static Collector joining(CharSequence p0){ return null; } // NOT MODELED +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/stream/IntStream.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/stream/IntStream.java new file mode 100644 index 00000000000..5f77e4ba6de --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/stream/IntStream.java @@ -0,0 +1,30 @@ +// Generated automatically from java.util.stream.IntStream for testing purposes + +package java.util.stream; + +import java.util.IntSummaryStatistics; +import java.util.OptionalDouble; +import java.util.OptionalInt; +import java.util.PrimitiveIterator; +import java.util.Spliterator; +import java.util.function.BiConsumer; +import java.util.function.IntBinaryOperator; +import java.util.function.IntConsumer; +import java.util.function.IntFunction; +import java.util.function.IntPredicate; +import java.util.function.IntSupplier; +import java.util.function.IntToDoubleFunction; +import java.util.function.IntToLongFunction; +import java.util.function.IntUnaryOperator; +import java.util.function.ObjIntConsumer; +import java.util.function.Supplier; +import java.util.stream.BaseStream; +import java.util.stream.DoubleStream; +import java.util.stream.LongStream; +import java.util.stream.Stream; + +public interface IntStream extends BaseStream +{ + java.util.stream.Stream mapToObj(IntFunction p0); // manual neutral + static IntStream range(int p0, int p1){ return null; } // manual neutral +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/stream/Stream.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/stream/Stream.java new file mode 100644 index 00000000000..a91bd5a4bce --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/stream/Stream.java @@ -0,0 +1,46 @@ +// Generated automatically from java.util.stream.Stream for testing purposes + +package java.util.stream; + +import java.util.Comparator; +import java.util.Optional; +import java.util.function.BiConsumer; +import java.util.function.BiFunction; +import java.util.function.BinaryOperator; +import java.util.function.Consumer; +import java.util.function.Function; +import java.util.function.IntFunction; +import java.util.function.Predicate; +import java.util.function.Supplier; +import java.util.function.ToDoubleFunction; +import java.util.function.ToIntFunction; +import java.util.function.ToLongFunction; +import java.util.function.UnaryOperator; +import java.util.stream.BaseStream; +import java.util.stream.Collector; +import java.util.stream.DoubleStream; +import java.util.stream.IntStream; +import java.util.stream.LongStream; + +public interface Stream extends BaseStream> +{ + A[] toArray(IntFunction p0); // manual summary + R collect(Collector p0); // NOT MODELED + java.util.stream.Stream flatMap(Function> p0); // manual summary + java.util.stream.Stream map(Function p0); // manual summary + IntStream mapToInt(java.util.function.ToIntFunction p0); // manual summary + Stream distinct(); // manual summary + Stream filter(java.util.function.Predicate p0); // manual summary + Stream sorted(); // manual summary + Stream sorted(java.util.Comparator p0); // manual summary + T reduce(T p0, java.util.function.BinaryOperator p1); // manual summary + boolean allMatch(java.util.function.Predicate p0); // manual summary + boolean anyMatch(java.util.function.Predicate p0); // manual summary + java.util.Optional findAny(); // manual summary + java.util.Optional findFirst(); // manual summary + long count(); // manual neutral + static java.util.stream.Stream concat(Stream p0, Stream p1){ return null; } // manual summary + static java.util.stream.Stream of(T p0){ return null; } // manual summary + static java.util.stream.Stream of(T... p0){ return null; } // manual summary + void forEach(java.util.function.Consumer p0); // manual summary +}