[Checkers] Annotations on new

Mahmood Ali mahmood at MIT.EDU
Sat Aug 30 18:42:21 EDT 2008


Hi Artemus,

> When I'm annotating an anonymous class element in annotateImplicit  
> I'm not seeing any of the annotations present on its deceleration  
> (in the new).
Thanks for noticing this bug.  I will fix it hopefully before the  
following release.

> I'm not entirely sure what the purpose of the annotation on new  
> instances is
They are necessary for declaring the type being constructed.  'new  
@Immutable Date()' constructs an immutable date, while 'new @Mutable  
Date()' constructs a mutable date.

Regards,
Mahmood




More information about the checkers mailing list