PR# 17705 Violation of assertion in {EB_EDITORS_MANAGER}.create_editor_beside_content
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2011/06/24
Class: Bug
Severity: Serious
Number: 17705
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 in {EB_EDITORS_MANAGER}.create_editor_beside_content
Description
A particular reproducible sequence with a finalized ec with preconditions and
check assertions kept causes violation of check assertion in
{EB_EDITORS_MANAGER}.create_editor_beside_content. Trace attached.
{EB_EDITORS_MANAGER}.is_all_editors_valid is returning False, causing
the check violation.
To Reproduce
Start "ec -gui", where ec is a finalized executable with preconditions and check assertions kept, in default configuration. Open existing project. Click on Dependency tab and pin it so it is no longer auto-hidden. In Dependency tool, click Clients button and type "ARRAY" into Class name combo box. Expand cluster `base'. Right-click on class ARRAYED_LIST and select New Tab Class ARRAYED_LIST. Click on Maximize button in Dependency tool to maximize it. Right-click on class HASH_TABLE and select New Tab Class HASH_TABLE. Estudio crashes with check assertion violation.
Problem Report Interactions