PR# 4151 EiffelStudio crashes after removing inherited abstract methods from a .NET DLL

I have an EiffelStudio .NET project containing a WinForm class that inherits from a WinForm that has been designed in Delphi.Net.

The Delphi.Net WinForm class had several abstract methods, which the concrete Eiffel class effects.

While EiffelStudio was not running, I removed the abstract methods from the Delphi class and rebuilt the DLL.

I then started EiffelStudio, opened my project, and opened the class that inherits from the Delphi class.

After thinking for a moment about what I needed to do, I realised that the Eiffel class should compile without any change, so I hit F7.

EiffelStudio then crashed with the Internal Error shown below. The Compilation Progress dialog said that it was 0% through "Resynchronizing tools".

I clicked the Quit button, deleted EIFGEN and recreated the project. It compiled successfully.

I assume that the problem is caused by the project expecting to find the methods that I had deleted, so recreating the project causes it to refresh itself from the DLL.

-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
EB_KERNEL           root's creation        Segmentation violation:      
<0000000002BC82E0>                         Operating system signal.      Exit
-------------------------------------------------------------------------------
EB_KERNEL           root's creation                                     
<0000000002BC82E0>                         Routine failure.              Exit
-------------------------------------------------------------------------------
EB_KERNEL           root's creation                                     
<0000000002BC82E0>                         Routine failure.              Exit
-------------------------------------------------------------------------------