Skip to content

Primitive Stream wrappers (no laziness and source mutations support) #871

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Damtev merged 19 commits into from
Sep 28, 2022
Merged

Primitive Stream wrappers (no laziness and source mutations support) #871

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
2b60de7
Fixed repeated `hashCode` calculation for `Edge`
Damtev Jul 12, 2022
b362960
Disabled strange failed naming check
Damtev Jul 22, 2022
adb0cec
Implemented wrappers for primitive streams
Damtev Jul 21, 2022
fc5d7eb
Added tests for primitive streams
Damtev Jul 21, 2022
91c6b74
Added `toArray` without ClassCastException check API
Damtev Jul 21, 2022
9797973
Restricted steps limit for a few tests (HACK)
Damtev Aug 1, 2022
75b2de8
Fixed UNSAT core debug logging
Damtev Sep 7, 2022
9ce941e
Fixed rebase errors
Damtev Sep 7, 2022
4a69e0b
Added wrapped methods for creating streams from primitive arrays
Damtev Sep 7, 2022
01ad8e5
Fixed failed tests
Damtev Sep 7, 2022
47b1b7b
Disabled distinct test
Damtev Sep 14, 2022
58c15a2
Fixed array casts
Damtev Sep 16, 2022
ff79a92
Fixed review issues
Damtev Sep 26, 2022
78c9c4f
More fixes for review issues
Damtev Sep 27, 2022
40ebea6
Fixed type resolving
Damtev Sep 27, 2022
a5d9da8
Fixed wrong resolved values for a primitive stream as a parameter
Damtev Sep 27, 2022
2aeb263
Marked primitive stream tests as slow
Damtev Sep 28, 2022
e3381ef
Fixed last review issues
Damtev Sep 28, 2022
d9e4a42
Marked mapTo* primitive stream tests as slow
Damtev Sep 28, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Fixed array casts
  • Loading branch information
@Damtev
Damtev committed Sep 28, 2022
commit 58c15a2c8d4096ea0618d3c57c1c2dcc5eb6b43f
3 changes: 3 additions & 0 deletions utbot-framework/src/main/java/org/utbot/engine/overrides/collections/Collection.java
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.utbot.engine.overrides.collections;

import org.utbot.api.annotation.UtClassMock;
import org.utbot.api.mock.UtMock;
import org.utbot.engine.overrides.stream.UtStream;

import java.util.stream.Stream;
Expand All @@ -11,6 +12,8 @@ public interface Collection<E> extends java.util.Collection<E> {
@Override
default Stream<E> stream() {
Object[] data = toArray();
UtMock.disableClassCastExceptionCheck(data);

int size = data.length;

return new UtStream<>((E[]) data, size);
Expand Down
4 changes: 2 additions & 2 deletions utbot-framework/src/main/java/org/utbot/engine/overrides/stream/Stream.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,10 +13,10 @@
public interface Stream<E> extends BaseStream<E, Stream<E>> {
@SuppressWarnings("unchecked")
static <E> java.util.stream.Stream<E> of(E element) {
Object[] data = new Object[1];
E[] data = (E[]) new Object[1];
data[0] = element;

return new UtStream<>((E[]) data, 1);
return new UtStream<>(data, 1);
}

@SuppressWarnings("unchecked")
Expand Down
8 changes: 4 additions & 4 deletions utbot-framework/src/main/java/org/utbot/engine/overrides/stream/UtStream.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -117,7 +117,7 @@ public Stream<E> filter(Predicate<? super E> predicate) {
preconditionCheckWithClosingStream();

int size = elementData.end;
Object[] filtered = new Object[size];
E[] filtered = (E[]) new Object[size];
int j = 0;
for (int i = 0; i < size; i++) {
E element = elementData.get(i);
Expand All @@ -126,7 +126,7 @@ public Stream<E> filter(Predicate<? super E> predicate) {
}
}

return new UtStream<>((E[]) filtered, j);
return new UtStream<>(filtered, j);
}

@SuppressWarnings("unchecked")
Expand Down Expand Up @@ -230,7 +230,7 @@ public Stream<E> distinct() {
preconditionCheckWithClosingStream();

int size = elementData.end;
Object[] distinctElements = new Object[size];
E[] distinctElements = (E[]) new Object[size];
int distinctSize = 0;
for (int i = 0; i < size; i++) {
E element = elementData.get(i);
Expand Down Expand Up @@ -259,7 +259,7 @@ public Stream<E> distinct() {
}
}

return new UtStream<>((E[]) distinctElements, distinctSize);
return new UtStream<>(distinctElements, distinctSize);
}

// TODO choose the best sorting https://github.com/UnitTestBot/UTBotJava/issues/188
Expand Down