PR# 3748 CAT-call: signature of STRING.subcopy

Problem Report Summary
Submitter: gobobe
Category: EiffelBase
Priority: Medium
Date: 2004/05/11
Class: Bug
Severity: Serious
Number: 3748
Release: 5.5.0409
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.0.2) Gecko/20030208 Netscape/7.02
Synopsis: CAT-call: signature of STRING.subcopy

Description
Gobo's gelint is now used by several people at AXA Rosenberg in order to check our code. I already implemented some CAT-call reporting mechanism in gelint. It is not complete yet, but when run on the code of gelint itself it reported only one CAT-call error. I don't use ANY.is_equal and the like that often in Gobo, so that probably explains the small number of errors reported. Anyway, the error is due to the fact that I call `subcopy' in a descendant of STRING with a STRING as argument. But this CAT-call could be easily avoided if the signature of `subcopy' in STRING was STRING instead of 'like Current'. Is there a reason why the argument is not of type STRING, and if not, can it be changed to STRING in order to remove this source of CAT-call? Thank you.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:manus_eiffel   
											Date:2009/07/14   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
I've changed it to READABLE_STRING_8 at the moment.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:gobobe   
											Date:2004/05/11   
											
											Download