Skip to content

Wrapper for basic Stream - #194

Merged
Damtev merged 7 commits into
mainfrom
damtev/stream_wrappers
Jun 21, 2022
Merged

Wrapper for basic Stream#194
Damtev merged 7 commits into
mainfrom
damtev/stream_wrappers

Conversation

@Damtev

@DamtevDamtev commented Jun 9, 2022•
edited by CaelmBleidd
Loading

Copy link
Copy Markdown
Member

Description

Added wrapper UtStream based on RangeModifiableUnlimitedArray for java.util.streams.Stream with all its methods implemented (as easy for the symbolic analysis as possible). Added UtClassMock for static methods of java.util.streams.Stream (of, empty, generate, iterate, and concat) - with using UtStream wrapper for finite streams and concrete execution for infinite streams (from generate, iterate, and concat).

Closes#145.

Type of Change

New feature (non-breaking change which adds functionality)

How Has This Been Tested?

Automated Testing

See org.utbot.examples.stream.BaseStreamExampleTest

Checklist (remove irrelevant options):

  • The change followed the style guidelines of the UTBot project
  • Self-review of the code is passed
  • The change contains enough commentaries, particularly in hard-to-understand areas
  • New documentation is provided or existed one is altered
  • No new warnings
  • Tests that prove my change is effective
  • All tests pass locally with my changes

@Damtev
Damtev requested a review from CaelmBleiddJune 9, 2022 15:18
@Damtev
Damtevforce-pushed the damtev/stream_wrappers branch 3 times, most recently from ae027d0 to 42dca41CompareJune 10, 2022 10:06
This was referenced Jun 10, 2022
Open
Open
CaelmBleidd
CaelmBleidd requested changes Jun 14, 2022
View reviewed changes

@CaelmBleiddCaelmBleidd left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Overall, LGTM, but there are several questions

Comment threadutbot-framework/src/main/kotlin/org/utbot/engine/pc/Z3TranslatorVisitor.kt Outdated
Comment threadutbot-framework/src/main/java/org/utbot/engine/overrides/stream/UtStream.java Outdated
Comment threadutbot-framework/src/main/java/org/utbot/engine/overrides/stream/UtStream.java
Comment threadutbot-framework/src/main/java/org/utbot/engine/overrides/stream/UtStream.java
Comment threadutbot-framework/src/main/kotlin/org/utbot/engine/ObjectWrappers.kt Outdated
Comment threadutbot-framework/src/test/kotlin/org/utbot/examples/stream/BaseStreamExampleTest.kt Outdated
Comment threadutbot-framework/src/test/kotlin/org/utbot/examples/stream/BaseStreamExampleTest.kt Outdated
Comment threadutbot-sample/src/main/java/org/utbot/examples/stream/BaseStreamExample.java Outdated
Comment threadutbot-framework/src/test/kotlin/org/utbot/examples/stream/BaseStreamExampleTest.kt Outdated
@Damtev
Damtevforce-pushed the damtev/stream_wrappers branch 4 times, most recently from d401783 to b3c23dbCompareJune 20, 2022 19:26
@Damtev
Damtev requested a review from CaelmBleiddJune 21, 2022 11:24
CaelmBleidd
CaelmBleidd requested changes Jun 21, 2022
View reviewed changes
Comment threadutbot-framework/src/main/java/org/utbot/engine/overrides/stream/Stream.java Outdated
Comment threadutbot-framework/src/main/kotlin/org/utbot/engine/ArrayObjectWrappers.kt Outdated
Comment threadutbot-framework/src/main/kotlin/org/utbot/engine/Memory.kt Outdated
Comment threadutbot-framework/src/main/kotlin/org/utbot/engine/Memory.kt Outdated
Comment threadutbot-framework/src/main/kotlin/org/utbot/engine/StreamWrappers.kt Outdated
Comment threadutbot-framework/src/main/kotlin/org/utbot/engine/pc/Z3TranslatorVisitor.kt Outdated
Comment threadutbot-framework/src/main/kotlin/org/utbot/engine/pc/Z3TranslatorVisitor.kt Outdated
Comment threadutbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/visitor/UtilMethods.kt Outdated
Comment threadutbot-framework/src/main/java/org/utbot/engine/overrides/stream/UtStream.java Outdated
Comment threadutbot-framework/src/main/java/org/utbot/engine/overrides/stream/UtStream.java
@Damtev
Damtevforce-pushed the damtev/stream_wrappers branch from b3c23db to 8d83084CompareJune 21, 2022 14:38
@Damtev
Damtev requested a review from CaelmBleiddJune 21, 2022 14:41
@Damtev
Damtevforce-pushed the damtev/stream_wrappers branch from 8d83084 to 70a8da3CompareJune 21, 2022 16:07
@Damtev
Damtev enabled auto-merge (squash) June 21, 2022 16:08
@Damtev
Damtevforce-pushed the damtev/stream_wrappers branch from 70a8da3 to 37305ccCompareJune 21, 2022 17:16
@Damtev
Damtev merged commit de99fe8 into mainJun 21, 2022
@Damtev
Damtev deleted the damtev/stream_wrappers branch June 21, 2022 19:06
mmvpm pushed a commit that referenced this pull request Jun 22, 2022
@DamtevNikita Stroganov
Wrapper for basic Stream (#194)
cbe9c1c
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@CaelmBleiddCaelmBleiddCaelmBleidd approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Wrapper for basic Stream

2 participants

@Damtev@CaelmBleidd