型アノテーションを使用したChecker Frameworkは、複数のチェッカーから構成されています。その中でも最も代表的なチェッカーを前回紹介しました。しかし、それ以外にも有用なチェッカーが提供されています。そこで、今回は使えるチェッカーを紹介していきます。

型アノテーションと、その活用例としてのChecker Frameworkを6回に渡って紹介してきました。今回は、その最終回です。 前回、Checker Frameworkのチェッカを紹介しましたが、今回はその続きです。今回は、Lock Checkerを紹介します。また、後半では、リフレクション ...