hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Add further examples that are now supported.

Browse Source
This commit is contained in:
Michael Nebel
2022-10-07 14:18:49 +02:00
parent 39ee1e28cf
commit 937404892f
1 changed files with 14 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
java/ql/test/utils/model-generator/typebasedflow/p/Stream.java
View File

@@ -72,27 +72,23 @@ public class Stream<T> {
throw null;
}
// Issue with model generator. Return value is not correctly identified as a
// collection like type.
// public static <T> Stream<T> generate(Supplier<T> s) {
// throw null;
// }
public static <T> Stream<T> generate(Supplier<T> s) {
throw null;
}
// Issue with model generator. Return value is not correctly identified as a
// collection like type.
// public static <T> Stream<T> iterate(T seed, UnaryOperator<T> f) {
// throw null;
// }
// Model generator adds a couple of extra models, which can't be
// dismissed based on the type information.
public static <T> Stream<T> iterate(T seed, UnaryOperator<T> f) {
throw null;
}
public Stream<T> limit(long maxSize) {
throw null;
}
// Issue with model generator. Return value is not correctly identified as a
// collection like type and also the type parameter is not correctly identified.
// public <R> Stream<R> map(Function<? super T, ? extends R> mapper) {
// throw null;
// }
public <R> Stream<R> map(Function<? super T, ? extends R> mapper) {
throw null;
}
public DoubleStream mapToDouble(ToDoubleFunction<? super T> mapper) {
throw null;
@@ -123,11 +119,9 @@ public class Stream<T> {
// throw null;
// }
// Issue with model generator. Return value is not correctly identified as a
// collection like type and also the type parameter is not correctly identified.
// public static <T> Stream<T> of(T t) {
// throw null;
// }
public static <T> Stream<T> of(T t) {
throw null;
}
public Stream<T> peek(Consumer<? super T> action) {
throw null;