PR# 12693 .NET Eiffel classes redefines ToString() when it shouldn't.

Problem Report Summary
Submitter: paulbates
Category: Compiler
Priority: Medium
Date: 2007/05/11
Class: Bug
Severity: Serious
Number: 12693
Release: 6.0.6.8179
Confidential: No
Status: Analyzed
Responsible: manus_eiffel
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3
Synopsis: .NET Eiffel classes redefines ToString() when it shouldn't.

Description
I noticed that when creating a custom NATIVE_EXCEPTION class in Eiffel, by deriving NATIVE_EXCEPTION, that the Eiffel compiler opts to redefine ToString() automatically. When calling NATIVE_EXCEPTION.to_string the result is the Eiffel class name, which is incorrect behavior for exceptions. NATIVE_EXCEPTION actually redefines SYSTEM_OBJECT.to_string and so the compiler should not redefine in my custom exception.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:paulbates   
											Date:2007/05/11   
																							Status: Analyzed   
											
											Download   
										

										

                                            
											
										 	
I think this mechanism need more review so I'm reopening it.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:manus_eiffel   
											Date:2007/05/11   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
This was a chosen implementation a long time ago. If you want a different behavior, you need to redefine `out' like in all Eiffel programs.