倭マン's BLOG
id:waman
どんとこいタイプ・アノテーション！ Checker Framework 導入あの手この手 ～without IDE 編～
前回の記事『ラムダ式やストリーム API や新しい日時 API だけじゃない！ Java8 のタイプ・アノテーションあの手この手』で、Java8 で導入されたタイプ・アノテーションがどういったものか紹介しました。 その記事では同一要素に重複して同じアノテーションを付けられる @Repeatable なども紹介しましたが、タイプ・アノテ…
