PR# 13201 Violation of precondition `not_destroyed' of {EB_VISION_WINDOW}.set_pointer_style

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/06/17
Class: Bug
Severity: Serious
Number: 13201
Release: 6.0.69141
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1.3) Gecko/20070321 Firefox/2.0.0.3 Solaris 10 on x86
Synopsis: Violation of precondition `not_destroyed' of {EB_VISION_WINDOW}.set_pointer_style

Description
I think I may have closed a newly created window before it was fully
displayed.  I got a violation of precondition `not_destroyed' of
{EB_VISION_WINDOW}.set_pointer_style.  Not yet reproducible.  Trace attached.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:larryl   
											Date:2009/09/21   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
This bug should be fixed in Eiffel Studio intermediate releases after revision#80771. I added two if protections against destroyed and void objects.

Thanks for your report.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:prestoat2000   
											Date:2009/09/08   
											
											Download   
										

										

                                            
											
										 	
I got a very similar trace (attached as stack145.txt) while playing with 6.5.80524.
I was docking and undocking tools, maximizing them, etc.  So I think this bug
is still present.



											
											
											

											
											

												

													

														

															Attachment:
															stack145.txt    
															Size:4680
														

													

												

											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:prestoat2000   
											Date:2007/06/17   
											
											Download   
										

										

                                            
											
										 	
Attachments for problem report #13201

											
											
											

											
											

												

													

														

															Attachment:
															stack101.txt    
															Size:3055