I agree that it is important... But i meant that the name it is not clear and not consistent with the API of Ring. Such behavior such be added indeed. On 26 Aug 2012, at 00:19, Camillo Bruni wrote:
On 2012-08-25, at 21:18, Stéphane Ducasse <stephane.ducasse@inria.fr> wrote:
origin is the place (trait) where the method is originally defined. so this is important.
exactly, I'm just wondering if you need another variable. Cause you have - parent (which I assume is the class the method is installed id) - package (currently used to model extensions/normal methods)
I think just having origin would solve this no? (most probably I forgot something :P) Basically you need to know two things of a method, where it is installed and where it came from.
The installed place is given in Ring with parent, the place the method comes from however is not always correctly given...