FAMIXMethod>>sureInvokedMethods in a inFusion model doesn't work

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

FAMIXMethod>>sureInvokedMethods in a inFusion model doesn't work

Andre Hora
Hello,

I tried to use the method FAMIXMethod>>sureInvokedMethods in a Java model generated by inFusion, but, for what I checked, it doesn't work. Is it a known bug?

regards,

--
Andre Hora


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Reply | Threaded
Open this post in threaded view
|

Re: FAMIXMethod>>sureInvokedMethods in a inFusion model doesn't work

simondenier

On 14 févr. 2011, at 18:58, Andre Hora wrote:

> Hello,
>
> I tried to use the method FAMIXMethod>>sureInvokedMethods in a Java model generated by inFusion, but, for what I checked, it doesn't work. Is it a known bug?


sureInvokedMethods is a query specific to Smalltalk (and dynamic languages in general). It provides a basic heuristic to more drastically select candidates in FAMIX invocations: message sends such as a call to self, super, a class-side call... In this case it's pretty easy to figure out statically which method(s) may be called by the message send. In general the Smalltalk importer just provides a list of candidates.
See #isASureInvocation for the semantics.

This query does not make sense in Java, since in general we can statically find which methods may be called by a message send. So use allInvokedMethods in Java.

Also start to use Chef instead of the old Cook queries.

--
Simon Denier




_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Reply | Threaded
Open this post in threaded view
|

Re: FAMIXMethod>>sureInvokedMethods in a inFusion model doesn't work

Andre Hora
Thanks again Simon. I will use allInvokedMethods in Java.

On Mon, Feb 14, 2011 at 7:09 PM, Simon Denier <[hidden email]> wrote:

On 14 févr. 2011, at 18:58, Andre Hora wrote:

> Hello,
>
> I tried to use the method FAMIXMethod>>sureInvokedMethods in a Java model generated by inFusion, but, for what I checked, it doesn't work. Is it a known bug?


sureInvokedMethods is a query specific to Smalltalk (and dynamic languages in general). It provides a basic heuristic to more drastically select candidates in FAMIX invocations: message sends such as a call to self, super, a class-side call... In this case it's pretty easy to figure out statically which method(s) may be called by the message send. In general the Smalltalk importer just provides a list of candidates.
See #isASureInvocation for the semantics.

This query does not make sense in Java, since in general we can statically find which methods may be called by a message send. So use allInvokedMethods in Java.

Also start to use Chef instead of the old Cook queries.

--
Simon Denier




_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev



--
Andre Hora


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev