Skip to content

Filter out org.utbot.*Exceptions from Summaries #1833

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

Jump to bottom
Open
alisevych opened this issue Feb 21, 2023 · 0 comments
Open

Filter out org.utbot.*Exceptions from Summaries #1833

alisevych opened this issue Feb 21, 2023 · 0 comments
Assignees
@EgorkaKulikov
Labels
comp-summaries Something related to the method names, code comments and display names generation ctg-enhancement New feature, improvement or change request

Comments

@alisevych
Copy link
Member

Description

All org.utbot.*Exceptions should not be shown in Java docs (tag @utbot.throwsException is for user code exceptions only).

Expected behavior

@utbot.throwsException should be used only for exceptions from user code.
Need to filter out all of exceptions with classname org.utbot.* from Java docs generation.

Context

The following bugs seeped without this restriction:
@alisevych alisevych added ctg-enhancement New feature, improvement or change request comp-summaries Something related to the method names, code comments and display names generation labels Feb 21, 2023
@alisevych alisevych mentioned this issue Feb 21, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@EgorkaKulikov EgorkaKulikov

Labels
comp-summaries Something related to the method names, code comments and display names generation ctg-enhancement New feature, improvement or change request
Projects
UTBot Java
Status: Todo
Milestone
No milestone
Development

No branches or pull requests
2 participants
@EgorkaKulikov @alisevych