Coercing DataTypes to a Set type automatically in product expression

[eclipse-ocl-bot]

| --- | --- |
| Bugzilla Link | 126336 |
| Status | CLOSED FIXED |
| Importance | P3 major |
| Reported | Feb 03, 2006 07:15 EDT |
| Modified | May 27, 2011 02:41 EDT |
| Version | 1.0.0 |
| Reporter | Shrawanika |

Description

Expression : self.attribute->product(self.attribute)

Error : org.eclipse.emf.ocl.helper.OclParsingException[1]:
Collection type conformance failure: (null).(product)
----------------

[eclipse-ocl-bot]

By Christian Damus on Feb 13, 2006 20:11

The issue turned out not to be any problem of coercing values to sets. The Collection::product(Collection(T2)) operation simply was not implemented.

So, now it is. The result of the product operation is a set of tuples. Each tuple is an instance of an instance of the TupleType metaclass, having two EStructuralFeatures named "first" and "second". The "first" type is the element type of the source collection of the product operation call, and the "second" type is the element type of the argument collection.

[eclipse-ocl-bot]

By Nick Boldt on Jan 28, 2008 16:35

Move to verified as per bug 206558.

[eclipse-ocl-bot]

By Ed Willink on May 27, 2011 02:38

Closing after over a year in verified state.

[eclipse-ocl-bot]

By Ed Willink on May 27, 2011 02:41

Closing after over a year in verified state.