PR# 17678 Violation of precondition `is_readable' of {RAW_FILE}.read_stream

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2011/06/18
Class: Bug
Severity: Serious
Number: 17678
Release: 7.0.86747
Confidential: No
Status: Open
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv: Gecko/20100226 Firefox/3.5.8 OpenSolaris on x86
Synopsis: Violation of precondition `is_readable' of {RAW_FILE}.read_stream

A particular sequence in a workbench estudio causes violation of
precondition `is_readable' of {RAW_FILE}.read_stream.  Trace attached.

To Reproduce
Start estudio and open existing project (root class TEST).
In Editor, select all text in TEST.
Type Backspace to delete selected text.
Click on Save.
Select Clickable view in Editor.
Select Basic Text view in Editor.
Estudio crashes with precondition violation.
Problem Report Interactions
From:prestoat2000    Date:2011/06/18    Download   
Attachments for problem report #17678

Attachment: stack32.txt     Size:7143