どんとこいタイプ・アノテーション！ Checker Framework 導入あの手この手 ～without IDE 編～ - 倭マン's BLOG前回の記事『ラムダ式やストリーム API や新しい日時 API だけじゃない！ Java8 のタイプ・アノテーションあの手この手』で、Java8 で導入されたタイプ・アノテーションがどういったものか紹介しました。 その記事では同一要素に重複して同じアノテーションを付けられる @Repeatable なども紹介しましたが、タイプ・アノテーションは主に「タイプ（型）が使われているところはどこにでもアノテーションが付けられる」という機能を指しているのだと思います。 で、その機能を紹介したのはいいんですが、実際の使い方には触れていませんでした。 これでは片手落ち感が否めないので、タイプ・アノテーションを使用できるライブラリである Checker Framework というのを見ていきたいと思います（が、次に述べる理由により、ライブラリ自体の使い方はこの記事で扱ってません）。 このライブラリは @N
