[Checkers] Fwd: Extending nullness checker

Mahmood Ali mahmood at MIT.EDU
Fri Mar 6 00:23:44 EST 2009


I have implemented a proposal to implement this feature.  You may  
annotate such assertions methods with @AssertNullness.  I just checked  
in my giant check-in for the day.  All the tests you submitted are  
passing now.


Begin forwarded message:

> From: Michael Ernst <mernst at cs.washington.edu>
> Date: March 4, 2009 6:01:30 PM EST
> To: Mahmood Ali <mali at csail.mit.edu>
> Subject: Extending nullness checker
> Mahmood-
> I would like to extend the Nullness checker so that a new method or
> expression indicates that a value is non-null.  I imagine other  
> users will
> want to do similar things.  Is there an easy way to do this?
> For example, I want
>  checkNotNull(map);
> to have the same effect (on the refined type of map) as
>  assert map != null;
>                     Thanks,
>                    -Mike

More information about the checkers mailing list