René's URL Explorer Experiment


Title: Check if superclass or interfaces contain applicable types by Markoutte · Pull Request #2451 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Check if superclass or interfaces contain applicable types by Markoutte · Pull Request #2451 · UnitTestBot/UTBotJava

X Title: Check if superclass or interfaces contain applicable types by Markoutte · Pull Request #2451 · UnitTestBot/UTBotJava

Description: Description Fixes #2450 How to test Automated tests Run org.utbot.fuzzing.JavaTypesTest Manual tests Try run an example from a bug-report. It should work as expected. Run modified example below. It should generate 3 tests: with null and other with only BImpl type: public class Implementations { public interface A { T getValue(); } public static class AImpl implements A { private final String value; public AImpl(String value) { this.value = value; } @Override public String getValue() { return value; } } public static class BImpl implements A { private final Integer value; public BImpl(Integer value) { this.value = value; } @Override public Integer getValue() { return value; } } public static int test(A value) { if (value.getValue() < 0) { return 0; } return value.getValue(); } } Self-check list I've set the proper labels for my PR (at least, for category and component). PR title and description are clear and intelligible. I've added enough comments to my code, particularly in hard-to-understand areas. The functionality I've repaired, changed or added is covered with automated tests. Manual tests have been provided optionally. The documentation for the functionality I've been working on is up-to-date.

Open Graph Description: Description Fixes #2450 How to test Automated tests Run org.utbot.fuzzing.JavaTypesTest Manual tests Try run an example from a bug-report. It should work as expected. Run modified example below. I...

X Description: Description Fixes #2450 How to test Automated tests Run org.utbot.fuzzing.JavaTypesTest Manual tests Try run an example from a bug-report. It should work as expected. Run modified example below. I...

Opengraph URL: https://github.com/UnitTestBot/UTBotJava/pull/2451

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:ebb7fcab-da4b-988c-1098-4acac83c2e76
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-id9E8C:3B80A7:21C1105:2CEDE28:698D8DBF
html-safe-nonce8ce95241fffa9b1bd867660c0c52ac3dfd71263757896e04301433cc3f4cbfeb
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5RThDOjNCODBBNzoyMUMxMTA1OjJDRURFMjg6Njk4RDhEQkYiLCJ2aXNpdG9yX2lkIjoiMTk3Mzk2MDg0MjA5NDE1MzE1MSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmacab9d216e46e635ac42109504b939dc6cefad6415924d12be3d5912c84c6a748c
hovercard-subject-tagpull_request:1449664963
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///pull_requests/show/files
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/UnitTestBot/UTBotJava/pull/2451/files
twitter:imagehttps://avatars.githubusercontent.com/u/720952?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/720952?s=400&v=4
og:image:altDescription Fixes #2450 How to test Automated tests Run org.utbot.fuzzing.JavaTypesTest Manual tests Try run an example from a bug-report. It should work as expected. Run modified example below. I...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
Nonec0818105fa276287e9369cfdefa0a0fa7953719791ceff9b94d69623c0a4fe8a
turbo-cache-controlno-preview
diff-viewunified
go-importgithub.com/UnitTestBot/UTBotJava git https://github.com/UnitTestBot/UTBotJava.git
octolytics-dimension-user_id87413538
octolytics-dimension-user_loginUnitTestBot
octolytics-dimension-repository_id480810501
octolytics-dimension-repository_nwoUnitTestBot/UTBotJava
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id480810501
octolytics-dimension-repository_network_root_nwoUnitTestBot/UTBotJava
turbo-body-classeslogged-out env-production page-responsive full-width
disable-turbotrue
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releasebd964b0594af16531b06ac03e14711206a3079aa
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/2451/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F2451%2Ffiles
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F2451%2Ffiles
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fpull_requests%2Fshow%2Ffiles&source=header-repo&source_repo=UnitTestBot%2FUTBotJava
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2451/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2451/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/2451/files
UnitTestBot https://github.com/UnitTestBot
UTBotJavahttps://github.com/UnitTestBot/UTBotJava
Notifications https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Fork 45 https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Star 142 https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Code https://github.com/UnitTestBot/UTBotJava
Issues 386 https://github.com/UnitTestBot/UTBotJava/issues
Pull requests 33 https://github.com/UnitTestBot/UTBotJava/pulls
Discussions https://github.com/UnitTestBot/UTBotJava/discussions
Actions https://github.com/UnitTestBot/UTBotJava/actions
Projects 1 https://github.com/UnitTestBot/UTBotJava/projects
Wiki https://github.com/UnitTestBot/UTBotJava/wiki
Security 0 https://github.com/UnitTestBot/UTBotJava/security
Insights https://github.com/UnitTestBot/UTBotJava/pulse
Code https://github.com/UnitTestBot/UTBotJava
Issues https://github.com/UnitTestBot/UTBotJava/issues
Pull requests https://github.com/UnitTestBot/UTBotJava/pulls
Discussions https://github.com/UnitTestBot/UTBotJava/discussions
Actions https://github.com/UnitTestBot/UTBotJava/actions
Projects https://github.com/UnitTestBot/UTBotJava/projects
Wiki https://github.com/UnitTestBot/UTBotJava/wiki
Security https://github.com/UnitTestBot/UTBotJava/security
Insights https://github.com/UnitTestBot/UTBotJava/pulse
Sign up for GitHub https://github.com/signup?return_to=%2FUnitTestBot%2FUTBotJava%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava%2Fissues%2Fnew%2Fchoose
Markouttehttps://github.com/Markoutte
mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
pelevin/2450-fix_wrong_implenentation_gatheringhttps://github.com/UnitTestBot/UTBotJava/tree/pelevin/2450-fix_wrong_implenentation_gathering
Conversation 0 https://github.com/UnitTestBot/UTBotJava/pull/2451
Commits 2 https://github.com/UnitTestBot/UTBotJava/pull/2451/commits
Checks 0 https://github.com/UnitTestBot/UTBotJava/pull/2451/checks
Files changed https://github.com/UnitTestBot/UTBotJava/pull/2451/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2451/files
Check if superclass or interfaces contain applicable types https://github.com/UnitTestBot/UTBotJava/pull/2451/files#top
Show all changes 2 commits https://github.com/UnitTestBot/UTBotJava/pull/2451/files
f9039ab Check if superclass or interfaces contain applicable types #2450 Markoutte Jul 26, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2451/commits/f9039ab002e744487ca26af860019ab142b10ea5
3b25239 Add a comment about bad generics in some cases Markoutte Jul 26, 2023 https://github.com/UnitTestBot/UTBotJava/pull/2451/commits/3b2523955de75036118bf8ab72dd890618a92d0f
Clear filters https://github.com/UnitTestBot/UTBotJava/pull/2451/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2451/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2451/files
Api.kt https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
JavaLanguage.kt https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-635e23b25360373e9e2e68a9c090b280f5eb11329c049d4980ac7df6358eff77
Objects.kt https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-165e168ffcff30b74cbef101f4e2c5a1cbd99457e10f54d7e0f269ecfa5c921d
Implementations.java https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-50d3349defc6338f8efeaa833108dc4a0245f28487d76cce49ce5302d49c478f
JavaFuzzingTest.kt https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-387262e2517719ca0c157d5919f4cd70cda37bf0aeda39ae8ef5ccad317a37e8
JavaTypesTest.kt https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-27a87dd4052faf1d75c42a551e2e4e457644aba5e24dad79cfc3fa9093b94ea8
Utils.kt https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-4ad0afeac38dbb61cf0b49fbc6a3fad038cfde7704f634070f6fd0732e5c0368
utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kthttps://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
View file https://github.com/UnitTestBot/UTBotJava/blob/3b2523955de75036118bf8ab72dd890618a92d0f/utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2451/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-682363658b44283235c363c6d37c558a35663e22924eee610700590675f6c583
utbot-java-fuzzing/src/main/kotlin/org/utbot/fuzzing/JavaLanguage.kthttps://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-635e23b25360373e9e2e68a9c090b280f5eb11329c049d4980ac7df6358eff77
View file https://github.com/UnitTestBot/UTBotJava/blob/3b2523955de75036118bf8ab72dd890618a92d0f/utbot-java-fuzzing/src/main/kotlin/org/utbot/fuzzing/JavaLanguage.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2451/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-635e23b25360373e9e2e68a9c090b280f5eb11329c049d4980ac7df6358eff77
https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-635e23b25360373e9e2e68a9c090b280f5eb11329c049d4980ac7df6358eff77
utbot-java-fuzzing/src/main/kotlin/org/utbot/fuzzing/providers/Objects.kthttps://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-165e168ffcff30b74cbef101f4e2c5a1cbd99457e10f54d7e0f269ecfa5c921d
View file https://github.com/UnitTestBot/UTBotJava/blob/3b2523955de75036118bf8ab72dd890618a92d0f/utbot-java-fuzzing/src/main/kotlin/org/utbot/fuzzing/providers/Objects.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2451/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-165e168ffcff30b74cbef101f4e2c5a1cbd99457e10f54d7e0f269ecfa5c921d
https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-165e168ffcff30b74cbef101f4e2c5a1cbd99457e10f54d7e0f269ecfa5c921d
https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-165e168ffcff30b74cbef101f4e2c5a1cbd99457e10f54d7e0f269ecfa5c921d
utbot-java-fuzzing/src/test/java/org/utbot/fuzzing/samples/Implementations.javahttps://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-50d3349defc6338f8efeaa833108dc4a0245f28487d76cce49ce5302d49c478f
View file https://github.com/UnitTestBot/UTBotJava/blob/3b2523955de75036118bf8ab72dd890618a92d0f/utbot-java-fuzzing/src/test/java/org/utbot/fuzzing/samples/Implementations.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2451/{{ revealButtonHref }}
utbot-java-fuzzing/src/test/kotlin/org/utbot/fuzzing/JavaFuzzingTest.kthttps://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-387262e2517719ca0c157d5919f4cd70cda37bf0aeda39ae8ef5ccad317a37e8
View file https://github.com/UnitTestBot/UTBotJava/blob/3b2523955de75036118bf8ab72dd890618a92d0f/utbot-java-fuzzing/src/test/kotlin/org/utbot/fuzzing/JavaFuzzingTest.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/2451/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-387262e2517719ca0c157d5919f4cd70cda37bf0aeda39ae8ef5ccad317a37e8
https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-387262e2517719ca0c157d5919f4cd70cda37bf0aeda39ae8ef5ccad317a37e8
https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-387262e2517719ca0c157d5919f4cd70cda37bf0aeda39ae8ef5ccad317a37e8
https://github.com/UnitTestBot/UTBotJava/pull/2451/files#diff-387262e2517719ca0c157d5919f4cd70cda37bf0aeda39ae8ef5ccad317a37e8
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/2451/files
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.