前の記事では、IntelliJでCheckerFrameworkを使う方法を書きましたが、本記事では、MavenでCheckerFrameworkを使って書かれたコードをコンパイルする方法を書きます。すでに、Maven Centralに必要なjarは上がっていますので、特に難しいことはなく、pom.xml…

JJUG CCC 2016 SpringでThe Checker Frameworkというものがあることを知ったので、早速使ってみた。ドキュメントが全部英語で、日本語のものがなくて辛かったので今回は、Intellijを使ってビルドできるようになるまでを書く。 (英語版の設定はThe Checker Fr…