[mdt-ocl.dev] @NonNull annotations

[Ed Willink <ed@xxxxxxxxxxxxx>]

Hi Adolfo

Juno has some @NonNull annotations 
(http://wiki.eclipse.org/JDT_Core/Null_Analysis) support, so I've 
started using these to stabilize APIs before promotion. This starts to 
respond to https://bugs.eclipse.org/bugs/show_bug.cgi?id=375737.

However the basic Juno support on parameters is useful but limited; 
final fields assigned a @NonNull value lose the annotation.

This is fixed in 
http://wiki.eclipse.org/JDT_Core/Null_Analysis/Beta#Syntactic_analysis 
making the facility much more useful; just have to cast/test a tractable 
number of incoming Java/EMF values.

To support this, it is just necessary to install from the 
http://www.eclipse.org/jdt/core/beta-null-annotations-for-fields update. 
So to make this work on Hudson we presumably just  need to ensure that 
the org.eclipse.jdt.annotation search path resolves there. Is it that easy?

    Regards

        Ed