PR# 3693 Caller of inherited feature

Problem Report Summary
Submitter: erabevisy
Category: EiffelStudio
Priority: Low
Date: 2004/03/11
Class: Bug
Severity: Non-critical
Number: 3693
Release: 5.4.1224 Enterprise Edition
Confidential: No
Status: Suspended
Responsible: manus_eiffel
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr-FR; rv:1.0.2) Gecko/20030208 Netscape/7.02
Synopsis: Caller of inherited feature

Description
2 classes: PARENT and CHILD. PARENT defines feature f. CHILD redefines it like this:
f is do
 <anything>
 precursor
 <anything>
end

Then, from CHILD, if you search for the callers of f, you get CHILD.f (which is wrong).

And if you search the callers of PARENT.f, you get CHILD.f too (which is right) like this:
f from PARENT
 CHILD
  f
f from CHILD
 CHILD
  f


This is not urgent and far from critical. It would just be nice to have the right callers.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:manus_eiffel   
											Date:2006/08/29   
																							Status: Suspended   
											
											Download   
										

										

                                            
											
										 	
Just to let you know that for incrementality reasons, we have to show the second unexpected caller. We will try to solve this in future releases.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:erabevisy   
											Date:2004/03/11   
											
											Download