PR# 19743 Class rename failed, due to compilation error after renaming

Problem Report Summary
Submitter: HowardThomsonSurrey
Category: EiffelStudio
Priority: Low
Date: 2021/04/22
Class: Bug
Severity: Non-critical
Number: 19743
Release: 20.11
Confidential: No
Status: Open
Responsible:
Environment: linux
Synopsis: Class rename failed, due to compilation error after renaming

Description
I checked that my system compiled correctly.
I right-clicked on the class name in the class to rename, and provided the new name in the dialog.
Subsequent dialog: 'Compilation was not successful. Rolback?' Clicked Yes
EiffelStudio shows 'Eiffel Compilation succeeded ...' in the Outputs window
Edit tab has the name of the re-named class, but content of the tab says 'File: .../class_name.e does not exist

The issue is not yet identified, but the class name probably appears in a restricted feature clause
feature {class_to_be_renamed} -- ???
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:HowardThomsonSurrey   
											Date:2021/04/22   
																							Status: Open   
											
											Download   
										

										

                                            
											
										 	
Confirmed that if the class to be renamed appears in a feature export restriction, the class name within the {} is unchanged, potentially causing the re-compilation to fail.