Java Pointers.A Examples

Example #1

File: Hello.java Project: 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();
 }

Example #2

File: Hello.java Project: way-2-go/infer

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