PR# 17692 Violation of assertion `l_type_is_valid' in {AST_DECORATED_OUTPUT_STRATEGY}.check_type

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2011/06/22
Class: Bug
Severity: Serious
Number: 17692
Release: 7.0.86775
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; SunOS sun4u; rv:2.0) Gecko/20100101 Firefox/4.0 Solaris 10 on SPARC
Synopsis: Violation of assertion `l_type_is_valid' in {AST_DECORATED_OUTPUT_STRATEGY}.check_type

Description
Using a workbench estudio with preconditions and check assertions enabled,
compile a system with the attached classes and config file.
In Class tool, try to examine the Clickable form of TEST2.
Estudio gets violation of assertion `l_type_is_valid' in 
{AST_DECORATED_OUTPUT_STRATEGY}.check_type.

The cause of the problem seems to be the qualified anchored type in
the invariant of TEST2.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:prestoat2000   
											Date:2011/06/22   
											
											Download   
										

										

                                            
											
										 	
Attachments for problem report #17692

											
											
											

											
											

												

													

														

															Attachment:
															test.e    
															Size:90
														

													

												

											

											
											

												

													

														

															Attachment:
															test2.e    
															Size:103
														

													

												

											

											
											

												

													

														

															Attachment:
															test.ecf    
															Size:807