search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[pivot] Unify UML bounded collections with OCL nested collections #825

Open eclipse-ocl-bot opened 5 days ago

eclipse-ocl-bot commented 5 days ago

| --- | --- | | Bugzilla Link | 367523 | | Status | NEW | | Importance | P3 normal | | Reported | Dec 23, 2011 16:38 EDT | | Modified | Mar 18, 2013 08:28 EDT | | Version | 3.2.0 | | Reporter | Ed Willink |

Description

OCL has no support for bounded collections: add upper/lower to Collection.

This then eliminates the need for multiplicities and all the bug opportunities from failing to convert types to collections.

This also requires the Concrete Syntaxes to be revised, which can solve the problem whereby the lack of a multiplicity means that derived Complete OCL properties cannot be optional.

eclipse-ocl-bot commented 5 days ago

By Ed Willink on Jan 05, 2012 01:42

From Bug 356243, the following OCLinEcore

property is_always_typed : Classifier { ordered };

fails to parse since arbitrary type references are not allowed; not even Set(String).

eclipse-ocl-bot commented 5 days ago

By Ed Willink on Jan 30, 2012 01:57

(In reply to comment #1)

fails to parse since arbitrary type references are not allowed; not even Set(String).

I just tried to use OCLinECore using Complete OCL type syntax; very confusing.

Must add support for Sequence(String) etc.

eclipse-ocl-bot commented 5 days ago

By Ed Willink on Aug 30, 2012 13:15

The pivot model now uses bounded collections and there is a concrete syntax.

Needs more testing.