[all] Use new null annotations

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0

0 stars 0 forks source link

[all] Use new null annotations #886

Open eclipse-ocl-bot opened 2 months ago

eclipse-ocl-bot commented 2 months ago

| --- | --- | | Bugzilla Link | 375737 | | Status | NEW | | Importance | P3 enhancement | | Reported | Mar 30, 2012 11:35 EDT | | Modified | Jan 31, 2013 11:54 EDT | | Reporter | Ed Willink |

Description

3.8 adds the ability to annotate cannot-be-null on APIs. Use them.

eclipse-ocl-bot commented 2 months ago

By Ed Willink on Aug 30, 2012 13:18

The core pivot plugins now have @NonNull.

eclipse-ocl-bot commented 2 months ago

By Ed Willink on Nov 02, 2012 15:32

All Xtext/Pivot plugins have @NonNull support.

While fixing Bug 393405 it turns out that the annotations inhibit installation of Kepler builds on Indigo, because jdt.annotation is declared as a dependency. This is unnecessary, the annotations are an extra compiler check so they only need to be additional bundles. Pushed to master.

eclipse-ocl-bot commented 2 months ago

By Ed Willink on Jan 31, 2013 11:54

The jdt.annotation plugin is in M5, so build complexities vanish.

The pivot code has a lot of @NonNull declarations, but there can always be many more.

I guess this bug stays open till there has been a review.