search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

Exception while validating (valid?) profile constraint? #1223

Closed eclipse-ocl-bot closed 3 hours ago

eclipse-ocl-bot commented 3 hours ago

| --- | --- | | Bugzilla Link | 419824 | | Status | CLOSED FIXED | | Importance | P3 normal | | Reported | Oct 18, 2013 06:02 EDT | | Modified | May 25, 2015 17:17 EDT | | Version | 4.0.0 | | Reporter | Klaas Gadeyne |

Description

Created attachment 236643 (attachment deleted)\ Demonstrates the problem

Version: Luna Release\ Build id: 20131003-0825

OCL Examples and Editors 3.4.0.v20130922-2057 org.eclipse.ocl.examples.feature.group Eclipse Modeling Project

Consider the model and profile in attach. Validating the model leads to

An exception occurred while delegating evaluation of the 'Constraint1' invariant on 'My Own Dependency -> <> Dependency1': Unknown type ([uml, Class]) <> Dependency1 model EMF Problem

Nevertheless, the constraint seems valid. Executing the following in the OCL xtext console yields.

Evaluating:\ self.supplier->forAll(s | s.oclIsKindOf(uml::Class))\ Results:\ true

eclipse-ocl-bot commented 3 hours ago

By Klaas Gadeyne on May 08, 2014 07:32

Created attachment 242834 Updated version of profile without the uml:: prefix

Using the latest MDT/OCL code, this bug is fixed (apart from the uml:: prefix) in the original attachment. New version uploaded using correct syntax.

:compression: bug419824.zip

eclipse-ocl-bot commented 3 hours ago

By Klaas Gadeyne on May 08, 2014 07:33

Probably fixed by the recent changes.

eclipse-ocl-bot commented 3 hours ago

By Ed Willink on May 25, 2015 17:17

CLOSED after more than a year in the RESOLVED state.