PR# 16787 EiffelStudio create the 'Equals' feature but sometimes should not

Problem Report Summary
Submitter: dlebansais
Category: .NET
Priority: Medium
Date: 2010/05/29
Class: Bug
Severity: Serious
Number: 16787
Release: 6.6
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US) AppleWebKit/533.4 (KHTML, like Gecko) Chrome/5.0.375.55 Safari/533.4
Synopsis: EiffelStudio create the 'Equals' feature but sometimes should not

Description
When creating a .NET application, if a class inherits from a .NET class and doesn't redefine the 'Equals' feature, the compiler will automatically provide a redefinition.

However, classes inheriting from the DependencyObject class must not redefine this feature because it's declared as 'final' in .NET.

Since the compiler provides this redefinition, no program with classes inheriting from DependencyObject directly or indirectly can execute. This includes most classes of the PresentationFramework assembly.

See http://eiffelroom.org/node/416 for more information.

This is a duplicate of issue #15392.


To Reproduce
To reproduce the bug, compile the attached project and run it. It will generate an exception on load.
Problem Report Interactions
From:dlebansais    Date:2010/05/29    Download   
Attachments for problem report #16787

Attachment: WpfSample.zip     Size:1570