==== Manu: Mon Jul 11 11:26:38 PDT 2005 ===============================

Dear Eric,

Is this a request change? I'm saying this because our callers stuff
(and this has always been the case) only checks for static callers, not
dynamic one. Moreover it does it on the static type of B and
descendants. If you want all static callers, you need to first look at
the ancestors and then find A.f and then do the callers of A.f.

In your case there are no static calls of the form {B}.f thus the
expected output.



==== Manu: Mon Jul 11 11:26:38 PDT 2005 ===============================
From: "Eric Bezault" <ebezault@axarosenberg.com>
To: <bugs@support.eiffel.com>
Cc: 
Subject: RE: EiffelStudio/5137: Feature tool -> Callers  is missing cases
Date: Mon, 11 Jul 2005 11:41:23 -0700

 > Is this a request change?
 
 I will implement it in Rose Studio because we need it.
 
 > I'm saying this because our callers stuff
 > (and this has always been the case) only checks for static=20
 > callers, not
 > dynamic one. Moreover it does it on the static type of B and
 > descendants. If you want all static callers, you need to first look at
 > the ancestors and then find A.f and then do the callers of A.f.
 
 Why should I have to do that? Can't EiffelStudio find the
 ancestors for me? I'm not asking for something smart with
 dynamic type sets. Just the trick that you suggested, but
 built-in in EiffelStudio.
 =20
 > In your case there are no static calls of the form {B}.f thus the
 > expected output.
 
 In fact there is one (out of the two). Just run a flat
 Degree 3 and you will see it. That's not a dynamic call.
 
 --
 Eric Bezault