PR# 15311 EiffelStudio debugger failure when an invariant violation occurs

Problem Report Summary

Submitter: manus_eiffel

Category: EiffelStudio

Priority: Medium

Date: 2009/01/23

Class: Bug

Severity: Serious

Number: 15311

Release: 6.4.7.6804

Confidential: No

Status: Open

Responsible:

Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.9.0.5) Gecko/2008120122 Firefox/3.0.5

Synopsis: EiffelStudio debugger failure when an invariant violation occurs

Description

Start EiffelStudio with all invariants checked enabled (i.e. WEL + Vision2 should have their assertion enabled) and then wait for an invariant violation. Currently it fails when doing something like:

a.implementation

in our code. `implementation' is an attribute, not a function.

Now click on `implementation' in the call stack. It makes our application crash and EiffelStudio becomes unresponsive.

To Reproduce

Problem Report Interactions