どんとこいタイプ・アノテーション！ Checker Framework 導入あの手この手 ～without IDE 編～ - 倭マン's BLOG
前回の記事『ラムダ式やストリーム API や新しい日時 API だけじゃない！ Java8 のタイプ・アノテーションあの手この手』で、Java8 で導入されたタイプ・アノテーションがどういったものか紹介しました。 その記事では同一要素に重複して同じアノテーションを付けられる @Repeatable なども紹介しましたが、タイプ・アノテーションは主に「タイプ（型）が使われているところはどこにでもアノテーションが付けられる」という機能を指しているのだと思います。 で、その機能を紹介したのはいいんですが、実際の使い方には触れていませんでした。 これでは片手落ち感が否めないので、タイプ・アノテーションを使用できるライブラリである Checker Framework というのを見ていきたいと思います（が、次に述べる理由により、ライブラリ自体の使い方はこの記事で扱ってません）。 このライブラリは @N
ぬるぽ撲滅のために Checker Framework を入れる (with Lombok, Gradle) - Qiita
公式ガイドの通り に Gradle タスクに NullnessChecker を導入したら Lombok アノテーション周りで失敗するようになったので頑張った。 Checker Framework や NullnessCheker については draftcode さんの記事を参照すると良いかも。 Checker FrameworkによるJavaのNullnessの静的解析 - Qiita 実際に動くサンプルプロジェクト: https://github.com/kui/lombok-checkframework こうする: // ... configurations { checkerFrameworkAnnotatedJDK annotationProcessors } dependencies { def checkerFrameworkVersion = '2.1.4' checker
タイプアノテーション - 技術開発日記
今までクラスやメソッドに対して宣言できたアノテーションが、Java8から変数の型やジェネリックスの型に対してもアノテーションを定義することができるようになりました。 ただ、注意点として、あくまて宣言できるようになっただけでデフォルトでJavaに入っているわけではないです。 では、どうやって使うのかというと そこは、Checker Frameworkというライブリを使うことになるのでここから jarをダウンロードしてパスを通せば使えます。 (自分はてっきりJavaでデフォルトで入っていると思っていたので、ずっとコンパイルエラーで悩んでた。。) もちろんMavenからもOKです。 Mavenを使用する場合 <dependency> <groupId>org.checkerframework</groupId> <artifactId>checker-qual</artifactId> <ver
The Checker Framework
Are you tired of null pointer exceptions, unintended side effects, SQL injections, concurrency errors, mistaken equality tests, and other run-time errors that appear during testing or in the field? The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes comp
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
