PR# 19649 After a Class Rename, with file rename, cannot create new class with the now unused class name

Problem Report Summary
Submitter: HowardThomsonSurrey
Category: EiffelStudio
Priority: Low
Date: 2020/06/06
Class: Bug
Severity: Non-critical
Number: 19649
Release: 19.12
Confidential: No
Status: Open
Responsible:
Environment: linux
Synopsis: After a Class Rename, with file rename, cannot create new class with the now unused class name

Description
I had a class, EAC_STORE_CLIENT, which I renamed as EAC_STORE_CLIENT_THREAD, with file rename selected.

After the class and file rename, I attempted to create a new class with the old name: EAC_STORE_CLIENT.

The new class name was rejected as 'Class with name 'EAC_STORE_CLIENT' already exists ...

After 'Find added classes and recompile' the phantom name clash no longer happens ...
To Reproduce
Right click on class in the Groups pane, and select Refactor/Rename
Rename the class, including renaming the file [action requires that the project be compilable].

Right click on the folder icon which includes the renamed class, and select New Class ...

Choose the class name which has just been removed, by renaming.

An error dialogue reports a name class which should not happen ...
Problem Report Interactions
From:HowardThomsonSurrey    Date:2020/06/06    Download   
Attachments for problem report #19649

Attachment: Screenshot at 2020-06-06 19-11-09.png     Size:38978
Attachment: Screenshot at 2020-06-06 19-09-07.png     Size:51611