On Dec 28, 2011, at 7:24 PM, Lukas Renggli wrote:
Yes when I looked at RB (in 99) I guess that they also used existing instances to try to get more information but mainly for instance variables.
I am not aware of such code. RBRefactoryTyper is part of the refactoring engine since I first looked at it around ESUG 2002.
May be it was mentioned in their ecoop paper or in some workshop. I had fun with it when I wrote the message passing control paper in 98 after may be john told me that t was experimental.
It is relatively hidden, and only used by a few refactorings to provide better default suggestions (i.e. extract to component). It is also used in OB to provide a better default class comment template. And in ECompletion for better suggestions since RoelTyper is not useable anymore.
I would really like to see more work around practical tools that can help us. I have the work on type inference from francisco garau on my hard-disc. But this is a pity that nobody build on top of that.
Never heard of that code.
I can put it on a server. This was the master thesis of Francisco Garau.
Lukas
-- Lukas Renggli www.lukas-renggli.ch