search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[specification] Exploit null-free collections #1522

Open eclipse-ocl-bot opened 3 hours ago

eclipse-ocl-bot commented 3 hours ago

| --- | --- | | Bugzilla Link | 468111 | | Status | NEW | | Importance | P3 normal | | Reported | May 23, 2015 11:58 EDT | | Modified | Nov 07, 2019 03:50 EDT | | Reporter | Ed Willink |

Description

Bug 467388 added null-free collections to make safe navigation feasible.

Modify the definitions of Pivot.* to use null-free collections and follow the ripples through to stronger CG declarations.

eclipse-ocl-bot commented 3 hours ago

By Ed Willink on Nov 07, 2019 03:50

Many code declarations have been tightened but those close to EMF are hard, unless the JET templates are changed / post-processed. ClassUtil.nullFree() facilitates casting in many situations but sadly fails in others.