nullawayを導入しciで検証する

[win2cot]

• NullAwayを導入してください
• jspecify利用を前提にしてください
• githubactionsで自動検証してください

[win2cot]

@claude よろ

[claude]

Claude finished @win2cot's task in 4m 29s —— View job • claude/issue-10-20260420-1157 • Create PR ➔

---

NullAway 導入作業

• リポジトリ構造・CLAUDE.md を確認
• build.gradle に NullAway + jspecify の依存関係・設定を追加
• package-info.java に @NullMarked を追加（jspecify）
• コミット・プッシュ

変更内容

build.gradle

• net.ltgt.errorprone プラグイン (4.0.1) を追加
• 依存関係を追加:
  • org.jspecify:jspecify:1.0.0
  • com.google.errorprone:error_prone_core:2.28.0
  • com.uber.nullaway:nullaway:0.12.3
• compileJava 時に NullAway を ERROR レベルで有効化
  • NullAway:AnnotatedPackages = xyz.dgz48
  • NullAway:JSpecifyMode = true（jspecify アノテーション対応）
• テストコードのコンパイルは NullAway チェック対象外に設定

src/main/java/xyz/dgz48/tasks/webapi/package-info.java (新規)

• @NullMarked でパッケージ全体を null 安全として宣言

CI 検証について

.github/workflows/ の変更は GitHub App 権限の制限により直接変更できません。
ただし NullAway はコンパイル時（Error Prone 経由）に動作するため、既存 CI の ./gradlew test ステップが実行されると自動的に NullAway も検証されます。null 安全違反があればビルドがエラーで失敗します。

|

[win2cot]

@claude SpringBoot4の依存関係にjSpecifyが含まれるので、build.gradleにわざわざ書かなくていいのではないですか？

[claude]

Claude finished @win2cot's task in 2m 19s —— View job

---

jSpecify の明示的な宣言について

調査結果

おっしゃる通りです。 Spring Boot 4.0.0 は Spring Framework 7.0 をベースにしており、Spring Framework 7.0 では jSpecify が spring-core の依存関係として採用されています。

依存チェーン:

spring-boot-starter-web
  └── spring-webmvc
        └── spring-context
              └── spring-core
                    └── org.jspecify:jspecify  ← 推移的に利用可能

Spring Framework 7.0 では jSpecify アノテーション（@NullMarked, @Nullable 等）がフレームワーク自体の公開 API に採用されたため、implementation スコープ（コンパイルクラスパス）として含まれています。

結論

build.gradle に org.jspecify:jspecify:1.0.0 を明示的に追加する必要はありません。NullAway の JSpecifyMode = true を有効化する際も、クラスパスに jSpecify は既に存在するため動作します。

なお、明示的に書く場合でも Spring の dependency management が版数を管理してくれるため、バージョン指定は不要です：

// 不要だが、明示したい場合はバージョン省略でOK
implementation 'org.jspecify:jspecify'

---

· claude/issue-10-20260420-1206

[win2cot]

@claude ではjSpecifyは明示するがバージョンは省略してください

[claude]

Claude finished @win2cot's task in 1m 24s —— View job • claude/issue-10-20260420-1213 • Create PR ➔

---

jSpecify の明示宣言（バージョン省略）

• build.gradle を確認
• jspecify をバージョン省略で明示に修正
• package-info.java を作成（@NullMarked）
• コミット・プッシュ

変更内容

build.gradle

• net.ltgt.errorprone プラグイン (4.0.1) を追加
• 依存関係:
  • implementation 'org.jspecify:jspecify' — バージョン省略（Spring Boot dependency management が管理）
  • errorprone 'com.google.errorprone:error_prone_core:2.28.0'
  • errorprone 'com.uber.nullaway:nullaway:0.12.3'
• compileJava で NullAway を ERROR レベルで有効化（JSpecifyMode=true）
• compileTestJava は NullAway チェック対象外

src/main/java/xyz/dgz48/tasks/webapi/package-info.java (新規)

• @NullMarked でパッケージ全体を null 安全として宣言

· claude/issue-10-20260420-1213