Skip to content

Fix JDT @Property records #346

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.

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
merged 4 commits into from
Mar 15, 2025
Merged

Fix JDT @Property records #346

merged 4 commits into from
Mar 15, 2025

Conversation

SentryMan
Copy link
Collaborator

Fixes error where records generate incorrectly on JDT

@SentryMan SentryMan self-assigned this Mar 15, 2025
@SentryMan SentryMan added the bug Something isn't working label Mar 15, 2025
@SentryMan
Copy link
Collaborator Author

SentryMan commented Mar 15, 2025

record model

@Json
public record RequestModel(@Property("sus")  String value) {}

I wouldn't know how to write a test for this, so before:
image

After
image

Fixes error where records generate incorrectly on JDT
@SentryMan SentryMan enabled auto-merge (squash) March 15, 2025 01:37
@rbygrave
Copy link
Contributor

Awesome, this makes a lot more sense to me now. Yes, I'm not really expecting a test case for this type of bug.

@SentryMan SentryMan changed the title Fix JDT records Fix JDT @Property records Mar 15, 2025
@SentryMan SentryMan merged commit b780604 into avaje:main Mar 15, 2025
5 checks passed
@SentryMan SentryMan deleted the jdt-records branch March 15, 2025 03:42
@rbygrave rbygrave added this to the 3.1 milestone Mar 15, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants