PR# 17657 Violation of precondition `is_interface_usable' of {ES_WATCH_TOOL}.siteable_entities
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2011/06/15
Class: Bug
Severity: Serious
Number: 17657
Release: 6.8.86627
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; SunOS sun4u; rv:2.0) Gecko/20100101 Firefox/4.0
Synopsis: Violation of precondition `is_interface_usable' of {ES_WATCH_TOOL}.siteable_entities
Description
A particular sequence of actions with a workbench estudio violates precondition `is_interface_usable' of {ES_WATCH_TOOL}.siteable_entities. Full trace attached.
To Reproduce
Delete ~/.es68_workbench directory. Start workbench estudio (compiled with just preconditions) and open an existing project. Click on Force Environment into Debug Mode. Right-click on Watch tab and select Close menu item. Estudio crashes with precondition violation.
Problem Report Interactions