Java Pointers.A Beispiele

Beispiel #1

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

Beispiel #2

Datei: Hello.java Projekt: way-2-go/infer

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