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 last review issues
  • Loading branch information
@Damtev
Damtev committed Sep 28, 2022
commit e3381ef52a856fb031b1b2f793514fe6a32dbe0a
4 changes: 3 additions & 1 deletion utbot-framework/src/main/java/org/utbot/engine/overrides/stream/UtDoubleStream.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -73,7 +73,7 @@ public UtDoubleStream(Double[] data, int startInclusive, int endExclusive) {
* <li> elementData is marked as parameter </li>
* <li> elementData.storage and it's elements are marked as parameters </li>
*/
@SuppressWarnings({"DuplicatedCode"})
@SuppressWarnings("DuplicatedCode")
void preconditionCheck() {
if (alreadyVisited(this)) {
return;
Expand Down Expand Up @@ -146,6 +146,8 @@ public DoubleStream map(DoubleUnaryOperator mapper) {
@SuppressWarnings("unchecked")
@Override
public <U> Stream<U> mapToObj(DoubleFunction<? extends U> mapper) {
// Here we assume that this mapping does not produce infinite streams
// - otherwise it should always be executed concretely.
preconditionCheckWithClosingStream();

int size = elementData.end;
Expand Down
2 changes: 2 additions & 0 deletions utbot-framework/src/main/java/org/utbot/engine/overrides/stream/UtIntStream.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -147,6 +147,8 @@ public IntStream map(IntUnaryOperator mapper) {
@SuppressWarnings("unchecked")
@Override
public <U> Stream<U> mapToObj(IntFunction<? extends U> mapper) {
// Here we assume that this mapping does not produce infinite streams
// - otherwise it should always be executed concretely.
preconditionCheckWithClosingStream();

int size = elementData.end;
Expand Down
2 changes: 2 additions & 0 deletions utbot-framework/src/main/java/org/utbot/engine/overrides/stream/UtLongStream.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -147,6 +147,8 @@ public LongStream map(LongUnaryOperator mapper) {
@SuppressWarnings("unchecked")
@Override
public <U> Stream<U> mapToObj(LongFunction<? extends U> mapper) {
// Here we assume that this mapping does not produce infinite streams
// - otherwise it should always be executed concretely.
preconditionCheckWithClosingStream();

int size = elementData.end;
Expand Down
6 changes: 5 additions & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/Resolver.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -813,7 +813,11 @@ class Resolver(
// as const or store model.
if (defaultBaseType is PrimType) return null

if (actualType.numDimensions == 0) {
require(!defaultType.isJavaLangObject()) {
"Object type $defaultType is unexpected in fallback to default type"
}

if (defaultType.numDimensions == 0) {
return defaultType
}

Expand Down