search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[evaluator] oclIsKindOf fails for UML binding #906

Open eclipse-ocl-bot opened 1 week ago

eclipse-ocl-bot commented 1 week ago

| --- | --- | | Bugzilla Link | 378036 | | Status | NEW | | Importance | P3 normal | | Reported | Apr 30, 2012 02:06 EDT | | Modified | Dec 07, 2017 07:42 EDT | | Depends on | 378045 | | Reporter | Ed Willink |

Description

After migrating Laurent's simple expression tests to the UML binding we get 21 failures on oclIsKindOf like operations on primitive types.

Stepping through UMLEvaluationEnvironment.isKindOf, identifies two/three different styles of evaluation, which could/should be independently tested; none of them would pass.

eclipse-ocl-bot commented 1 week ago

By Ed Willink on May 03, 2012 08:46

Once the instanceTypeName is ruight this could work just by changing

    case RUNTIME_OBJECTS:\
        if (object instanceof EObject) {

to

    case RUNTIME_OBJECTS:\
         {

perhaps copying some more conformance logic from EcoreEvaluationEnvironment

eclipse-ocl-bot commented 1 week ago

By Ed Willink on Dec 07, 2017 07:42

5 years on and no one has picked up on this.

Getting Pivot OCL evaluation right for Papyrus required new work with InstanceSpecifications.

Is/was anyone using the UML evaluator? No oclXXX operations is pretty crippling.

Must be heading for a WONTFIX.