Java Pointers.Aの例

コード例 #1

ファイル: Hello.java プロジェクト: way-2-go/infer

 void mayCauseNPE() {
   Random rng = new Random();
   Pointers.A a = Pointers.mayReturnNull(rng.nextInt());
   // FIXME: should check for null before calling method()
   a.method();
 }

コード例 #2

ファイル: Hello.java プロジェクト: way-2-go/infer

 void doesNotCauseNPE() {
   Pointers.A a = Pointers.mayReturnNull(10);
   a.method();
 }