IntelliJ IDEAとかAndroid Studioを使っている人は、メソッドの横の方に@が書かれているのを見たことがあるかと思います。 (Android Studioで実際に表示されるのかは知らないけど、ツイッターで観測している限りアンドロイダーの人で「この@Contractって何」ってツイートしている人がいたのでおそらく表示されている) ここにカーソルを合わせると、メソッドの性質について情報が表示されます。 例1:次のようなメソッドの場合には@Contract("null -> fail; !null -> !null")と表示されます。 nullを引数に渡すと例外が発生する nullでない引数を渡すとnullでない値が返される 例2:つぎのメソッドの場合には@NotNullと表示されます。 どのような引数を渡しても必ずnullでない値が返される この情報が表示されることで、ある