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();
 }