Skip to content

Nullness improvements for simple core transforms - #40022

Draft
kennknowles wants to merge 5 commits into
apache:masterfrom
kennknowles:Combine-nullness
Draft

Nullness improvements for simple core transforms#40022
kennknowles wants to merge 5 commits into
apache:masterfrom
kennknowles:Combine-nullness

Conversation

@kennknowles

Copy link
Copy Markdown
Member

Remove class-level blanket suppressions with targeted suppressions and code improvements.


Thank you for your contribution! Follow this checklist to help us incorporate your contribution quickly and easily:

  • Mention the appropriate issue in your description (for example: addresses #123), if applicable. This will automatically add a link to the pull request in the issue. If you would like the issue to automatically close on merging the pull request, comment fixes #<ISSUE NUMBER> instead.
  • Update CHANGES.md with noteworthy changes.
  • If this contribution is large, please file an Apache Individual Contributor License Agreement.

See the Contributor Guide for more tips on how to make review process smoother.

To check the build health, please visit https://github.com/apache/beam/blob/master/.test-infra/BUILD_STATUS.md

GitHub Actions Tests Status (on master branch)

Build python source distribution and wheels
Python tests
Java tests
Go tests

See CI.md for more information about GitHub Actions CI or the workflows README to see a list of phrases to trigger workflows.

@github-actions github-actions Bot added the java label Sep 4, 2026
@kennknowles kennknowles changed the title Nullness improvements for Latest, Distinct, Reify, Sample Nullness improvements for simple core transforms Sep 4, 2026
TimestampedValue is immutable, so a TimestampedValue<V> is safe to use
wherever a TimestampedValue of a supertype of V is expected. Saying so
lets the nullness checker accept passing a TimestampedValue<T> where a
TimestampedValue<@nullable T> is wanted, which combiners need when their
accumulator starts out holding a null value.

This only loosens checking, so it cannot invalidate existing callers.
Replace the blanket class-level nullness suppression with narrow,
documented suppressions on the methods that genuinely produce a null.

LatestFn's accumulator holds a null value until the first input arrives,
so it is now typed TimestampedValue<@nullable T>. That is invisible in
the public API, since Latest.combineFn() erases AccumT to a wildcard.
It relies on TimestampedValue being covariant in its value type, so that
an input can still be passed where an accumulator is expected.

No runtime changes beyond hoisting the timestamp comparison into a
private helper so that mergeAccumulators no longer routes through
addInput. The null-element check it relied on is retained.
Remove the blanket class-level nullness suppression. The representative
type of WithRepresentativeValues is genuinely optional -- expand()
already branches on it -- so annotate it rather than suppressing.

No runtime changes.
Remove the blanket class-level nullness suppression. Reifying a view in
the global window creates a single placeholder element, which is a null
Void; spell that type out rather than casting.

No runtime changes.
Remove the blanket class-level nullness suppression, keeping the
unrelated rawtypes one. AnyValueCombineFn.extractOutput returns null
when the input is empty, and OutputT is T in the public signature of
anyValueCombineFn(), so that keeps a narrow suppression.

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

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant