Skip to content

Java: Fix provenance of Map.Entry.copyOf models - #15774

Merged
atorralba merged 1 commit into
github:mainfrom
atorralba:atorralba/java/mapentry-copyof-provenance
Mar 1, 2024
Merged

Java: Fix provenance of Map.Entry.copyOf models#15774
atorralba merged 1 commit into
github:mainfrom
atorralba:atorralba/java/mapentry-copyof-provenance

Conversation

@atorralba

Copy link
Copy Markdown
Contributor

@owen-mc I missed this while reviewing #15767, but I think the provenance should be -manual instead of -generated since we manually reviewed these (which gives them a bit more weight in certain dataflow calculations).

@atorralba atorralba added the no-change-note-required This PR does not need a change note label Mar 1, 2024
@atorralba
atorralba requested a review from a team as a code owner March 1, 2024 08:02
@github-actions github-actions Bot added the Java label Mar 1, 2024
@atorralba
atorralba merged commit e051526 into github:main Mar 1, 2024
@atorralba
atorralba deleted the atorralba/java/mapentry-copyof-provenance branch March 1, 2024 09:26
@owen-mc

owen-mc commented Mar 1, 2024

Copy link
Copy Markdown
Contributor

Should it be "df-manual", or just "manual"? The df-gen model didn't account for MapKay and MapValue. I saw that a model was needed from the df-gen ones.

@atorralba

Copy link
Copy Markdown
Contributor Author

I'd say if the generator tips us into manually writing something, we can give it attribution. But happy to change it to manual if you prefer.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Java no-change-note-required This PR does not need a change note

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants