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
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

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