[Checkers] Fwd: Extending nullness checker

[Mahmood Ali]

Greetings,

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.

Regards,
Mahmood


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