search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[validation] Provide warnings for safe navigation null omission/redundancy #1494

Open eclipse-ocl-bot opened 4 days ago

eclipse-ocl-bot commented 4 days ago

| --- | --- | | Bugzilla Link | 464931 | | Status | NEW | | Importance | P3 normal | | Reported | Apr 18, 2015 09:51 EDT | | Modified | Dec 22, 2016 18:51 EDT | | Blocks | 507628 | | Reporter | Ed Willink |

Description

Safe navigation gives OCL sensible null support.

The user needs help

and of course null return validation.

eclipse-ocl-bot commented 4 days ago

By Ed Willink on Apr 21, 2015 04:57

Providing these warnings highlights many areas where TypedElement.isRequired is not being determined properly.

The missing support for Collection of not-null is going to need resolving.

OclVoid::oclAsType(X) returning null is untenable. The OCL 2.3/2.4 words actually say it returns invalid. It is only the explicit OCL 2.4 clarification that says it returns null.

The new warnings may be helpful but they can also be very irritating. We must have preference settings.