Eclipse Community Forums: M2T (model-to-text transformation)

Home » Modeling » M2T (model-to-text transformation) » problem with oclIsKindOf()

problem with oclIsKindOf() [message #1848232]

Thu, 25 November 2021 11:31

Eclipse User

Hi all,

while researching the properties of Dependency ends and their types, I came across this discrepancy (see also the picture attached).

I have one InstanceSpecification1 with two Dependency Dep1 and Dep2, one leading to Class Class1 and the other to Activity Activity1.

When I apply oclIsKindOf(Class) on suppliers,
I got "truetrue" - it is not correct, one is Class and the second is Activity.

When I apply the same with Activity as input parameter, I got "falsetrue" correctly.

I think it's a bug, right?

Attachment: DependencyClassActivity.png
(Size: 54.58KB, Downloaded 192 times)

Re: problem with oclIsKindOf() [message #1848240 is a reply to message #1848232]

Thu, 25 November 2021 14:19

Eclipse User

Hi

As in my other answer, I suggest you read https://wiki.eclipse.org/OCL/ForumNetiquette to see how to ask questions that provoke answers rather than mutual irritation.

All I can be sure about is that you are not doing what you are claiming since I cannot believe that a library facility returns "truetrue". Looks like a bug in your 'printing' that you have chosen to keep secret.

Regards

Ed Willink

Re: problem with oclIsKindOf() [message #1848242 is a reply to message #1848240]

Thu, 25 November 2021 14:41

Eclipse User

Hi Ed,

I do not understand.
I wrote these expressions into the editor and this worked out for me, which I copied as a screen.
I hope you don't think I falsified the output.

Regards,
Ilya

[Updated on: Thu, 25 November 2021 17:14] by Moderator

Re: problem with oclIsKindOf() [message #1848253 is a reply to message #1848242]

Fri, 26 November 2021 00:46

Eclipse User

Hi

No. I certainly don't think that you deliberately falsified the output.

But those with experience of non-trivial software know that it has endless opportunities for mistakes and confusion that easily cause a leap to a false conclusion that can be very time consuming to resolve.

For not-obvious problems it is much easier to resolve them when a repro demonstrates all of the problem rather than the reporter's subjective guess.

"truetrue" is not credible for what you claim to do. Therefore you are not doing what you think you are and so a repro will allow the actual rather than suspected to be investigated.

Regards

Ed Willink

Re: problem with oclIsKindOf() [message #1848264 is a reply to message #1848232]

Fri, 26 November 2021 03:06

Eclipse User

Hi Ilya,

the answer given by Acceleo is correct in both cases. You have to consider according to the UML specification an Activity is a Behavior which is a Class. Consequently applying oclIsKindOf on Class will also return true for an Activity.

Nevertheless, if I got your intention correctly you might can use a construct like:

[self.getClientDependencies().supplier->asOrderedSet()->reject(e|e.oclIsTypeOf(Class))/]

This gives you the non-conforming suppliers as an OrderedSet.

/Carsten

Re: problem with oclIsKindOf() [message #1848265 is a reply to message #1848264]

Fri, 26 November 2021 03:49

Eclipse User

Hi Carsten,

thanks for the answer.

You are right about constructing terms in UML, but I think the given condition oclIsKindOf () examines a given UML specific for "leaf concrete metaclass".
To check , here is a listing of the XML file (.uml) of the given example, one element has type = Class and the second has type = Activity

<packagedElement xmi:type="uml:Package" xmi:id="_c-REwE4HEeystpVXwKmYWg" name="Package3">
<packagedElement xmi:type="uml:InstanceSpecification" xmi:id="_g79CUE4HEeystpVXwKmYWg" name="InstanceSpecification1"/>
<packagedElement xmi:type="uml:Class" xmi:id="_kUtG0E4HEeystpVXwKmYWg" name="Class1"/>
<packagedElement xmi:type="uml:Activity" xmi:id="_pN1Y8E4HEeystpVXwKmYWg" name="Activity1"/>
<packagedElement xmi:type="uml:Dependency" xmi:id="_wedG4E4HEeystpVXwKmYWg" name="Dep1" client="_c-REwE4HEeystpVXwKmYWg _g79CUE4HEeystpVXwKmYWg" supplier="_kUtG0E4HEeystpVXwKmYWg"/>
<packagedElement xmi:type="uml:Dependency" xmi:id="_40pVwE4HEeystpVXwKmYWg" name="Dep2" client="_g79CUE4HEeystpVXwKmYWg" supplier="_pN1Y8E4HEeystpVXwKmYWg"/>
</packagedElement>

Regards,
Ilya

[Updated on: Fri, 26 November 2021 04:01] by Moderator

Re: problem with oclIsKindOf() [message #1848266 is a reply to message #1848265]

Fri, 26 November 2021 03:56

Eclipse User

Hi Ilya,
are you sure?

Object.oclIsKindOf(Object) : Boolean

Evaluates to "true" if the type of the object o1 conforms to the type "classifier". That is, o1 is of type "classifier" or a subtype of "classifier".
Expression Result
anEPackage.oclIsKindOf(ecore::EPackage) true
anEPackage.oclIsKindOf(ecore::ENamedElement) true

Object.oclIsTypeOf(Object) : Boolean

Evaluates to "true" if the object o1 if of the type "classifier" but not a subtype of the "classifier".
Expression Result
anEPackage.oclIsKindOf(ecore::EPackage) true
anEPackage.oclIsKindOf(ecore::ENamedElement) false

index.php/fa/41378/0/

/Carsten

Attachment: Bildschirmfoto von 2021-11-26 09-53-28.png
(Size: 215.55KB, Downloaded 328 times)
Attachment: Bildschirmfoto von 2021-11-26 09-53-59.png
(Size: 215.15KB, Downloaded 328 times)

[Updated on: Fri, 26 November 2021 04:05] by Moderator

Re: problem with oclIsKindOf() [message #1848267 is a reply to message #1848266]

Fri, 26 November 2021 04:19

Eclipse User

Carsten, thanks a lot!
That's the solution!
BTW: In another thread, I was advised to use oclIsKindOf and not oclIsTypeOf...

Thanks a lot.

Ilya

[Updated on: Fri, 26 November 2021 04:21] by Moderator

Previous Topic:	correct downcast from Element to other UML types
Next Topic:	problem with remove method of xpand

Goto Forum:

-=] Back to Top [=-

Current Time: Fri May 16 05:44:52 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter