Skip to content

Doctool: lookup Java definitions #11306

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
Closed
abgruszecki opened this issue Feb 3, 2021 · 1 comment · Fixed by #12070
Closed

Doctool: lookup Java definitions #11306

abgruszecki opened this issue Feb 3, 2021 · 1 comment · Fixed by #12070
Assignees
@BarkingBad
Labels
area:doctool
Milestone
3.0.1

Comments

@abgruszecki
Copy link
Contributor

The doctool should support referencing Java definitions with links, stdlib has got plenty of links like that.
This was referenced Feb 3, 2021
Merged
Merged
@abgruszecki
Copy link
Contributor Author

abgruszecki commented Mar 16, 2021 •
edited
Loading

Alright, I've checked the issue out. It seems that we can look up some Java definitions. There's specifically a problem with java.util.Formatter, because all symbols for Formatter are considered absent. Judging from manual inspection, we can look up most Java definitions and cases like above are the exception. I've added some tests here: #11773.

@BarkingBad BarkingBad self-assigned this Apr 12, 2021
@BarkingBad BarkingBad linked a pull request Apr 12, 2021 that will close this issue
Fix Java lookups #12070
Merged
@Kordyjan Kordyjan added this to the 3.0.1 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@BarkingBad BarkingBad

Labels
area:doctool
Projects
None yet
Milestone
3.0.1
Development

Successfully merging a pull request may close this issue.

Fix Java lookups BarkingBad/dotty
3 participants
@abgruszecki @Kordyjan @BarkingBad