diff --git a/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql b/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql index a689e9a7fcb..221573e6904 100644 --- a/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql +++ b/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql @@ -7,71 +7,15 @@ */ import java -import semmle.code.java.dataflow.FlowSummary -import utils.modelgenerator.internal.CaptureModels - -/** - * Returns the number of `DataFlowTargetApi`s with Summary MaD models - * for a given package and provenance. - */ -bindingset[package] -private int getNumMadModeledApis(string package, string provenance) { - provenance in ["generated", "manual", "both"] and - result = - count(SummarizedCallable sc | - package = sc.asCallable().getCompilationUnit().getPackage().getName() and - sc.asCallable() instanceof DataFlowTargetApi and - ( - // "auto-only" - sc.isAutoGenerated() and - provenance = "generated" - or - sc.isManual() and - ( - if sc.hasProvenance(["generated", "ai-generated"]) - then - // "both" - provenance = "both" - else - // "manual-only" - provenance = "manual" - ) - ) - ) -} - -/** Returns the total number of `DataFlowTargetApi`s for a given package. */ -private int getNumApis(string package) { - result = - strictcount(DataFlowTargetApi dataFlowTargApi | - package = dataFlowTargApi.getCompilationUnit().getPackage().getName() - ) -} +import GeneratedVsManualCoverageQuery from - string package, int generatedOnly, int both, int manualOnly, int generated, int manual, int non, - int all, float coverage, float generatedCoverage, float manualCoverage, - float manualCoveredByGenerated, float generatedCoveredByManual, float match + string package, int generatedOnly, int both, int manualOnly, int non, int all, float coverage, + float generatedCoverage, float manualCoverage, float manualCoveredByGenerated, + float generatedCoveredByManual, float match where - // count the number of APIs with generated-only, both, and manual-only MaD models for each package - generatedOnly = getNumMadModeledApis(package, "generated") and - both = getNumMadModeledApis(package, "both") and - manualOnly = getNumMadModeledApis(package, "manual") and - // calculate the total generated and total manual numbers - generated = generatedOnly + both and - manual = manualOnly + both and - // count the total number of `DataFlowTargetApi`s for each package - all = getNumApis(package) and - non = all - (generatedOnly + both + manualOnly) and - // Proportion of coverage - coverage = (generatedOnly + both + manualOnly).(float) / all and - generatedCoverage = generated.(float) / all and - manualCoverage = manual.(float) / all and - // Proportion of manual models covered by generated ones - manualCoveredByGenerated = both.(float) / (both + manualOnly) and - // Proportion of generated models covered by manual ones - generatedCoveredByManual = both.(float) / (both + generatedOnly) and - // Proportion of data points that match - match = (both.(float) + non) / all + modelCoverageGenVsMan(package, generatedOnly, both, manualOnly, non, all, coverage, + generatedCoverage, manualCoverage, manualCoveredByGenerated, generatedCoveredByManual, match, + "allApis") select package, generatedOnly, both, manualOnly, non, all, coverage, generatedCoverage, manualCoverage, manualCoveredByGenerated, generatedCoveredByManual, match order by package diff --git a/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverageQuery.qll b/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverageQuery.qll new file mode 100644 index 00000000000..e36ee50ddac --- /dev/null +++ b/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverageQuery.qll @@ -0,0 +1,86 @@ +private import semmle.code.java.dataflow.FlowSummary +private import utils.modelgenerator.internal.CaptureModels +private import TopJdkApis + +/** + * Returns the number of `DataFlowTargetApi`s with Summary MaD models + * for a given package and provenance. + */ +bindingset[package, apiSubset] +private int getNumMadModeledApis(string package, string provenance, string apiSubset) { + provenance in ["generated", "manual", "both"] and + result = + count(SummarizedCallable sc | + callableSubset(sc.asCallable(), apiSubset) and + package = sc.asCallable().getCompilationUnit().getPackage().getName() and + sc.asCallable() instanceof DataFlowTargetApi and + ( + // "auto-only" + sc.isAutoGenerated() and + provenance = "generated" + or + sc.isManual() and + ( + if sc.hasProvenance(["generated", "ai-generated"]) + then + // "both" + provenance = "both" + else + // "manual-only" + provenance = "manual" + ) + ) + ) +} + +/** Returns the total number of `DataFlowTargetApi`s for a given package. */ +private int getNumApis(string package, string apiSubset) { + result = + strictcount(DataFlowTargetApi dataFlowTargApi | + callableSubset(dataFlowTargApi, apiSubset) and + package = dataFlowTargApi.getCompilationUnit().getPackage().getName() + ) +} + +/** Holds if the given `callable` belongs to the specified `apiSubset`. */ +private predicate callableSubset(Callable callable, string apiSubset) { + apiSubset in ["topJdkApis", "allApis"] and + ( + if apiSubset = "topJdkApis" + then exists(TopJdkApi topJdkApi | callable = topJdkApi.asCallable()) + else apiSubset = "allApis" + ) +} + +/** + * Provides MaD summary model coverage information for the given `package` + * on the given `apiSubset`. + */ +predicate modelCoverageGenVsMan( + string package, int generatedOnly, int both, int manualOnly, int non, int all, float coverage, + float generatedCoverage, float manualCoverage, float manualCoveredByGenerated, + float generatedCoveredByManual, float match, string apiSubset +) { + exists(int generated, int manual | + // count the number of APIs with generated-only, both, and manual-only MaD models for each package + generatedOnly = getNumMadModeledApis(package, "generated", apiSubset) and + both = getNumMadModeledApis(package, "both", apiSubset) and + manualOnly = getNumMadModeledApis(package, "manual", apiSubset) and + // calculate the total generated and total manual numbers + generated = generatedOnly + both and + manual = manualOnly + both and + // count the total number of `DataFlowTargetApi`s for each package + all = getNumApis(package, apiSubset) and + non = all - (generatedOnly + both + manualOnly) and + // Proportion of coverage + coverage = (generatedOnly + both + manualOnly).(float) / all and + generatedCoverage = generated.(float) / all and + manualCoverage = manual.(float) / all and + // Proportion of manual models covered by generated ones + manualCoveredByGenerated = both.(float) / (both + manualOnly) and + // Proportion of generated models covered by manual ones + generatedCoveredByManual = both.(float) / (both + generatedOnly) and + // Proportion of data points that match + match = (both.(float) + non) / all + ) +} diff --git a/java/ql/test/ext/TopJdkApis/TopJdkApis.qll b/java/ql/src/Metrics/Summaries/TopJdkApis.qll similarity index 100% rename from java/ql/test/ext/TopJdkApis/TopJdkApis.qll rename to java/ql/src/Metrics/Summaries/TopJdkApis.qll diff --git a/java/ql/test/ext/TopJdkApis/TopJdkApisTest.ql b/java/ql/test/ext/TopJdkApis/TopJdkApisTest.ql index 319205035a2..9f2b68c4a85 100644 --- a/java/ql/test/ext/TopJdkApis/TopJdkApisTest.ql +++ b/java/ql/test/ext/TopJdkApis/TopJdkApisTest.ql @@ -1,5 +1,5 @@ import java -import TopJdkApis +import Metrics.Summaries.TopJdkApis from string apiName, string message where diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/GeneratedVsManualCoverage.expected b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/ApacheCommonsIoTest/GeneratedVsManualCoverage.expected similarity index 100% rename from java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/GeneratedVsManualCoverage.expected rename to java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/ApacheCommonsIoTest/GeneratedVsManualCoverage.expected diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/GeneratedVsManualCoverage.qlref b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/ApacheCommonsIoTest/GeneratedVsManualCoverage.qlref similarity index 100% rename from java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/GeneratedVsManualCoverage.qlref rename to java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/ApacheCommonsIoTest/GeneratedVsManualCoverage.qlref diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/IOUtils.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/ApacheCommonsIoTest/IOUtils.java similarity index 100% rename from java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/IOUtils.java rename to java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/ApacheCommonsIoTest/IOUtils.java diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/awt/Container.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/awt/Container.java new file mode 100644 index 00000000000..f116ef6106a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/awt/Insets.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/awt/Insets.java new file mode 100644 index 00000000000..a7ad06c608a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/BufferedReader.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/BufferedReader.java new file mode 100644 index 00000000000..bda12f81337 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/ByteArrayInputStream.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/ByteArrayInputStream.java new file mode 100644 index 00000000000..bad13aa3445 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/ByteArrayOutputStream.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/ByteArrayOutputStream.java new file mode 100644 index 00000000000..ab8128f11bb --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/Closeable.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/Closeable.java new file mode 100644 index 00000000000..fc851af51e8 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/DataInput.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/DataInput.java new file mode 100644 index 00000000000..3144e4fcb47 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/DataOutput.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/DataOutput.java new file mode 100644 index 00000000000..740487d8ed0 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/File.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/File.java new file mode 100644 index 00000000000..878aa9d3086 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/FileInputStream.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/FileInputStream.java new file mode 100644 index 00000000000..673606c960e --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/IOException.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/IOException.java new file mode 100644 index 00000000000..227719234b8 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/InputStream.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/InputStream.java new file mode 100644 index 00000000000..b6132f3963a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/InputStreamReader.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/InputStreamReader.java new file mode 100644 index 00000000000..52d78479182 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/OutputStream.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/OutputStream.java new file mode 100644 index 00000000000..e959fad0896 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/PrintWriter.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/PrintWriter.java new file mode 100644 index 00000000000..e33147160fd --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/PrintWriter.java @@ -0,0 +1,22 @@ +// 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 extends Writer +{ + protected PrintWriter() {} + public void write(String p0){} // manual summary + + // including the below to prevent extraction errors + public PrintWriter append(char c) { return null; } + public PrintWriter append(CharSequence csq, int start, int end) { return null; } + public PrintWriter append(CharSequence csq) { return null; } + public void close() {} + public void flush() {} + +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/StringReader.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/StringReader.java new file mode 100644 index 00000000000..426c2422e9c --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/StringWriter.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/StringWriter.java new file mode 100644 index 00000000000..b2dc84919e5 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/UncheckedIOException.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/UncheckedIOException.java new file mode 100644 index 00000000000..5fdb844b4f6 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/io/Writer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/io/Writer.java new file mode 100644 index 00000000000..5772f783d8f --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/AbstractStringBuilder.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/AbstractStringBuilder.java new file mode 100644 index 00000000000..8f17bde04db --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/AbstractStringBuilder.java @@ -0,0 +1,23 @@ +// 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, Note: not currently counted by query due to exclusions in `TargetApiSpecific` + public void setLength(int p0){} // manual neutral, Note: not currently counted by query due to exclusions in `TargetApiSpecific` + + + public AbstractStringBuilder append(CharSequence p0){ return null; } + public AbstractStringBuilder append(Object p0){ return null; } + public AbstractStringBuilder append(String p0){ return null; } + public AbstractStringBuilder append(boolean p0){ return null; } + public AbstractStringBuilder append(char p0){ return null; } + public AbstractStringBuilder append(int p0){ return null; } + public AbstractStringBuilder append(long p0){ return null; } + public AbstractStringBuilder delete(int p0, int p1){ return null; } + public abstract String toString(); +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/AssertionError.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/AssertionError.java new file mode 100644 index 00000000000..f82f13479cf --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/Boolean.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Boolean.java new file mode 100644 index 00000000000..3e4fb49bc8c --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/CharSequence.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/CharSequence.java new file mode 100644 index 00000000000..b5f9651bb06 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/CharSequence.java @@ -0,0 +1,13 @@ +// 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 + + char charAt(int index); +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Class.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Class.java new file mode 100644 index 00000000000..319aa96e9df --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/ClassLoader.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/ClassLoader.java new file mode 100644 index 00000000000..0f7eec5da5c --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/Double.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Double.java new file mode 100644 index 00000000000..8f566e260f8 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/Enum.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Enum.java new file mode 100644 index 00000000000..147e5ad9dbc --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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, Note: this will not be counted in query results since `protected` not `public` + 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/TopJdkApis/java/lang/Exception.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Exception.java new file mode 100644 index 00000000000..7fae9574769 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/IllegalArgumentException.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/IllegalArgumentException.java new file mode 100644 index 00000000000..5c7ed7c4428 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/IllegalStateException.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/IllegalStateException.java new file mode 100644 index 00000000000..01e0f65eba6 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/IndexOutOfBoundsException.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/IndexOutOfBoundsException.java new file mode 100644 index 00000000000..c2a24eded33 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/Integer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Integer.java new file mode 100644 index 00000000000..5b898aa2e62 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/Iterable.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Iterable.java new file mode 100644 index 00000000000..5b5f87c27f9 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/Long.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Long.java new file mode 100644 index 00000000000..196249eed7e --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/Math.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Math.java new file mode 100644 index 00000000000..a254cccb0c4 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/NullPointerException.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/NullPointerException.java new file mode 100644 index 00000000000..b54d1deba5d --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/Number.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Number.java new file mode 100644 index 00000000000..b4c0f017596 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/Object.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Object.java new file mode 100644 index 00000000000..47b4a9de38a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/Runnable.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Runnable.java new file mode 100644 index 00000000000..7d46c41b752 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/Runtime.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Runtime.java new file mode 100644 index 00000000000..7ed84f56a3b --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/RuntimeException.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/RuntimeException.java new file mode 100644 index 00000000000..b74d4734ffc --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/String.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/String.java new file mode 100644 index 00000000000..34706c9c801 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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 CharSequence, 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/TopJdkApis/java/lang/StringBuffer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/StringBuffer.java new file mode 100644 index 00000000000..74016e209c1 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/StringBuffer.java @@ -0,0 +1,18 @@ +// Generated automatically from java.lang.StringBuffer for testing purposes + +package java.lang; + +import java.io.Serializable; + +public class StringBuffer extends AbstractStringBuilder 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 + + public StringBuffer append(CharSequence s, int start, int end) { return null; } + + public void setCharAt(int p0, char p1){} + public void setLength(int p0){} +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/StringBuilder.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/StringBuilder.java new file mode 100644 index 00000000000..57f5b250220 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/StringBuilder.java @@ -0,0 +1,25 @@ +// Generated automatically from java.lang.StringBuilder for testing purposes + +package java.lang; + +import java.io.Serializable; + +public class StringBuilder extends AbstractStringBuilder 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 + + public StringBuilder append(CharSequence s, int start, int end) { return null; } + + public void setCharAt(int p0, char p1){} + public void setLength(int p0){} +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/System.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/System.java new file mode 100644 index 00000000000..c00ad972663 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/Thread.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Thread.java new file mode 100644 index 00000000000..a5abd3c853a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/ThreadLocal.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/ThreadLocal.java new file mode 100644 index 00000000000..f48cdbfe553 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/Throwable.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/Throwable.java new file mode 100644 index 00000000000..ad58f4bdbda --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/invoke/MethodHandles.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/invoke/MethodHandles.java new file mode 100644 index 00000000000..36de9c3d0f5 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/invoke/MethodHandles.java @@ -0,0 +1,21 @@ +// Generated automatically from java.lang.invoke.MethodHandles for testing purposes + +package java.lang.invoke; + +import java.lang.invoke.MethodHandle; +import java.lang.invoke.MethodHandleInfo; +import java.lang.invoke.MethodType; +import java.lang.reflect.Constructor; +import java.lang.reflect.Field; +import java.lang.reflect.Member; +import java.lang.reflect.Method; +import java.util.List; + +public class MethodHandles +{ + protected MethodHandles() {} + public static Lookup lookup(){ return null; } // manual neutral + + public static final + class Lookup {} +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/reflect/Constructor.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/reflect/Constructor.java new file mode 100644 index 00000000000..dd9fae498f1 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/reflect/Field.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/reflect/Field.java new file mode 100644 index 00000000000..fe50fe04965 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/lang/reflect/Method.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/lang/reflect/Method.java new file mode 100644 index 00000000000..ee5d2b075c6 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/math/BigDecimal.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/math/BigDecimal.java new file mode 100644 index 00000000000..e4d93dc5871 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/math/BigInteger.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/math/BigInteger.java new file mode 100644 index 00000000000..4e15ec4c70c --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/net/URI.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/net/URI.java new file mode 100644 index 00000000000..374d4479606 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/net/URL.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/net/URL.java new file mode 100644 index 00000000000..b5e8a679e6e --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/nio/Buffer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/nio/Buffer.java new file mode 100644 index 00000000000..a1a5fc87dac --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/nio/ByteBuffer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/nio/ByteBuffer.java new file mode 100644 index 00000000000..c405ed0e137 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/nio/charset/Charset.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/nio/charset/Charset.java new file mode 100644 index 00000000000..6afbe306698 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/nio/file/Files.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/nio/file/Files.java new file mode 100644 index 00000000000..869f8380d83 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/nio/file/Path.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/nio/file/Path.java new file mode 100644 index 00000000000..79506940646 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/nio/file/Paths.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/nio/file/Paths.java new file mode 100644 index 00000000000..10ae2aae58b --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/sql/Connection.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/sql/Connection.java new file mode 100644 index 00000000000..d4be03aa6ce --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/sql/PreparedStatement.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/sql/PreparedStatement.java new file mode 100644 index 00000000000..3f3676eb555 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/sql/ResultSet.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/sql/ResultSet.java new file mode 100644 index 00000000000..7dba843c14c --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/sql/Statement.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/sql/Statement.java new file mode 100644 index 00000000000..c66588045e4 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/sql/Timestamp.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/sql/Timestamp.java new file mode 100644 index 00000000000..6d022e545cb --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/text/DateFormat.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/text/DateFormat.java new file mode 100644 index 00000000000..fc2dc2b676c --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/text/Format.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/text/Format.java new file mode 100644 index 00000000000..5c78d249d29 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/text/MessageFormat.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/text/MessageFormat.java new file mode 100644 index 00000000000..9f27e2bcc8e --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/text/SimpleDateFormat.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/text/SimpleDateFormat.java new file mode 100644 index 00000000000..cf63078106e --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/time/Duration.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/time/Duration.java new file mode 100644 index 00000000000..d186a273947 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/time/Instant.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/time/Instant.java new file mode 100644 index 00000000000..9ee71efc71d --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/time/LocalDate.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/time/LocalDate.java new file mode 100644 index 00000000000..b425ba4f9ee --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/time/LocalDateTime.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/time/LocalDateTime.java new file mode 100644 index 00000000000..ead0754c4e8 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/time/ZoneId.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/time/ZoneId.java new file mode 100644 index 00000000000..9e8f42af435 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/time/ZonedDateTime.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/time/ZonedDateTime.java new file mode 100644 index 00000000000..edce9fcaa56 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/time/chrono/ChronoZonedDateTime.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/time/chrono/ChronoZonedDateTime.java new file mode 100644 index 00000000000..abaf6ae724f --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/time/format/DateTimeFormatter.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/time/format/DateTimeFormatter.java new file mode 100644 index 00000000000..6dcdb097a9b --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/ArrayList.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/ArrayList.java new file mode 100644 index 00000000000..fbeedcda467 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/Arrays.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Arrays.java new file mode 100644 index 00000000000..f46a22e200a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/Calendar.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Calendar.java new file mode 100644 index 00000000000..834f752deb6 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/Collection.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Collection.java new file mode 100644 index 00000000000..dc909ed168d --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Collection.java @@ -0,0 +1,23 @@ +// 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 + + boolean addAll(Collection c); + Object[] toArray(); + T[] toArray(T[] a); +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Collections.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Collections.java new file mode 100644 index 00000000000..96e2d2fde83 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/Comparator.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Comparator.java new file mode 100644 index 00000000000..b66dc3b0826 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/Date.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Date.java new file mode 100644 index 00000000000..588bcf043f0 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/Enumeration.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Enumeration.java new file mode 100644 index 00000000000..d8028c8293a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/EventObject.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/EventObject.java new file mode 100644 index 00000000000..7fd41260d04 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/HashMap.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/HashMap.java new file mode 100644 index 00000000000..a94422c52c7 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/HashMap.java @@ -0,0 +1,25 @@ +// 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 extends java.util.AbstractMap implements Cloneable, Serializable +{ + public HashMap(){} + 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 Set> entrySet(){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/HashSet.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/HashSet.java new file mode 100644 index 00000000000..910856657fa --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/HashSet.java @@ -0,0 +1,33 @@ +// 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, java.util.Set +{ + public HashSet(int p0){} // manual neutral + public HashSet(java.util.Collection p0){} // manual summary + public boolean add(E p0){ return false; } // manual summary + + public void clear() {} + public Iterator iterator() { return null; } + public int size() { return 0; } + public boolean isEmpty() { return false; } + public boolean remove(Object o) { return false; } + public boolean removeAll(Collection c) { return false; } + public boolean contains(Object o) { return false; } + public Object[] toArray() { return null; } + public T[] toArray(T[] a) { return null; } + public boolean containsAll(Collection c) { return false; } + public boolean addAll(Collection c) { return false; } + public boolean retainAll(Collection c) { return false; } + public boolean equals(Object o) { return false; } + public int hashCode() { return 0; } + +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Hashtable.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Hashtable.java new file mode 100644 index 00000000000..9c85cff768d --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Hashtable.java @@ -0,0 +1,25 @@ +// 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 extends Dictionary implements Cloneable, Serializable +{ + public V get(Object p0){ return null; } // manual summary + public V put(K p0, V p1){ return null; } // manual summary + + public synchronized V remove(Object key) { return null; } + public synchronized Enumeration elements() { return null; } + public synchronized boolean isEmpty() { return false; } + public synchronized int size() { return 0; } + public synchronized Enumeration keys() { return null; } +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Iterator.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Iterator.java new file mode 100644 index 00000000000..c9815feaa86 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/LinkedHashMap.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/LinkedHashMap.java new file mode 100644 index 00000000000..bf0ab133357 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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 extends java.util.HashMap +{ + public V get(Object p0){ return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/LinkedHashSet.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/LinkedHashSet.java new file mode 100644 index 00000000000..fa071d55b50 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/LinkedList.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/LinkedList.java new file mode 100644 index 00000000000..ce348ebfc8f --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/LinkedList.java @@ -0,0 +1,33 @@ +// 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 extends AbstractSequentialList implements Cloneable, Serializable +{ + public boolean add(E p0){ return false; } // manual summary + + public ListIterator listIterator(int index) { return null; } + public void clear() {} + public Iterator iterator() { return null; } + public int size() { return 0; } + public boolean isEmpty() { return false; } + public boolean remove(Object o) { return false; } + public boolean removeAll(Collection c) { return false; } + public boolean contains(Object o) { return false; } + public Object[] toArray() { return null; } + public T[] toArray(T[] a) { return null; } + public boolean containsAll(Collection c) { return false; } + public boolean addAll(Collection c) { return false; } + public boolean retainAll(Collection c) { return false; } + public boolean equals(Object o) { return false; } + public int hashCode() { return 0; } +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/List.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/List.java new file mode 100644 index 00000000000..055b5cba598 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/List.java @@ -0,0 +1,38 @@ +// 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 + + static List of() { return null; } // manual neutral + static List of(E e1) { return null; } // manual summary + static List of(E e1, E e2) { return null; } // manual summary + static List of(E e1, E e2, E e3) { return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Locale.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Locale.java new file mode 100644 index 00000000000..aaaeb9c0471 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/Map.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Map.java new file mode 100644 index 00000000000..f869517c30b --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Map.java @@ -0,0 +1,37 @@ +// 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 + void clear(); // manual neutral + void putAll(java.util.Map p0); // manual summary + + static Map.Entry entry(K k, V v) { return null; } // manual summary + static Map of(K k1, V v1) { return null; } // manual summary + static Map of(K k1, V v1, K k2, V v2) { return null; } // manual summary + + interface Entry { + K getKey(); // manual summary + V getValue(); // manual summary + } +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Objects.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Objects.java new file mode 100644 index 00000000000..7c85dbcba32 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/Optional.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Optional.java new file mode 100644 index 00000000000..934bfb7c8ea --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Optional.java @@ -0,0 +1,28 @@ +// 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 + + public boolean isEmpty() { return false; } // manual neutral + public T orElseThrow() { return null; } // manual summary + +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Properties.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Properties.java new file mode 100644 index 00000000000..09df60b601e --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Properties.java @@ -0,0 +1,21 @@ +// 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 + + public synchronized Object put(Object key, Object value) { return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Queue.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Queue.java new file mode 100644 index 00000000000..732cb50c470 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/Random.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Random.java new file mode 100644 index 00000000000..be2ec74b451 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/ResourceBundle.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/ResourceBundle.java new file mode 100644 index 00000000000..2a5b3fed26d --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/Set.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Set.java new file mode 100644 index 00000000000..567a336a841 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Set.java @@ -0,0 +1,23 @@ +// 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 + + static Set of(E e1) { return null; } // manual summary + static Set of(E e1, E e2) { return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/StringJoiner.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/StringJoiner.java new file mode 100644 index 00000000000..00523ef02d6 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/StringTokenizer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/StringTokenizer.java new file mode 100644 index 00000000000..d33a8c342b1 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/TimeZone.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/TimeZone.java new file mode 100644 index 00000000000..28f71378d14 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/UUID.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/UUID.java new file mode 100644 index 00000000000..c05a4dbd2f9 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/Vector.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Vector.java new file mode 100644 index 00000000000..a32624283c8 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/Vector.java @@ -0,0 +1,26 @@ +// 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 extends java.util.AbstractList implements Cloneable, RandomAccess, Serializable, java.util.List +{ + public boolean add(E p0){ return false; } // manual summary + public int size(){ return 0; } // manual neutral + public void addElement(E p0){} // manual summary + + public E get(int p0){ return null; } +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/CompletableFuture.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/CompletableFuture.java new file mode 100644 index 00000000000..10a7d79590c --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/concurrent/CompletionStage.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/CompletionStage.java new file mode 100644 index 00000000000..5261d7b62b1 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/concurrent/ConcurrentHashMap.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/ConcurrentHashMap.java new file mode 100644 index 00000000000..d2b552f2002 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/ConcurrentHashMap.java @@ -0,0 +1,34 @@ +// 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 extends AbstractMap implements Serializable +{ + public V get(Object p0){ return null; } // manual summary + public V put(K p0, V p1){ return null; } // manual summary + + public Set> entrySet() { return null; } +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/CountDownLatch.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/CountDownLatch.java new file mode 100644 index 00000000000..ee750edc685 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/concurrent/Executor.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/Executor.java new file mode 100644 index 00000000000..4b405a0fb5e --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/concurrent/ExecutorService.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/ExecutorService.java new file mode 100644 index 00000000000..9b04a40d2d7 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/concurrent/Future.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/Future.java new file mode 100644 index 00000000000..984f9780772 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/concurrent/TimeUnit.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/TimeUnit.java new file mode 100644 index 00000000000..a0b861f1a86 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/TimeUnit.java @@ -0,0 +1,17 @@ +// Generated automatically from java.util.concurrent.TimeUnit for testing purposes + +package java.util.concurrent; + +import java.time.Duration; +import java.time.temporal.ChronoUnit; +import java.util.Objects; + +public enum TimeUnit +{ + DAYS, HOURS, MICROSECONDS, MILLISECONDS, MINUTES, NANOSECONDS, SECONDS; + private TimeUnit() {} + public long toMillis(long p0){ return 0; } // manual neutral + + @Override + public int compareTo(TimeUnit o) { return 1; } +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/atomic/AtomicBoolean.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/atomic/AtomicBoolean.java new file mode 100644 index 00000000000..3d799a4acb8 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/concurrent/atomic/AtomicInteger.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/atomic/AtomicInteger.java new file mode 100644 index 00000000000..e7844e2db92 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/concurrent/atomic/AtomicLong.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/atomic/AtomicLong.java new file mode 100644 index 00000000000..1037ee95486 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/concurrent/atomic/AtomicReference.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/atomic/AtomicReference.java new file mode 100644 index 00000000000..16851bf2f98 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/concurrent/locks/Lock.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/concurrent/locks/Lock.java new file mode 100644 index 00000000000..6205498cef5 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/function/BiConsumer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/function/BiConsumer.java new file mode 100644 index 00000000000..eba84c29225 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/function/BiFunction.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/function/BiFunction.java new file mode 100644 index 00000000000..8f2d48b61cb --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/function/Consumer.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/function/Consumer.java new file mode 100644 index 00000000000..093e2ea598b --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/function/Function.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/function/Function.java new file mode 100644 index 00000000000..94ca069dc13 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/function/Supplier.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/function/Supplier.java new file mode 100644 index 00000000000..2b5aa7fecbe --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/logging/Logger.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/logging/Logger.java new file mode 100644 index 00000000000..71893e18687 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/regex/Matcher.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/regex/Matcher.java new file mode 100644 index 00000000000..9e314ba8f16 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/regex/Pattern.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/regex/Pattern.java new file mode 100644 index 00000000000..7613ab29ed5 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/stream/Collectors.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/stream/Collectors.java new file mode 100644 index 00000000000..dd215b0e06a --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/stream/IntStream.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/stream/IntStream.java new file mode 100644 index 00000000000..5f77e4ba6de --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/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/TopJdkApis/java/util/stream/Stream.java b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/stream/Stream.java new file mode 100644 index 00000000000..de2158386b3 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApis/java/util/stream/Stream.java @@ -0,0 +1,48 @@ +// 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 + + default java.util.List toList() { return null; } // manual summary +} diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.expected b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.expected new file mode 100644 index 00000000000..aa7d0fbd4e0 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.expected @@ -0,0 +1,21 @@ +| java.io | 0 | 0 | 22 | 9 | 31 | 0.7096774193548387 | 0.0 | 0.7096774193548387 | 0.0 | NaN | 0.2903225806451613 | +| java.lang | 0 | 0 | 59 | 89 | 148 | 0.39864864864864863 | 0.0 | 0.39864864864864863 | 0.0 | NaN | 0.6013513513513513 | +| java.lang.invoke | 0 | 0 | 0 | 1 | 1 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 | +| 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 | 56 | 45 | 101 | 0.5544554455445545 | 0.0 | 0.5544554455445545 | 0.0 | NaN | 0.44554455445544555 | +| java.util.concurrent | 0 | 0 | 6 | 7 | 13 | 0.46153846153846156 | 0.0 | 0.46153846153846156 | 0.0 | NaN | 0.5384615384615384 | +| 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 | 4 | 5 | 9 | 0.4444444444444444 | 0.0 | 0.4444444444444444 | 0.0 | NaN | 0.5555555555555556 | diff --git a/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.ql b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.ql new file mode 100644 index 00000000000..340fdd77108 --- /dev/null +++ b/java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.ql @@ -0,0 +1,13 @@ +import java +import Metrics.Summaries.GeneratedVsManualCoverageQuery + +from + string package, int generatedOnly, int both, int manualOnly, int non, int all, float coverage, + float generatedCoverage, float manualCoverage, float manualCoveredByGenerated, + float generatedCoveredByManual, float match +where + modelCoverageGenVsMan(package, generatedOnly, both, manualOnly, non, all, coverage, + generatedCoverage, manualCoverage, manualCoveredByGenerated, generatedCoveredByManual, match, + "topJdkApis") +select package, generatedOnly, both, manualOnly, non, all, coverage, generatedCoverage, + manualCoverage, manualCoveredByGenerated, generatedCoveredByManual, match order by package