PR# 10279 Precondition violated in EV_RICH_TEXT_IMP
Problem Report Summary
Submitter: ericbe
Category: EiffelVision
Priority: Medium
Date: 2006/04/20
Class: Bug
Severity: Serious
Number: 10279
Release: 5.7.0826
Confidential: No
Status: Open
Responsible: misterieking
Environment: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; .NET CLR 1.1.4322)
Synopsis: Precondition violated in EV_RICH_TEXT_IMP
Description
I get this exception trace (before the first window is actually displayed) when compiled with 5.7.0826. Everything works fine with 5.6.1218.
rose_studio: system execution failed.
Following is the set of recorded exceptions:
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
EV_RICH_TEXT_IMP select_region @3 valid_start:
<0000000007F72DA4> Precondition violated. Fail
-------------------------------------------------------------------------------
EV_RICH_TEXT_IMP internal_change_word_wrapping @25
<0000000007F72DA4> Routine failure. Fail
-------------------------------------------------------------------------------
EV_RICH_TEXT_IMP disable_word_wrapping @1
<0000000007F72DA4> Routine failure. Fail
-------------------------------------------------------------------------------
ROSE_STUDIO_RICH_TEXT
disable_word_wrapping @2
<0000000006C481CC> (From EV_TEXT) Routine failure. Fail
-------------------------------------------------------------------------------
ROSE_STUDIO_CLASS_INFO_FORMAT
make @11
<0000000006C479CC> Routine failure. Fail
-------------------------------------------------------------------------------
ROSE_STUDIO_CLASS_TOOL
make @6
<0000000006C478BC> Routine failure. Fail
-------------------------------------------------------------------------------
ROSE_STUDIO_CONTEXT_TOOL
make @18
<0000000006C4435C> Routine failure. Fail
-------------------------------------------------------------------------------
RCMD_ROSE_STUDIO initialize @15
<0000000006BF01EC> Routine failure. Fail
-------------------------------------------------------------------------------
RCMD_ROSE_STUDIO default_create @6
<0000000006BF01EC> (From EV_ANY) Routine failure. Fail
-------------------------------------------------------------------------------
RCMD_ROSE_STUDIO make_application @2
<0000000006BF01EC> Routine failure. Fail
-------------------------------------------------------------------------------
ROSE_STUDIO add_commands @1
<0000000006BF004C> Routine failure. Fail
-------------------------------------------------------------------------------
ROSE_STUDIO make @15
<0000000006BF004C> Routine failure. Fail
-------------------------------------------------------------------------------
ROSE_STUDIO root's creation
<0000000006BF004C> Routine failure. Exit
-------------------------------------------------------------------------------
To Reproduce
Problem Report Interactions
With rev#79903 experimental, I don't get a precondition violation but a postcondition violation:
option_set: Postcondition violated. (POSTCONDITION_VIOLATION)
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
EV_RICH_TEXT_IMP internal_change_word_wrapping @35
option_set:
<0000000003B210EC> Postcondition violated. Fail
-------------------------------------------------------------------------------
EV_RICH_TEXT_IMP internal_change_word_wrapping @35
<0000000003B210EC> Routine failure. Fail
-------------------------------------------------------------------------------
EV_RICH_TEXT_IMP disable_word_wrapping @1
<0000000003B210EC> Routine failure. Fail
-------
....
Output truncated, Click download to get the full message