Java ClassA.ensuresNonNullの例

コード例 #1

ファイル: Issue391.java プロジェクト: smillst/checker-framework

  void method3() {
    ensuresNonNull();
    method();

    ClassA a = new ClassA();
    a.ensuresNonNull();
    a.getValue();
  }

コード例 #2

ファイル: Issue391.java プロジェクト: smillst/checker-framework

 @EnsuresNonNull("field.value")
 void ensuresNonNull() {
   field.ensuresNonNull();
 }