Fix OCLMessage.properties ElementTypeConformanceClosure_ERROR_

[eclipse-ocl-bot]

| --- | --- | | Bugzilla Link | 154575 | | Status | CLOSED FIXED | | Importance | P3 normal | | Reported | Aug 21, 2006 13:19 EDT | | Modified | May 27, 2011 02:41 EDT | | Version | 1.0.0 | | Reporter | Christian Vogt |

Description

Posted by Chris Lenz in the EMFT newsgroup:

In OCLMessages.properties the line\ ElementTypeConformanceClosureERROR= Closure type {{0}) does conform to\ source type ({1})\ has an error: {{0}) -> ({0})

Also, the error message should read "does not conform to".

Fix result:\ ElementTypeConformanceClosureERROR= Closure type ({0}) does not conform to source type ({1})

[eclipse-ocl-bot]

By Christian Damus on Sep 07, 2006 17:02

The fixes are committed to CVS.

[eclipse-ocl-bot]

By Nick Boldt on Jan 28, 2008 16:36

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.