Junya Masuda

<p>公式ドキュメント: <a href="https://checkerframework.org/manual/" target="_blank" rel="nofollow noopener noreferrer">https://checkerframework.org/manual/</a><br>
GitHub: <a href="https://github.com/typetools/checker-framework" target="_blank" rel="nofollow noopener noreferrer">https://github.com/typetools/checker-framework</a></p>


<h2 id="nullness-checker">
<a class="header-anchor-link" href="#nullness-checker" aria-hidden="true"></a> <a href="https://checkerframework.org/manual/#nullness-checker" target="_blank" rel="nofollow noopener noreferrer">Nullness Checker</a>
</h2>
<p>Null 安全な実装ができているかをチェックしてくれる Checker。<br>
この Checker で警告が出ていなければ、 <code>NullPointerException</code> が発生することはない、とまで書いてある。</p>
<p>基本的に <code>@NonNull</code> をデフォルトとして扱う。（細かい適用ルールはドキュメントを参照）</p>
