[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