[Pnet-developers] [Bug #4062] Ecma-334 Section 17.12 Destructors

[nobody]

=================== BUG #4062: FULL BUG SNAPSHOT ===================
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=4062&group_id=353

Submitted by: cheetah                 Project: DotGNU Portable.NET          
Submitted on: Fri 06/20/2003 at 21:06
Category:  None                       Severity:  5 - Major                  
Bug Group:  None                      Resolution:  None                     
Assigned to:  None                    Status:  Open                         

Summary:  Ecma-334 Section 17.12 Destructors

Original Submission:  pnet doesn't do too well on this section in the spec:
http://www.ecma-international.org/publications/files/ecma-st/Ecma-334.pdf
Section 17.12 Destructors

In the example:
class A 
{ 
  override protected void Finalize() {}  // error 
  public void F() { 
  this.Finalize();   // error 
  } 
} 
Both of these errors incorrectly compile. Also in the other example:

class A 
{ 
 void Finalize() {}   // permitted 
} 

This incorrectly issues the following warning:
warning: declaration of `Finalize' overrides an inherited member, and 
`override' was not present

Tested with cscc 0.5.8.



No Followups Have Been Posted


CC list is empty


No files currently attached


For detailed info, follow this link:
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=4062&group_id=353