Skip to content

[fix-finder] [installer] Enable nullable annotations for JdkArchive - #12787

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
nightly-fix/jdkarchive-nullability-8e4b1f5551d8cf0f
Open

github-actions[bot] wants to merge 1 commit into
mainfrom
nightly-fix/jdkarchive-nullability-8e4b1f5551d8cf0f

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

AI-generated fix. Produced by the nightly-fix-finder agentic workflow.

Problem

JdkArchive was one of the shipped installer types still compiled without nullable reference type annotations. Its public PayloadFileName property can be unset after construction, and its equality methods accept null, but those contracts were not represented in the source.

Fix

Enabled nullable reference types in JdkArchive.cs, marked PayloadFileName and equality parameters nullable, and added the explicit null guard required for the project's netstandard2.0 target.

Validation

  • AndroidSdkDirectory="$GITHUB_WORKSPACE/bin/Debug/android-sdk" AndroidNdkDirectory="$GITHUB_WORKSPACE/bin/Debug/android-ndk" ./build.sh Prepare — passed
  • ./dotnet-local.sh build src/Xamarin.Installer.AndroidSDK/Xamarin.Installer.AndroidSDK.csproj — passed with 0 warnings and 0 errors
  • git diff --check — passed

Fix-finder metadata

  • Script: 01-nullable-reference-types
  • Score: 29/30 (actionability: 10, safety: 9, scope: 10)

Generated by Nightly Fix Finder · copilot · gpt56 · 55.6 AIC · ⌖ 15.4 AIC · ⊞ 24K ·

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants